Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
ff6f66e33f234d4bba16c9149476d691e2c96ca9
/
lib
/
Checker
/
GRExprEngineInternalChecks.h
9b14683
Merge StackAddrLeakChecker and ReturnStackAddressChecker.
by Zhongxing Xu
· 14 years ago
1622a54
Add a checker check if a global variable holds a local variable's address after
by Zhongxing Xu
· 14 years ago
ab28099
CastSizeChecker checks when casting a malloc'ed symbolic region to type T,
by Zhongxing Xu
· 14 years ago
df61b58
Add MacOSXAPIChecker, a meta checker to include various precondition checks for calls
by Ted Kremenek
· 14 years ago
381d1bf
Add UnixAPIChecker, a meta checker to include various precondition checks for calls
by Ted Kremenek
· 14 years ago
e5b0fa4
Divide list of registration functions in API and foundational checks. Also trim whitespace.
by Ted Kremenek
· 14 years ago
9b25170
Sort list of checker registration functions.
by Ted Kremenek
· 14 years ago
94fd0b8
Add simpler checker to check if variables captured by a block are uninitialized.
by Ted Kremenek
· 14 years ago
40c37e1
static analyzer: handle casts of a function to a function pointer with
by Ted Kremenek
· 15 years ago
1309f9a
Split libAnalysis into two libraries: libAnalysis and libChecker.
by Ted Kremenek
· 15 years ago
[Renamed from lib/Analysis/GRExprEngineInternalChecks.h]
1ec4e97
Refactor OSAtomic evaluation logic into OSAtomicChecker.
by Zhongxing Xu
· 15 years ago
7c9624b
Refactor builtin function evaluation into a checker.
by Zhongxing Xu
· 15 years ago
935ef90
Add EvalCallExpr interface to checker, and migrate the no-return function
by Zhongxing Xu
· 15 years ago
668399b
Refactor undefined result checker. This is the last one.
by Zhongxing Xu
· 15 years ago
d02174c
rename UndefinedArgChecker to CallAndMessageChecker.
by Zhongxing Xu
· 15 years ago
0835e4c
Initial refactor of UndefBranchChecker. We still use GRBranchNodeBuilder
by Zhongxing Xu
· 15 years ago
c3372e0
Remove UndefinedAssignmentChecker's header.
by Zhongxing Xu
· 15 years ago
c79d7d4
Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker also handled undefined receivers in message expressions.
by Ted Kremenek
· 15 years ago
d694485
Add undefined array subscript checker.
by Zhongxing Xu
· 15 years ago
58e689f
Reimplement out-of-bound array access checker with the new checker interface.
by Zhongxing Xu
· 15 years ago
f493f49
Remove public headers for UndefinedArgChecker, AttrNonNullChecker, and BadCallChecker, making their implementations completely private.
by Ted Kremenek
· 15 years ago
b4b817d
Refactor DereferenceChecker to use only the new Checker API instead of
by Ted Kremenek
· 15 years ago
ede7eb2
Add check for pointer arithmetic on non-array variables.
by Zhongxing Xu
· 15 years ago
4f3dc69
Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer.
by Zhongxing Xu
· 15 years ago
b10a7c2
Add checker for CWE-587: Assignment of a Fixed Address to a Pointer.
by Zhongxing Xu
· 15 years ago
3ce2dc3
Add checker for CWE-469: Use of Pointer Subtraction to Determine Size. This
by Zhongxing Xu
· 15 years ago
84b3595
Make the VLASizeChecker implementation private, and its creation only known to GRExprEngineInternalChecks.cpp.
by Ted Kremenek
· 15 years ago
36df58a
Make the implementation of DivZeroChecker private.
by Ted Kremenek
· 15 years ago
ceeb02d
Add a checker for CWE-466: Return of Pointer Value Outside of Expected Range.
by Zhongxing Xu
· 15 years ago
1053d24
static analyzer: refactor checking logic for returning the address of a stack variable or a garbage
by Ted Kremenek
· 15 years ago