From 2565bb1438fba60bcbc39da3f7abe0a813e17f73 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Fri, 11 Dec 2015 03:12:54 -0800 Subject: [PATCH] fix open-source taint models Reviewed By: jeremydubreil Differential Revision: D2748429 fb-gh-sync-id: 0cbf4b0 --- infer/src/opensource/taint.ml | 4 ++++ infer/src/opensource/taint.mli | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/infer/src/opensource/taint.ml b/infer/src/opensource/taint.ml index 61d416883..a5d476839 100644 --- a/infer/src/opensource/taint.ml +++ b/infer/src/opensource/taint.ml @@ -16,3 +16,7 @@ let returns_secret callee_pname = false (** returns list of zero-indexed argument numbers of [callee_pname] that may be tainted *) let accepts_sensitive_params callee_pname = [] + +(** returns list of zero-indexed parameter numbers of [callee_pname] that should be + considered tainted during symbolic execution *) +let tainted_params callee_pname = [] diff --git a/infer/src/opensource/taint.mli b/infer/src/opensource/taint.mli index 991397491..5b3c89f9d 100644 --- a/infer/src/opensource/taint.mli +++ b/infer/src/opensource/taint.mli @@ -12,3 +12,7 @@ val returns_secret : Procname.t -> bool (** returns list of zero-indexed argument numbers of [callee_pname] that may be tainted *) val accepts_sensitive_params : Procname.t -> int list + +(** returns list of zero-indexed parameter numbers of [callee_pname] that should be + considered tainted during symbolic execution *) +val tainted_params : Procname.t -> int list