Cristiano Calcagno
10286931ee
Cleanup handling of global state, and add footprint mode to the values.
...
Reviewed By: jeremydubreil
Differential Revision: D2887884
fb-gh-sync-id: 653b17d
9 years ago
Cristiano Calcagno
74dbfd72b5
Fix issues with html output for debug in on-demand mode.
...
Reviewed By: sblackshear
Differential Revision: D2873791
fb-gh-sync-id: c1b1543
9 years ago
jrm
ad2a9064c3
No longer overwrite the attributes in the summary if already existing
...
Summary:
public
This diff fixes a race condition where errors found in a procedure by one checker could be overwritten by running on demand the analysis of the same procedure with another checker.
Reviewed By: cristianoc
Differential Revision: D2847308
fb-gh-sync-id: 4f0c78e
9 years ago
Cristiano Calcagno
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
Cristiano Calcagno
97a3aa3d0b
Fix treatment of recursion and double file descriptor close in on-demand.
...
Reviewed By: jeremydubreil
Differential Revision: D2850579
fb-gh-sync-id: 7cb2476
9 years ago
Cristiano Calcagno
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
Cristiano Calcagno
078d3f1c1e
Remove special treatment of harness code
...
Reviewed By: jvillard
Differential Revision: D2604575
fb-gh-sync-id: 005199f
9 years ago
Cristiano Calcagno
03bca6734c
fix a number of issues related to the treatment of global state in ondemand analysis
...
Reviewed By: jvillard
Differential Revision: D2549699
fb-gh-sync-id: 40e174d
9 years ago
Cristiano Calcagno
f17f54939b
checkers can now analyze a restricted subset of the procedures defined in a file
...
Reviewed By: jvillard
Differential Revision: D2554136
fb-gh-sync-id: c972f0e
9 years ago
Cristiano Calcagno
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
Cristiano Calcagno
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
Cristiano Calcagno
7d95e284d2
Let on-demand control whether to start at all the analysis of a procedure.
...
Reviewed By: @dulmarod
Differential Revision: D2507562
9 years ago
Cristiano Calcagno
ebfe1d69cc
simplify cluster and makefile creation when on-demand is active.
...
Reviewed By: @jvillard
Differential Revision: D2493802
9 years ago
Cristiano Calcagno
1e96e56145
[backend][ondemand][perf] improve perf of on demand by only loading the minimum number of cfgs needed
9 years ago
Cristiano Calcagno
75950384c9
[backend] Extend results directory with attributes for each procedure.
9 years ago
Cristiano Calcagno
0f8c3e7974
[eradicate][ondemand] Skeleton of on-demand analysis for Eradicate.
9 years ago