23 lines · cpp
1// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix,osx,alpha.unix,optin.taint -verify %s2// expected-no-diagnostics3 4class Evil {5public:6 void system(int); // taint checker7 void malloc(void *); // taint checker, malloc checker8 void free(); // malloc checker, keychain checker9 void fopen(); // stream checker10 void feof(int, int); // stream checker11 void open(); // unix api checker12};13 14void test(Evil &E) {15 // no warnings, no crashes16 E.system(0);17 E.malloc(0);18 E.free();19 E.fopen();20 E.feof(0,1);21 E.open();22}23