diff options
author | krcroft <krcroft@users.noreply.github.com> | 2020-01-28 22:40:53 +0300 |
---|---|---|
committer | Patryk Obara <patryk.obara@gmail.com> | 2020-01-29 16:59:50 +0300 |
commit | 65d8187595a31602c40b35fa50a1ccf15c0daf14 (patch) | |
tree | 663928c1717050fcece6f87e86b050eed72692cf /.pvs-suppress | |
parent | ffe3c5ab7fb5e28bae78f07ea987904f391a7cf8 (diff) |
Test more criteria during PVS analysis
This commit:
- Adds a separate analysis run against the MIRSA (Motor Industry
Software Reliability Association) criteria, which is extremely
thorough. This tally is not summarized or considered fatal to the
workflow. It runs virtually instantly, and the results are very
interesting; however are too numerous to include in our general
analysis (ie: over 13,000 issues).
- Changes the PVS summary script output to a tally-per-file instead
of trying to summarize the nature of the issue, which was mostly
unhelpful without the full text.
- Adds the full list of possible supressible issue to the report
directory, so if further suppressions are needed then these will be
easy to find and use.
- Adds one dr_flac suppression per the resolution here:
mackron/dr_libs#117
Diffstat (limited to '.pvs-suppress')
-rw-r--r-- | .pvs-suppress | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.pvs-suppress b/.pvs-suppress index 78e1196c2..92f284519 100644 --- a/.pvs-suppress +++ b/.pvs-suppress @@ -34,6 +34,14 @@ "Message": "A call of the 'memcpy' function will lead to underflow of the buffer '& state'." }, { + "CodeCurrent": 3039254062, + "CodeNext": 3404253786, + "CodePrev": 3282303307, + "ErrorCode": "V560", + "FileName": "dr_flac.h", + "Message": "A part of conditional expression is always true: blockSize >= _." + }, + { "CodeCurrent": 2009695132, "CodeNext": 17733, "CodePrev": 3053, |