mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-16 17:16:42 +00:00
f82fb06cd1
This commit moves the **alpha.security.taint.TaintPropagation** and **alpha.security.taint.GenericTaint** checkers to the **optin.taint** optional package. These checkers were stabilized and improved by recent commits thus they are ready for production use.
19 lines
464 B
C
19 lines
464 B
C
// RUN: %clang_analyze_cc1 -analyzer-checker=osx,unix,core,optin.taint -w -verify %s
|
|
// expected-no-diagnostics
|
|
|
|
// Make sure we don't crash when someone redefines a system function we reason about.
|
|
|
|
char memmove (void);
|
|
char malloc(void);
|
|
char system(void);
|
|
char stdin(void);
|
|
char memccpy(void);
|
|
char free(void);
|
|
char strdup(void);
|
|
char atoi(void);
|
|
|
|
int foo (void) {
|
|
return memmove() + malloc() + system() + stdin() + memccpy() + free() + strdup() + atoi();
|
|
|
|
}
|