Skip to content

Commit 2c23a81

Browse files
committed
Manual: Improved information about bug hunting
1 parent 32cbbb0 commit 2c23a81

1 file changed

Lines changed: 4 additions & 3 deletions

File tree

man/manual.md

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -798,9 +798,11 @@ An example usage:
798798

799799
# Bug hunting
800800

801-
If you want to detect more bugs and can accept false alarms then Cppcheck has analysis for that.
801+
If you want to detect most bugs and can accept false alarms then Cppcheck has analysis for that.
802802

803-
This analysis will be "soundy". The majority of the bugs should be detected however there is not a guarantee that Cppcheck will detect all bugs.
803+
This analysis is "soundy"; it should diagnose most bugs reported in CVEs and from dynamic analysis.
804+
805+
You have to expect false alarms. However Cppcheck tries to limit false alarms. The purpose of the data flow analysis is to limit false alarms.
804806

805807
Some possible use cases;
806808
* you are writing new code and want to ensure it is safe.
@@ -865,4 +867,3 @@ It is likely that you will get false alarms caused by incomplete data flow analy
865867

866868

867869

868-

0 commit comments

Comments
 (0)