Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
toolchain
/
llvm-project
/
e6f70085349f6a48f84fb0b78c0cd3fe66f5a995
/
clang
/
lib
/
StaticAnalyzer
/
Checkers
/
GenericTaintChecker.cpp
e6f7008
Remove trivial destructor from SVal.
by Benjamin Kramer
· 13 years ago
6cd16c5
[analyzer] Guard against C++ member functions that look like system functions.
by Jordan Rose
· 13 years ago
474261a
Fix typos found by http://github.com/lyda/misspell-check
by Benjamin Kramer
· 13 years ago
b508d29
[analyzer] Don't crash even when the system functions are redefined.
by Anna Zaks
· 14 years ago
3705a1e
[analyzer] Change naming in bug reports "tainted" -> "untrusted"
by Anna Zaks
· 14 years ago
e277899
Basic: import OwningPtr<> into clang namespace
by Dylan Noblesmith
· 14 years ago
49b1e38
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
by Ted Kremenek
· 14 years ago
bf74051
[analyzer] Add more C taint sources/sinks.
by Anna Zaks
· 14 years ago
97bef56
[analyzer] It's possible to have a non PointerType expression evaluate to a Loc value. When this happens, use the default type.
by Anna Zaks
· 14 years ago
e4d798f
More dead code removal (using -Wunreachable-code)
by David Blaikie
· 14 years ago
3b754b2
[analyzer] Add socket API as a source of taint.
by Anna Zaks
· 14 years ago
7f6a6b7
[analyzer] Refactor: prePropagateTaint -> TaintPropagationRule::process().
by Anna Zaks
· 14 years ago
560dbe9
[analyzer] Taint: warn when tainted data is used to specify a buffer
by Anna Zaks
· 14 years ago
5d324e5
[analyzer] Taint: add taint propagation rules for string and memory copy
by Anna Zaks
· 14 years ago
3666d2c
[analyzer] Taint: generalize taint propagation to simplify adding more
by Anna Zaks
· 14 years ago
0244cd7
[analyzer] Taint: add system and popen as undesirable sinks for taint data.
by Anna Zaks
· 14 years ago
a31f6b9
[analyzer] Taint: when looking up a binding, provide the type.
by Anna Zaks
· 14 years ago
b3fa8d7
[analyzer] Add taint transfer by strcpy & others (part 1).
by Anna Zaks
· 14 years ago
47dbcd1
Remove unused variable.
by Rafael Espindola
· 14 years ago
126a2ef
[analyzer] Add basic format string vulnerability checking.
by Anna Zaks
· 14 years ago
632e3b7
[analyzer] Make the entries in 'Environment' context-sensitive by making entries map from
by Ted Kremenek
· 14 years ago
3b0ab20
[analyzer] Add support for taint flowing through a function (atoi).
by Anna Zaks
· 14 years ago
e48ee50
[analyzer] Better stdin support.
by Anna Zaks
· 14 years ago
099fe3f
[analyzer] Treat stdin as a source of taint.
by Anna Zaks
· 14 years ago
eefc0e9
[analyzer] Mark output of fscanf and fopen as tainted.
by Anna Zaks
· 14 years ago
d6bb322
[analyzer] Mark getenv output as tainted.
by Anna Zaks
· 14 years ago
7c96b7d
[analyzer] CStringChecker should not rely on the analyzer generating UndefOrUnknown value when it cannot reason about the expression.
by Anna Zaks
· 14 years ago
457c687
[analyzer] Warn when non pointer arguments are passed to scanf (only when running taint checker).
by Anna Zaks
· 14 years ago
5c5bf9b
[analyzer] Adding generic taint checker.
by Anna Zaks
· 14 years ago