infer_clone

Commit Graph

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

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

2 Commits (c047819ab33ebce511b177b3ea8b5405011a450d)