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
/
StaticAnalyzer
/
Core
/
RegionStore.cpp
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Relax RegionStore to allow loads from CodeTextRegions. Apparently you can ac...
Ted Kremenek
2011-11-29
1
-5
/
+3
*
Fixed crash with initializer lists and unnamed bitfields in the RegionStore
Jim Goodnow II
2011-11-16
1
-1
/
+6
*
[analyzer;Regionstore] handle loads from StringLiteral elements for StringLit...
Ted Kremenek
2011-11-14
1
-3
/
+3
*
Rename TagDecl::isDefinition -> isCompleteDefinition
John McCall
2011-10-07
1
-1
/
+1
*
Removing a bunch of dead returns/breaks after llvm_unreachables.
David Blaikie
2011-09-23
1
-1
/
+0
*
Switch assert(0/false) llvm_unreachable.
David Blaikie
2011-09-23
1
-2
/
+2
*
[analyzer] Change the check::RegionChanges callback to include the regions ex...
Jordy Rose
2011-08-27
1
-12
/
+10
*
Rename GRState to ProgramState, and cleanup some code formatting along the way.
Ted Kremenek
2011-08-15
1
-12
/
+12
*
Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...
Ted Kremenek
2011-08-12
1
-5
/
+5
*
[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...
Ted Kremenek
2011-08-12
1
-23
/
+28
*
[analyzer] Change SymbolReaper to store region roots implied by the Environme...
Ted Kremenek
2011-08-06
1
-8
/
+7
*
[analyzer] Add StoreManager::includedInBindings() to to query whether a regio...
Ted Kremenek
2011-07-28
1
-0
/
+19
*
[analyzer] Add safety checking in RegionStoreManager for string literal under...
Ted Kremenek
2011-07-28
1
-0
/
+4
*
remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....
Chris Lattner
2011-07-23
1
-12
/
+12
*
[analyzer] Use UnknownVal when default-initializing arrays whose element type...
Jordy Rose
2011-06-27
1
-1
/
+6
*
Teach RegionStore not to symbolic array values whose indices it cannot reason...
Ted Kremenek
2011-05-19
1
-0
/
+5
*
Augment retain/release checker to not warn about tracked objects passed as ar...
Ted Kremenek
2011-05-02
1
-12
/
+9
*
RegionStoreManager::invalidateRegions: treat classes the same as structs.
Ted Kremenek
2011-04-12
1
-3
/
+3
*
Fix RegionStore bug when doing a field load whose parent is also a field assi...
Ted Kremenek
2011-04-03
1
-11
/
+17
*
Tweak RegionStore's handling of lazy compound values to use the 'Default' ver...
Ted Kremenek
2011-03-17
1
-16
/
+30
*
static analyzer: Fix use-after-free bug in RegionStore involving LazyCompound...
Ted Kremenek
2011-03-08
1
-3
/
+4
*
Add 'StoreRef' smart pointer to allow more fine-grain memory lifetime control...
Ted Kremenek
2011-02-19
1
-85
/
+102
*
Makes most methods in SVals.h conform to the naming guide. Reviewed
Zhanyong Wan
2011-02-16
1
-1
/
+1
*
Remove RegionStoreManager::evalBinOp(), which is now handled by the SValBuilder.
Ted Kremenek
2011-02-11
1
-119
/
+0
*
Rename 'InvalidateRegions()' to 'invalidateRegions()'.
Ted Kremenek
2011-02-11
1
-11
/
+9
*
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...
Ted Kremenek
2011-02-10
1
-3
/
+3
*
[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.
Argyrios Kyrtzidis
2011-02-08
1
-0
/
+1917
[prev]