2a926d8294
Remove uses of assert false to get original ml location.
...
Reviewed By: jvillard, jberdine
Differential Revision: D2922516
fb-gh-sync-id: 153a2dd
shipit-source-id: 153a2dd
9 years ago
b1d77e54aa
add summary of the analysis to the standard output
...
Summary:
public
Get something like this at the end of the output of `infer ...`:
Summary of the reports:
ANALYSIS_STOPS: 239
Bad_footprint: 177
Assert_failure (backend/sil.ml:875:9): 54
ARRAY_OUT_OF_BOUNDS_L3: 6
CONDITION_ALWAYS_TRUE: 5
RETURN_VALUE_IGNORED: 3
STACK_VARIABLE_ADDRESS_ESCAPE: 3
CONDITION_ALWAYS_FALSE: 3
PRECONDITION_NOT_FOUND: 3
NULL_DEREFERENCE: 2
ARRAY_OUT_OF_BOUNDS_L2: 2
ARRAY_OUT_OF_BOUNDS_L1: 2
Assert_failure (backend/symExec.ml:404:6): 1
Abduction_case_not_implemented: 1
Assert_failure (backend/symExec.ml:1190:15): 1
DANGLING_POINTER_DEREFERENCE: 1
Missing_fld: 1
Assert_failure (backend/prop.ml:1157:6): 1
PRECONDITION_NOT_MET: 1
Reviewed By: jeremydubreil
Differential Revision: D2891512
fb-gh-sync-id: faf9d24
9 years ago
e11395d199
print location of errors in infer source code in debug mode
...
Summary:
public
- add to json reports the location in the ocaml code of assertions raised
during the analysis
- only add when in debug mode. For this, add a flag to `InferPrint` that is
passed by the toplevel `infer` whenever `infer -g` is used.
Reviewed By: jeremydubreil
Differential Revision: D2891286
fb-gh-sync-id: ad4577c
9 years ago
d4d5c3bb2f
Implemented new check CXX_REFERENCE_CAPTURED_IN_OBJC_BLOCK
...
Reviewed By: dulmarod
Differential Revision: D2823705
fb-gh-sync-id: 594bfa2
9 years ago
99c491e8c7
Introducing the DIRECT_ATOMIC_PROPERTY_ACCESS
...
Reviewed By: dulmarod
Differential Revision: D2699663
fb-gh-sync-id: c77957e
9 years ago
37d2e84192
dedup merged json reports
...
Summary: public
When merging json reports from different buck targets, the same bug may be
reported several times.
Clean up some bug sorting functions while I'm at it.
Reviewed By: martinoluca
Differential Revision: D2690665
fb-gh-sync-id: 4a12072
9 years ago
22bd029e46
refactor print_and_save_errors
...
Summary: public
Refactor reporting of errors to enhance readability and reuse.
Reviewed By: jeremydubreil
Differential Revision: D2679676
fb-gh-sync-id: f4c1cba
9 years ago
529d103977
refactor reading json
...
Summary: public
Small refactoring.
Reviewed By: martinoluca
Differential Revision: D2679581
fb-gh-sync-id: 26f8ca2
9 years ago
fc2879ca8f
refactor dumping of json
...
Summary: public
Small refactoring.
Reviewed By: jeremydubreil
Differential Revision: D2679580
fb-gh-sync-id: b1e6061
9 years ago
10db97be1e
cleanup print_errors()
...
Summary: public
This function is useful to understand how infer prints reports, it's worth
cleaning it up a notch.
Reviewed By: jeremydubreil
Differential Revision: D2646878
fb-gh-sync-id: 2ecd894
9 years ago
81e143b3be
move csv and json constants to issues.py
...
Reviewed By: martinoluca
Differential Revision: D2646844
fb-gh-sync-id: 03d7f80
9 years ago
d545da14c1
fix stuff that was accidentally broken
...
Reviewed By: martinoluca
Differential Revision: D2647203
fb-gh-sync-id: b1d3b78
9 years ago
0490e739b0
move LOCALE to config.py
...
Reviewed By: jeremydubreil
Differential Revision: D2642346
fb-gh-sync-id: 43a3b00
9 years ago
2ec2858b66
move indenter to a new module source.py
...
Reviewed By: akotulski
Differential Revision: D2642187
fb-gh-sync-id: 92fdfdf
9 years ago
88b615d8ab
move code about infer issues formats to issues.py
...
Reviewed By: jeremydubreil
Differential Revision: D2642057
fb-gh-sync-id: d22c62f
9 years ago
a416afeb44
move error types strings to a new issues.py
...
Summary: public
This also cleans up the should_report() function.
Reviewed By: jeremydubreil
Differential Revision: D2641998
fb-gh-sync-id: b01d445
9 years ago
Cristiano Calcagno
Jules Villard
Dino Distefano