index
:
bcm5719-llvm
meklort-10.0.0
meklort-10.0.1
ortega-7.0.1
Project Ortega BCM5719 LLVM
Raptor Computing Systems
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
clang
/
lib
/
Checker
/
BasicStore.cpp
Commit message (
Expand
)
Author
Age
Files
Lines
*
StoreManager::RemoveDeadBindings() can take a Store instead of an entire GRSt...
Zhongxing Xu
2010-08-15
1
-7
/
+4
*
Remove redundant method.
Zhongxing Xu
2010-08-15
1
-5
/
+1
*
Add a callback for when region changes occur. Still somewhat of a work-in-pro...
Jordy Rose
2010-08-14
1
-6
/
+11
*
MemRegion can refer to ASTContext without external help.
Zhongxing Xu
2010-08-11
1
-4
/
+4
*
Explicitly guard in BasicStore from storing to non-scalars.
Ted Kremenek
2010-07-29
1
-5
/
+3
*
constify.
Zhongxing Xu
2010-07-20
1
-2
/
+2
*
Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ...
Ted Kremenek
2010-07-01
1
-6
/
+84
*
Add an ivar to SymbolReaper for the current statement, and then stop passing ...
Jordy Rose
2010-07-01
1
-3
/
+3
*
Correctly return early from BasicStoreManager::iterBindings() when the Bindin...
Ted Kremenek
2010-06-17
1
-1
/
+2
*
Remove extents of dead symbolic regions when RemoveDeadBindings.
Zhongxing Xu
2010-05-26
1
-3
/
+5
*
Introduce Type::isStructureOrClassType(), which does the obvious
Douglas Gregor
2010-04-26
1
-1
/
+1
*
Mark CXXThisRegion in the current or parent stack frame context as live so that
Zhongxing Xu
2010-03-17
1
-1
/
+4
*
Enhance basic store to also lazily symbolicate VarRegions
Ted Kremenek
2010-03-10
1
-1
/
+2
*
[CFG]
Ted Kremenek
2010-03-02
1
-19
/
+29
*
Since now we store the cast type with an ElementRegion, there is
Zhongxing Xu
2010-03-01
1
-3
/
+3
*
BindInternal is redundant. Remove it.
Zhongxing Xu
2010-02-08
1
-14
/
+9
*
Unify the implementation of getLValueElement of store managers.
Zhongxing Xu
2010-02-08
1
-55
/
+0
*
Unify the implementation of getLValueIvar and getLValueField of store managers.
Zhongxing Xu
2010-02-08
1
-48
/
+0
*
Move common methods to the base StoreManager class.
Zhongxing Xu
2010-02-08
1
-11
/
+0
*
More GRState* -> Store changes.
Zhongxing Xu
2010-02-05
1
-8
/
+5
*
More GRState* -> Store changes.
Zhongxing Xu
2010-02-05
1
-1
/
+1
*
More GRState* -> Store changes.
Zhongxing Xu
2010-02-05
1
-24
/
+19
*
More GRState* -> Store changes.
Zhongxing Xu
2010-02-05
1
-4
/
+4
*
Now that CastRetrievedVal returns SVal, there is no need to use CastResult.
Zhongxing Xu
2010-02-04
1
-12
/
+8
*
Split libAnalysis into two libraries: libAnalysis and libChecker.
Ted Kremenek
2010-01-25
1
-0
/
+625