You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jeremy Dubreil 7b8a5a1a2b [infer] always run all the pre-analysis passes independently form the checkers that are being run ... Summary: It seems that the abstraction instructions were not previously added the the CFG. This is a functional changes to make sure that the abstraction state is always added. We can simplify the code later and just run this step before storing the CFG instead of after loading them. Reviewed By: sblackshear, jvillard Differential Revision: D6383672 fbshipit-source-id: cedcb8a		7 years ago
..
absLoc.ml	[ocamlformat] Use ocamlformat from github	7 years ago
arrayBlk.ml	[inferbo] revise semantics of vector::data	7 years ago
bufferOverrunChecker.ml	[infer] always run all the pre-analysis passes independently form the checkers that are being run	7 years ago
bufferOverrunChecker.mli	[police] open IStd everywhere	8 years ago
bufferOverrunDomain.ml	[infer] remove the utility functions to export debug information in LaTeX	7 years ago
bufferOverrunModels.ml	[inferbo] Moving Inferbo utils functions	7 years ago
bufferOverrunProofObligations.ml	[inferbo] Add alloc size safety condition	7 years ago
bufferOverrunSemantics.ml	[inferbo] Moving Inferbo utils functions	7 years ago
bufferOverrunTrace.ml	[inferbo] Moving Inferbo utils functions	7 years ago
bufferOverrunUtils.ml	[inferbo] Moving Inferbo utils functions	7 years ago
itv.ml	[inferbo] Add alloc size safety condition	7 years ago