Hello: Apologies if this has been discussed already; I looked through the archive, but could not find an answer to my question.
Is there a comprehensive list of all the possible complaints (errors/warnings) that splint can potentially emit? I have some tools for post-processing static analysis results to automatically assess severity and the likelihood of false positives, and to specifically highlight security concerns, but the tooling needs to have regular expressions to match all the possible complaints that a given static analysis tool can emit to work correctly. If such a list is not available, how would one go about searching through the splint source to obtain every possible message? From a quick look, it appears that the lclerror() routine is responsible for emitting them; do all complaints go through that path? Is there a better way to come up with such a list? Regards, Mike _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
