Handle pthread arg in region analysis

Author: vesalvojdani

src/analyses/region.ml

@@ -180,8 +180,13 @@ struct
   let startstate v =
     `Lifted (RegMap.bot ())
 
-  let threadenter ctx lval f args =
-    [`Lifted (RegMap.bot ())]
+  let threadenter ctx lval f args: D.t list =
+    let fd = Cilfacade.find_varinfo_fundec f in
+    match args, fd.sformals with
+    | [exp], [param] -> 
+      let reg = Reg.assign (var param) exp (ctx.global (), RegMap.bot ()) in
+      [`Lifted (snd reg)] 
+    | _ -> [`Lifted (RegMap.bot ())]
   let threadspawn ctx lval f args fctx = ctx.local
 
   let exitstate v = `Lifted (RegMap.bot ())