diff options
| -rw-r--r-- | .travis.yml | 2 | ||||
| -rw-r--r-- | model_file.c | 21 |
2 files changed, 22 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 0227881..3ca82ab 100644 --- a/.travis.yml +++ b/.travis.yml @@ -15,7 +15,7 @@ script: --build=$(gcc -dumpmachine) env: global: - - secure: hOCKM5E4ukXz9FYy0MrHN+0xJe6tFaLuAZliymPxVGNAXtLB3mGTg7gOV3cKQbg6HuWwi0KdwK2eSNxq/+06t1D1GhHVOUpWpwyz+0BUQuKoi0g4SKlQetO9xJp1O9qT1mm4QoX8Lv+LckZl0zQMx+9uuSpbxJCGCEGlGHisV8ONMPei580wctV6oHfl3ytvxtIVBFS0cNLyjYlDGnkWlOPKJJ2zviE+ZJB4uVd2S4eWzPEz4hNcaux8GrgKfs976+UT4yrcUg7vgncCO/VtDo86Fo+WfBTPC6zRT3IGfLJW9DQPpKVi+FrsKIS+vO6LW7Va5TBaVnTQVTPCpgbn2PP9c+HLipp0yyzPVttWvqvmLyqWRtQ80vjwiz/B4/5G4L6kBZZ1CBOVZ1Rw/bMNq2dZLvO10lr2sadTFNTnC8V0GbI9Np0owzKDDuLrHqVglLbSNRFynmrI+/yC58skY40fQO+XpdNievpeEps+scqg/Pukj5bj75YcMoh/3zwTEgcRUq8VpTPt3vcwKZpaIR2S74gJSXfOUq5LN3Y9NNnCqijoyWQxi9zrsOKrOiwesJM4NfazAs2a6lv94M4nXL5wAQ7h+Pxgk7RAUrett/Ghm8QGo1iWvbXFWaaiHkG0I/nXgcOWBN3XkFd6dVekbrP8OdFxntnYYWe6FecpeXA= + secure: G3qiIHVbyvND++kUY/bEED+qIfve8I/6CV6VSYvQhIjaSVtG42XcdT/AgoYyS9kS5rqkYPSQyYSIYVCqYGAH1GWy0P1/qQHrLawVAOZVwLmWbUX8jBS/cnlJ9TLniy4pTD59+0nE19GUSm6EoJSEDtUQcDjZyr95nZwNwOPzohOgw0B0CprbJQpg1NGKw1YrZ+RfKBsmhEwT0EFRg9Q3UWBnXPHVyri4LnJ53D+FkTkA+MLOKxaAK50vhGaGy5oRUW5Uf95vFZw3FhXqJbiR2FbMLXP5gxS4swnduBsbycwV/RYbR4M/MtRt51JqpcOgXPRnyVEPKzbpuqqFQFAXt7ZRur0G3Lr7iVJ2Yc8/TFkFwaIMLMBE1UAyhgi8QBEJhdgXKp5a4B9Qouebnpp3w4znUrd037ZaVdfSruqqBl1QTYPYcUAYrKbPZIxGTQGJGHJbQw48sl4r/ssZj9NKnijfgZW3jxNJnvUPTuEFGnsdFqEwv5HxO4O3UWp5vrwX1sC+1+QrAsE+3fUmX4x1J39XOU9u0cAcBtnj88t9uRYndB3OhXqAp2hHNy7YQlDsnaNTvqIVt3W7na5HwjlZ320aFTRSdC/j/rd8O5CEgaCJK4GP2Gwcvffom4yOGt9+gO2aYSOosfkkjT5G6cdYOUr+fKR0ZUQ2uaw2njatswQ= addons: coverity_scan: project: diff --git a/model_file.c b/model_file.c new file mode 100644 index 0000000..2799fa8 --- /dev/null +++ b/model_file.c @@ -0,0 +1,21 @@ +/* Coverity Scan model + * + * This is a modeling file for Coverity Scan. Modeling helps to avoid false + * positives. + * + * - A model file can't import any header files. + * - Therefore only some built-in primitives like int, char and void are + * available but not wchar_t, NULL etc. + * - Modeling doesn't need full structs and typedefs. Rudimentary structs + * and similar types are sufficient. + * - An uninitialized local pointer is not an error. It signifies that the + * variable could be either NULL or have some data. + * + * Coverity Scan doesn't pick up modifications automatically. The model file + * must be uploaded by an admin in the analysis settings of + */ + +/* ignore optarg NULL deref false positive for parse_options(...) */ +int parse_options(int argc, char **argv) { + __coverity_panic__(); +} |