Details
-
Bug
-
Status: In Review (View Workflow)
-
Major
-
Resolution: Unresolved
-
3.3
-
None
Description
Attached report.txt is the initial scan using Infer (v1.2.0-49969b1487) against the C/C 3.3-c80f221 branch.
Doing a trial look though and fix of the issues found. From this:
- I'll fix some of the shallow ones in individual commit messages.
- If something is a bit more complicated I'll put a separate PR
- I'll note some of the tricky ones that I didn't know how to process here
- Some maybe false positives and I'll document these and attempt an upstream (Infer) bug report
- Some I may not get to looking at.
The summary is:
Found 568 issues
|
Issue Type(ISSUED_TYPE_ID): #
|
Null Dereference(NULLPTR_DEREFERENCE): 217
|
Dead Store(DEAD_STORE): 175
|
Memory Leak(MEMORY_LEAK_C): 165
|
Uninitialized Value(PULSE_UNINITIALIZED_VALUE): 11
|
Attachments
Issue Links
- relates to
-
MDBF-143 Evaluate if static analysis with "Infer" is worth adding to buildbot tests
-
- Open
-