summaryrefslogtreecommitdiff
path: root/coverity/coverity_assert_model.c
AgeCommit message (Expand)AuthorFilesLines
2025-08-05coverity: Add some additional check for strequal()Andreas Schneider1-0/+18
2025-08-05coverity: Add some documentation for the modelling fileAndreas Schneider1-0/+22
2017-02-23coverity: Add modeling file for Coverity scanAndreas Schneider1-0/+86