infer_clone

Commit Graph

Author	SHA1	Message	Date
Jeremy Dubreil	047bb6796a	[infer][threadsafety] Run ThreadSafety as part of the checkers Summary: Now, running `infer -a checkers -- ...` will also run the ThreadSafety checker Reviewed By: sblackshear Differential Revision: D4691330 fbshipit-source-id: 04fc781	8 years ago
Jules Villard	281d5b49fe	[tests] sort bugs in InferPrint Summary: When loading results from a json file, sort them. This prints results in some sane order for both --issues-test and --issues-txt, removing the need for post-processing of the result. Reviewed By: cristianoc Differential Revision: D4167029 fbshipit-source-id: 37e9f1c	8 years ago
Peter O'Hearn	171d1d6d43	[threadsafety] run thread safety checker on its own Summary: The thread safety checker is run independently of other analyses, using the command "infer -a threadsafety -- <build-command>". Reviewed By: sblackshear Differential Revision: D4148553 fbshipit-source-id: bc7b3f9	8 years ago

Author

SHA1

Message

Date

Jeremy Dubreil

047bb6796a

[infer][threadsafety] Run ThreadSafety as part of the checkers

Summary: Now, running `infer -a checkers -- ...` will also run the ThreadSafety checker

Reviewed By: sblackshear

Differential Revision: D4691330

fbshipit-source-id: 04fc781

Jules Villard

281d5b49fe

[tests] sort bugs in InferPrint

Summary:
When loading results from a json file, sort them. This prints results in some
sane order for both --issues-test and --issues-txt, removing the need for
post-processing of the result.

Reviewed By: cristianoc

Differential Revision: D4167029

fbshipit-source-id: 37e9f1c

Peter O'Hearn

171d1d6d43

[threadsafety] run thread safety checker on its own

Summary: The thread safety checker is run independently of other analyses, using the command "infer -a threadsafety -- <build-command>".

Reviewed By: sblackshear

Differential Revision: D4148553

fbshipit-source-id: bc7b3f9

3 Commits (aefbbe8680c9a526e83d9aa53d1f156a0ba465c2)