Sam Blackshear
|
35bb540bf4
|
[quandary] adding TaintSpec module for clearer naming
Reviewed By: jberdine
Differential Revision: D3997622
fbshipit-source-id: 3f22c8e
|
8 years ago |
|
Sam Blackshear
|
5e2e7b88aa
|
[quandary] allow trace-specific rules for handling unknown code
Reviewed By: jeremydubreil
Differential Revision: D3962285
fbshipit-source-id: b14f3d2
|
8 years ago |
|
Sam Blackshear
|
e4beca3779
|
[quandary] using summaries part 1: return
Reviewed By: jeremydubreil
Differential Revision: D3857310
fbshipit-source-id: 29c5994
|
8 years ago |
|
Sam Blackshear
|
31435fa936
|
[quandary] summaries for interprocedural analysis
Reviewed By: mbouaziz
Differential Revision: D3838659
fbshipit-source-id: 2382a81
|
8 years ago |
|
Sam Blackshear
|
55a46d1211
|
[quandary] format for summaries
Reviewed By: mbouaziz
Differential Revision: D3838520
fbshipit-source-id: 7cd8bcb
|
8 years ago |
