summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Checkers/OSAtomicChecker.cpp
Commit message (Expand)AuthorAgeFilesLines
* Remove OSAtomicChecker.Ted Kremenek2012-10-111-216/+0
* Switch over to BodyFarm implementation of OSAtomicCompareAndSwap andTed Kremenek2012-10-111-1/+1
* [analyzer] Replace boolean IsSink parameters with 'generateSink' methods.Jordan Rose2012-08-201-4/+2
* Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh...Ted Kremenek2012-04-061-4/+4
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-6/+6
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-9/+14
* [analyzer] Refactor checkers to use helper function for getting callee Decl a...Anna Zaks2011-12-011-12/+15
* [analyzer] Node builders cleanup + commentsAnna Zaks2011-10-241-2/+2
* [analyzer] Remove more dependencies from global BuilderAnna Zaks2011-10-241-29/+9
* [analyzer] OSAtomicChecker implements evalCall in a very invasive way - it es...Anna Zaks2011-10-051-21/+44
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-6/+6
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-1/+1
* [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.Ted Kremenek2011-08-121-9/+7
* [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek2011-08-121-4/+4
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-1/+1
* Allow 'Environment::getSVal()' to allow an optional way for checkers to do a ...Ted Kremenek2011-04-271-1/+6
* [analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis2011-03-011-2/+2
* [analyzer] Migrate OSAtomicChecker to CheckerV2.Argyrios Kyrtzidis2011-02-281-11/+12
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-1/+1
* [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/Stat...Argyrios Kyrtzidis2011-02-081-1/+1
* Chris Lattner has strong opinions about directoryTed Kremenek2010-12-231-0/+203
OpenPOWER on IntegriCloud