Code problem certainty

For some types of C/C++ checkers, Klocwork uses a certainty setting to determine the message you see in your output. This means that Klocwork investigates conditions surrounding certain code problems to tell you for certain whether it has found an error on all paths (the issue will always occur) or just on some paths (the issue might occur, depending on the path taken). In many cases, it is able to provide detail about what triggered the error analyzer.