index
:
emscripten-fastcomp-clang
master
emscripten clang
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
Analysis
/
GRExprEngine.cpp
Age
Commit message (
Expand
)
Author
2010-01-25
Split libAnalysis into two libraries: libAnalysis and libChecker.
Ted Kremenek
2010-01-22
Process cast according to the cast kind. Prepare for more specific cast
Zhongxing Xu
2010-01-19
Fix a serious bug: Tmp3 is the wrong destination set. We should create a new
Zhongxing Xu
2010-01-11
Roll out ASTContext::getTypeSizeInChars(), replacing instances of
Ken Dyck
2010-01-09
Fix overzealous assertion in GRExprEngine::VisitLValue(). A
Ted Kremenek
2010-01-09
When binding an rvalue to a reference, create a temporary object. Use
Zhongxing Xu
2010-01-08
Fix handling in GRExprEngine of 'default' branch in switch statements
Ted Kremenek
2010-01-05
Make static analysis support for C++ 'this' expression context-sensitive. Es...
Ted Kremenek
2010-01-05
Remove references to 'Checker' and 'GRTransferFuncs' from
Ted Kremenek
2009-12-31
Let constraint manager inform checkers that some assumption logic has happend.
Zhongxing Xu
2009-12-25
Remove some dead variables clang-analyzer found.
Benjamin Kramer
2009-12-25
Fix typo spotted by MSVC.
Benjamin Kramer
2009-12-24
Teach GRExprEngine to handle the initialization of the condition variable of ...
Ted Kremenek
2009-12-24
Teach GRExprEngine to handle the initialization of the condition variable of ...
Ted Kremenek
2009-12-24
Teach GRExprEngine to handle the initialization of the condition variable of ...
Ted Kremenek
2009-12-23
Add CFG support for the condition variable that can appear in IfStmts in C++ ...
Ted Kremenek
2009-12-23
Add stack trace pretty printing in GRExprEngine::VisitLValue().
Ted Kremenek
2009-12-23
Teach GRExprEngine::VisitLValue to ignore CXXExprWithTempories (for now).
Ted Kremenek
2009-12-23
Teach GRExprEngine::VisitLValue that we don't handle CXXZeroInitValueExprs yet.
Ted Kremenek
2009-12-23
Also treat the type of the subexpression as a pointer in GRExprEngine::VisitC...
Ted Kremenek
2009-12-23
Add basic support for analyzing CastExprs as lvalues.
Ted Kremenek
2009-12-22
Add transfer functions support for visiting an Objective-C message expression...
Ted Kremenek
2009-12-18
Enhance GRExprEngine::VisitCallExpr() to be used in an lvalue context. Uncov...
Ted Kremenek
2009-12-17
Tweak formatting and comments.
Ted Kremenek
2009-12-17
Convert GRExprEngine::VisitCallExpr() to use a worklist instead of recursion ...
Ted Kremenek
2009-12-17
Reduce nesting by using early exits. No functionality change.
Ted Kremenek
2009-12-17
Sort switch statement. No functionality change.
Ted Kremenek
2009-12-17
Fix check in GRExprEngine for the 'main' function to handle NULL IdentifierIn...
Ted Kremenek
2009-12-16
Add a new kind of region: CXXObjectRegion. Currently it has only one
Zhongxing Xu
2009-12-16
Add (initial?) static analyzer support for handling C++ references.
Ted Kremenek
2009-12-15
Start the ball rolling on C++ support in the static analyzer. For
Ted Kremenek
2009-12-14
Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on cap...
Ted Kremenek
2009-12-14
Use insert to avoid destroying existing nodes.
Zhongxing Xu
2009-12-09
Refactor OSAtomic evaluation logic into OSAtomicChecker.
Zhongxing Xu
2009-12-09
Use a temporary destination set such that we can clear fake auto transitions.
Zhongxing Xu
2009-12-09
OSAtomic simulation: use the original region as the location to load from,
Zhongxing Xu
2009-12-09
remove dead code.
Zhongxing Xu
2009-12-09
Insert instead of assign to the dest node set, since we use the dest node set
Zhongxing Xu
2009-12-09
Fix a horrid bug in GRExprEngine::CheckerVisit() that was identified
Ted Kremenek
2009-12-08
Refactor builtin function evaluation into a checker.
Zhongxing Xu
2009-12-07
Add analysis support for blocks. This includes a few key changes:
Ted Kremenek
2009-12-07
Add EvalCallExpr interface to checker, and migrate the no-return function
Zhongxing Xu
2009-12-02
Hard bifurcate the state into nil receiver and non-nil receiver, so that
Zhongxing Xu
2009-11-30
Eliminate another VISIBILITY_HIDDEN
Douglas Gregor
2009-11-30
Adapt to the DOTGraphTraits changes in LLVM.
Tobias Grosser
2009-11-28
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
Kovarththanan Rajaratnam
2009-11-25
Refine MemRegions for blocks. Add a new region called
Ted Kremenek
2009-11-25
Add post-visit Checker support in GRExprEngine for BlockExpr.
Ted Kremenek
2009-11-25
Make RegisterInternalChecks() part of GRExprEngine's private implementation b...
Ted Kremenek
2009-11-25
Register internal checks with GRExprEngine when it is constructed, not manual...
Ted Kremenek
[next]