5 Commits (7cc0946a5a9d2d00fc86b768e766944c28835fac)

Author	SHA1	Message	Date
Jeremy Dubreil	20c57ad549	[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution ... Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5	7 years ago
Jia Chen	c9a2dcf7b1	Added constant-folding support for shifting ... Reviewed By: jeremydubreil Differential Revision: D5485475 fbshipit-source-id: 424a88a	7 years ago
Jia Chen	f9e03681f8	Fix test ... Reviewed By: jeremydubreil Differential Revision: D5324685 fbshipit-source-id: 60882bc	8 years ago
Jia Chen	62cfd554c7	Teach the Prover additional aliasing rules about local variables ... Reviewed By: cristianoc Differential Revision: D5285926 fbshipit-source-id: bc57500	8 years ago
Jeremy Dubreil	0097d8a5cb	[infer] First step to the biabduction analysis using the checkers framework ... Summary: This gives the option to run the biabduction analysis together with the other Clang-based checkers with the command: infer -a checkers --biabduction -- ... The filtering does not work yet because the filtering for the biabduction analysis matches the analyzer `Infer`, and does not filter much when the analyzer is `Checkers`, which is the case here. Reviewed By: sblackshear Differential Revision: D4773834 fbshipit-source-id: 16300cc	8 years ago