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
/
Checkers
/
OSAtomicChecker.cpp
Commit message (
Expand
)
Author
Age
Files
Lines
*
Remove OSAtomicChecker.
Ted Kremenek
2012-10-11
1
-216
/
+0
*
Switch over to BodyFarm implementation of OSAtomicCompareAndSwap and
Ted Kremenek
2012-10-11
1
-1
/
+1
*
[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.
Jordan Rose
2012-08-20
1
-4
/
+2
*
Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh...
Ted Kremenek
2012-04-06
1
-4
/
+4
*
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
Ted Kremenek
2012-01-26
1
-6
/
+6
*
[analyzer] Make the entries in 'Environment' context-sensitive by making entr...
Ted Kremenek
2012-01-06
1
-9
/
+14
*
[analyzer] Refactor checkers to use helper function for getting callee Decl a...
Anna Zaks
2011-12-01
1
-12
/
+15
*
[analyzer] Node builders cleanup + comments
Anna Zaks
2011-10-24
1
-2
/
+2
*
[analyzer] Remove more dependencies from global Builder
Anna Zaks
2011-10-24
1
-29
/
+9
*
[analyzer] OSAtomicChecker implements evalCall in a very invasive way - it es...
Anna Zaks
2011-10-05
1
-21
/
+44
*
Rename GRState to ProgramState, and cleanup some code formatting along the way.
Ted Kremenek
2011-08-15
1
-6
/
+6
*
Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...
Ted Kremenek
2011-08-12
1
-1
/
+1
*
[analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.
Ted Kremenek
2011-08-12
1
-9
/
+7
*
[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...
Ted Kremenek
2011-08-12
1
-4
/
+4
*
remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....
Chris Lattner
2011-07-23
1
-1
/
+1
*
Allow 'Environment::getSVal()' to allow an optional way for checkers to do a ...
Ted Kremenek
2011-04-27
1
-1
/
+6
*
[analyzer] Rename CheckerV2 -> Checker.
Argyrios Kyrtzidis
2011-03-01
1
-2
/
+2
*
[analyzer] Migrate OSAtomicChecker to CheckerV2.
Argyrios Kyrtzidis
2011-02-28
1
-11
/
+12
*
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...
Ted Kremenek
2011-02-10
1
-1
/
+1
*
[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/Stat...
Argyrios Kyrtzidis
2011-02-08
1
-1
/
+1
*
Chris Lattner has strong opinions about directory
Ted Kremenek
2010-12-23
1
-0
/
+203