summaryrefslogtreecommitdiffstats
path: root/test/Analysis/misc-ps-region-store.cpp
Commit message (Expand)AuthorAgeFilesLines
* Handle symbolicating a reference in an initializer expression that we don't u...Ted Kremenek2012-04-051-0/+10
* Fix static analyzer crash on code taking the address of a field. Fixes PR 11...Ted Kremenek2012-03-221-0/+16
* Fix analyzer crash on analyzing 'catch' with no condition variable.Ted Kremenek2012-03-161-0/+23
* [analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...Ted Kremenek2012-03-101-2/+25
* Fix typo.Ted Kremenek2011-12-011-1/+1
* When analyzing a C++ method (without a specific caller), assume 'this' is non...Ted Kremenek2011-12-011-0/+14
* Relax RegionStore to allow loads from CodeTextRegions. Apparently you can ac...Ted Kremenek2011-11-291-0/+8
* Fixed crash with initializer lists and unnamed bitfields in the RegionStoreJim Goodnow II2011-11-161-0/+17
* Fix crash when analyzing C++ code involving constant enums and switch stateme...Ted Kremenek2011-09-301-0/+26
* [analyzer] teach ExprEngine about loads from static C++ class fields. Fixes ...Ted Kremenek2011-08-161-0/+27
* [analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek2011-08-031-2/+2
* Teach RegionStore not to symbolic array values whose indices it cannot reason...Ted Kremenek2011-05-191-0/+19
* static analyzer: invalidate by-ref arguments passed to constructors in a 'new...Ted Kremenek2011-04-121-0/+16
* Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '...Ted Kremenek2011-04-121-0/+19
* RegionStoreManager::invalidateRegions: treat classes the same as structs.Ted Kremenek2011-04-121-0/+14
* Teach GRState::getSValAsScalarOrLoc() about C++ references.Ted Kremenek2011-04-121-0/+10
* C++ static analysis: also invalidate fields of objects that are the callees i...Ted Kremenek2011-04-111-0/+33
* Start overhauling static analyzer support for C++ constructors. The inlining...Ted Kremenek2011-04-081-0/+25
* Static analyzer: fix bug in handling of dynamic_cast<>. The sink node wouldn...Ted Kremenek2011-03-311-0/+14
* Teach static analyzer about the basics of handling new[]. We still don't sim...Ted Kremenek2011-03-311-0/+8
* Begin reworking static analyzer support for C++ method calls. The current lo...Ted Kremenek2011-03-301-0/+16
* [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis2011-02-281-2/+2
* [analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2.Argyrios Kyrtzidis2011-02-281-2/+2
* [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis2011-02-241-2/+2
* Handle 'UsingDirective' in CFGRecStmtDeclVisitor.Ted Kremenek2011-02-141-0/+15
* If the unary operator is prefix and an lvalue (in C++), bindZhongxing Xu2010-12-221-1/+0
* Start migration of static analyzer to using theTed Kremenek2010-12-161-0/+1
* Fix PR8419. Reviewed by kremenek and xuzhongxing.Zhanyong Wan2010-11-221-0/+19
* Make Clang static analyzer skip function template definitions. This fixes Cl...Zhanyong Wan2010-10-311-0/+47
* Explicitly handle CXXOperatorCallExpr when building CFGs. We should treat it...Ted Kremenek2010-08-311-0/+11
* Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, an...Ted Kremenek2010-07-291-0/+16
* Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek2010-02-051-2/+2
* Make static analysis support for C++ 'this' expression context-sensitive. Es...Ted Kremenek2010-01-051-0/+43
* Add analyzer test case for 'ForStmt' with condition variable.Ted Kremenek2009-12-241-0/+14
* CFG tweak: in a WhileStmt, the condition variable initializer is evaluated ev...Ted Kremenek2009-12-241-9/+10
* Teach GRExprEngine to handle the initialization of the condition variable of ...Ted Kremenek2009-12-241-0/+15
* Teach GRExprEngine to handle the initialization of the condition variable of ...Ted Kremenek2009-12-241-0/+18
* Add CFG support for the condition variable that can appear in IfStmts in C++ ...Ted Kremenek2009-12-231-0/+7
* Also treat the type of the subexpression as a pointer in GRExprEngine::VisitC...Ted Kremenek2009-12-231-0/+11
* Add basic support for analyzing CastExprs as lvalues.Ted Kremenek2009-12-231-0/+11
* Use the FunctionDecl's result type to know exactly if it returns a reference.Zhongxing Xu2009-12-191-2/+1
* Enhance GRExprEngine::VisitCallExpr() to be used in an lvalue context. Uncov...Ted Kremenek2009-12-181-1/+7
* Add failing test case for C++ static analysis.Ted Kremenek2009-12-171-0/+9