infer_clone

Commit Graph

Author	SHA1	Message	Date
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	9 years ago
Sam Blackshear	31093801d4	[traces] Move all trace-related files to checkers Summary: Other checkers are going to start using these, so they shouldn't live in the Quandary directory anymore Reviewed By: jvillard Differential Revision: D4117359 fbshipit-source-id: e3f151e	9 years ago

Author

SHA1

Message

Date

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

Sam Blackshear

31093801d4

[traces] Move all trace-related files to checkers

Summary: Other checkers are going to start using these, so they shouldn't live in the Quandary directory anymore

Reviewed By: jvillard

Differential Revision: D4117359

fbshipit-source-id: e3f151e

2 Commits (76d336dba7e6021f2801d240047d94f5fa7d6f3c)