infer_clone

Commit Graph

Author	SHA1	Message	Date
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

Author

SHA1

Message

Date

Jia Chen

f9e03681f8

Fix test

Reviewed By: jeremydubreil

Differential Revision: D5324685

fbshipit-source-id: 60882bc

Jia Chen

62cfd554c7

Teach the Prover additional aliasing rules about local variables

Reviewed By: cristianoc

Differential Revision: D5285926

fbshipit-source-id: bc57500

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

3 Commits (fb2fa5c5cea111317af3f7a1017c1c457d674973)