494dabf638
Simplify code in SymExec: cleanup and look up cfg.
...
Reviewed By: jeremydubreil
Differential Revision: D3011360
fb-gh-sync-id: b2fb8fc
shipit-source-id: b2fb8fc
9 years ago
89a2f2a7b4
Keep only on-demand infrastructure and delete the rest or the infrastructure.
...
Summary:public
Remove back-end infrastructure that exists only when on-demand mode is disabled.
This, together with removing a few command-line options, sheds a lot of weight in the back-end.
No changes expected for on-demand mode.
Reviewed By: sblackshear
Differential Revision: D2960242
fb-gh-sync-id: 220d821
shipit-source-id: 220d821
9 years ago
021cf213a6
Bypass the interprocedural algorithm in Fork with ondemand, and replace it with a simple iteration.
...
Reviewed By: jberdine
Differential Revision: D2965853
fb-gh-sync-id: b75b874
shipit-source-id: b75b874
9 years ago
b155168083
Open Utils implicitly
...
Summary: public
Reviewed By: jvillard
Differential Revision: D2938316
fb-gh-sync-id: c6aa6c9
shipit-source-id: c6aa6c9
9 years ago
453709c3c8
Only propagate nullable to return value when environment variable is set.
...
Reviewed By: jeremydubreil
Differential Revision: D2852820
fb-gh-sync-id: f9d52ce
9 years ago
4300d1bf62
Add support for specifying the list of files to be analyzed in on-demand mode.
...
Reviewed By: jvillard
Differential Revision: D2604299
fb-gh-sync-id: 866ba5b
9 years ago
6ec888ec23
add option to create one cluster per procedure in on-demand mode
...
Reviewed By: @jvillard
Differential Revision: D2531342
fb-gh-sync-id: a411520
9 years ago
22aad3e33a
Add basic support for on-demand for the core Infer analysis.
...
Reviewed By: @jvillard
Differential Revision: D2507560
fb-gh-sync-id: 0dead86
9 years ago
7d95e284d2
Let on-demand control whether to start at all the analysis of a procedure.
...
Reviewed By: @dulmarod
Differential Revision: D2507562
10 years ago
0f8c3e7974
[eradicate][ondemand] Skeleton of on-demand analysis for Eradicate.
10 years ago
Cristiano Calcagno
Josh Berdine