Taint: Pull up special function

Author: michael-schwarz

src/analyses/tutorials/taint.ml

@@ -71,6 +71,15 @@ struct
     (* Nothing needs to be done *)
     man.local
 
+  (** For a call to a _special_ function f "lval = f(args)" or "f(args)",
+      computes the caller state after the function call.
+      For this analysis, source and sink functions will be considered _special_ and have to be treated here. *)
+  let special man (lval: lval option) (f:varinfo) (arglist:exp list) : D.t =
+    let caller_state = man.local in
+    (* TODO: Check if f is a sink / source and handle it appropriately *)
+    (* To warn about a potential issue in the code, use M.warn. *)
+    caller_state
+
   (** Handles going from start node of function [f] into the function body of [f].
       Meant to handle e.g. initializiation of local variables. *)
   let body man (f:fundec) : D.t =
@@ -120,15 +129,6 @@ struct
     (* TODO: Record whether lval was tainted. *)
     caller_state
 
-  (** For a call to a _special_ function f "lval = f(args)" or "f(args)",
-      computes the caller state after the function call.
-      For this analysis, source and sink functions will be considered _special_ and have to be treated here. *)
-  let special man (lval: lval option) (f:varinfo) (arglist:exp list) : D.t =
-    let caller_state = man.local in
-    (* TODO: Check if f is a sink / source and handle it appropriately *)
-    (* To warn about a potential issue in the code, use M.warn. *)
-    caller_state
-
   (* You may leave these alone *)
   let startstate v = D.bot ()
   let threadenter man ~multiple lval f args = [D.top ()]