Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
5346278f81930e7fd0545bbbb2fc217c6921b109
/
lib
/
Analysis
/
GRExprEngineInternalChecks.cpp
1eb4433
Remove tabs, and whitespace cleanups.
by Mike Stump
· 16 years ago
970e03a
Fix regression introduced in r80786 and reported in PR 4867. We should use
by Ted Kremenek
· 16 years ago
d2a8775
remove a debug output I introduced in the last commit.
by Zhongxing Xu
· 16 years ago
6403b57
Refactor the check for bad divide into a checker.
by Zhongxing Xu
· 16 years ago
d99f361
Refactor bad callee check into a Checker.
by Zhongxing Xu
· 16 years ago
904e1e3
Still use BadArg bugtype in the checker. This saves us implement registerInitialVisitors
by Zhongxing Xu
· 16 years ago
27a36e9
Sentence-case bug category.
by Ted Kremenek
· 16 years ago
9a5bca3
Refactor undefined argument checking into a Checker.
by Zhongxing Xu
· 16 years ago
0878007
ConstraintManager::AssumeDual now accepts a 'DefinedSVal' instead of 'SVal' for
by Ted Kremenek
· 16 years ago
592362b
Enhance static analyzer diagnostics by introducing a new 'EnhancedBugReporter'
by Ted Kremenek
· 16 years ago
031ccc0
Last step of template cleanup: merge *BuilderImpl to *Builder.
by Zhongxing Xu
· 16 years ago
c5619d9
As GRState seems general enough, it is time to merge some template classes
by Zhongxing Xu
· 16 years ago
bb97722
Fix regression in attribute 'nonnull' checking when a transition node
by Ted Kremenek
· 16 years ago
3111218
Mark destructor of Checker virtual.
by Ted Kremenek
· 16 years ago
5f85e17
Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.
by Ted Kremenek
· 16 years ago
c26a8b0
Migrate the path-sensitive checking of 'nonnull' arguments over to the new
by Ted Kremenek
· 16 years ago
5350066
Move bug reporter "visitors" to their own file and make them part of the public
by Ted Kremenek
· 16 years ago
f495456
Remove ASTContext::isObjCObjectPointerType().
by Steve Naroff
· 16 years ago
40b598e
Remove the ASTContext parameter from the attribute-related methods of Decl.
by Argyrios Kyrtzidis
· 16 years ago
233e913
Remove GRStateManager::GetSValAsScalarOrLoc()/GetSVal().
by Ted Kremenek
· 16 years ago
a43484a
MemRegions:
by Ted Kremenek
· 16 years ago
23ec48c
Move clients over from using GRStateManager::BindXXX and friends to
by Ted Kremenek
· 16 years ago
a591bc0
libAnalysis:
by Ted Kremenek
· 16 years ago
68584ed
Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>.
by Douglas Gregor
· 16 years ago
725b747
Use dyn_cast instead of cast to allow our assumptions to be safely wrong.
by Ted Kremenek
· 16 years ago
85ac934
Cleanup internal checks bug reporting, allowing intermediate diagnostics to be generated for bad argument warnings, bad branches, etc.
by Ted Kremenek
· 16 years ago
0c31317
Enhance diagnostics value tracking logic for null dereferences and uninitialized values.
by Ted Kremenek
· 16 years ago
eaedfea
analyzer:
by Ted Kremenek
· 16 years ago
7704a33
More attribute renaming:
by Ted Kremenek
· 16 years ago
dd986cc
Add preliminary support for enhancing null-pointer dereference diagnostics.
by Ted Kremenek
· 16 years ago
d49967f
BugReporter/PathDiagnostics:
by Ted Kremenek
· 16 years ago
369f447
get a CodeTextRegion when visiting FunctionDecl reference.
by Zhongxing Xu
· 16 years ago
899b3de
New static analyzer check by Nikita Zhuk!
by Ted Kremenek
· 16 years ago
0fa9654
Remove period.
by Ted Kremenek
· 16 years ago
5d88ff8
Title-case the names of bug types.
by Ted Kremenek
· 16 years ago
17a8e07
Adjust wording of bug names.
by Ted Kremenek
· 16 years ago
21fe837
Implemented simple check in <rdar://problem/6600344>: When the receiver of a
by Ted Kremenek
· 16 years ago
faea269
Tidy up bug descriptions.
by Ted Kremenek
· 17 years ago
cf118d4
Overhaul BugReporter interface and implementation. The new interface cleans up
by Ted Kremenek
· 17 years ago
f7cf85b
more SourceLocation lexicon change: instead of referring to the
by Chris Lattner
· 17 years ago
159d248
[static analyzer] Extend VLA size checking to look for undefined sizes.
by Ted Kremenek
· 17 years ago
efd5994
Add checking for zero-sized VLAs.
by Ted Kremenek
· 17 years ago
1c0c233
Add out-of-bound memory access warning report code.
by Zhongxing Xu
· 17 years ago
5917d78
- Clean up transfer function logic for 'return' statements.
by Ted Kremenek
· 17 years ago
de8cd19
Enhance return-of-stack-address checker to recognize regions created by alloca().
by Ted Kremenek
· 17 years ago
ad51a60
Use llvm::raw_string_ostream instead of std::ostringstream.
by Ted Kremenek
· 17 years ago
8aed806
Enhance path-sensitive return-of-stack-address check to print out the line number of a compound literal (whose address is being returned) instead of printing out the hex representation of the pointer address of the CompoundLiteralExpr.
by Ted Kremenek
· 17 years ago
1c96b24
This patch did the following renaming. There should be no functional changes.
by Zhongxing Xu
· 17 years ago
9e24049
This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes.
by Ted Kremenek
· 17 years ago
2713347
Built-in checks now have a category: "Logic Errors"
by Ted Kremenek
· 17 years ago
8c036c7
Add "category" to BugTypes, allowing bugs to be grouped.
by Ted Kremenek
· 17 years ago
4adc81e
Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager.
by Ted Kremenek
· 17 years ago
22bda88
Enhanced path-sensitive return-of-stack-address check to print out the name of the variable whose address was returned.
by Ted Kremenek
· 17 years ago
b7714b2
Add range highlighting for path-sensitive return-of-stack-address check.
by Ted Kremenek
· 17 years ago
78d4624
Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp.
by Ted Kremenek
· 17 years ago