infer_clone

Commit Graph

Author	SHA1	Message	Date
Sam Blackshear	fcf57c6e09	[siof] add fancy interprocedural reporting Reviewed By: jvillard Differential Revision: D4117594 fbshipit-source-id: c55cff7	8 years ago
Josh Berdine	32a60e05f4	Unbreak master Reviewed By: akotulski Differential Revision: D4121062 fbshipit-source-id: 6b3c730	8 years ago
Sam Blackshear	ea26d6f179	[siof] convert domain to sink trace of pvar's Summary: The Quandary-style traces are too general for checkers like SIOF. This diff adds a "suffix abstraction" of the trace for analyses that just care about sinks. To show how to use it, we add it to SIOF. Note: this diff converts the domain, but isn't actually doing the fancier reporting yet. That will come in a future diff. Reviewed By: jvillard Differential Revision: D4117393 fbshipit-source-id: e473665	8 years ago

Author

SHA1

Message

Date

Sam Blackshear

fcf57c6e09

[siof] add fancy interprocedural reporting

Reviewed By: jvillard

Differential Revision: D4117594

fbshipit-source-id: c55cff7

Josh Berdine

32a60e05f4

Unbreak master

Reviewed By: akotulski

Differential Revision: D4121062

fbshipit-source-id: 6b3c730

Sam Blackshear

ea26d6f179

[siof] convert domain to sink trace of pvar's

Summary:
The Quandary-style traces are too general for checkers like SIOF.
This diff adds a "suffix abstraction" of the trace for analyses that just care about sinks.
To show how to use it, we add it to SIOF.

Note: this diff converts the domain, but isn't actually doing the fancier reporting yet.
That will come in a future diff.

Reviewed By: jvillard

Differential Revision: D4117393

fbshipit-source-id: e473665

3 Commits (459ec32081f4c5a9b758d4e7543bb98ce1b7bd36)