[inferbo] Substitute free symbols to Itv.top

Reviewed By: Julek

Differential Revision: D9830997

fbshipit-source-id: a2387cd3b

infer/src/bufferoverrun/bufferOverrunSemantics.ml

@@ -294,8 +294,11 @@ end
 
 let rec eval_sympath_partial params p mem =
   match p with
-  | Symb.SymbolPath.Pvar x ->
+  | Symb.SymbolPath.Pvar x -> (
-      ParamBindings.find x params
+    try ParamBindings.find x params with Caml.Not_found ->
+      L.(debug BufferOverrun Verbose)
+        "Symbol %a is not found in parameters.@\n" (Pvar.pp Pp.text) x ;
+      Val.Itv.top )
   | Symb.SymbolPath.Index _ | Symb.SymbolPath.Field _ ->
       let locs = eval_locpath params p mem in
       Mem.find_set locs mem