aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/misc-ps-region-store.cpp
AgeCommit message (Expand)Author
2013-03-22Add test case for PR 12921.Ted Kremenek
2013-01-24[analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa".Anna Zaks
2013-01-09Do not model loads from complex types, since we don't accurately model the im...Ted Kremenek
2012-11-29Correctly handle IntegralToBool casts in C++ in the static analyzer. Fixes <...Ted Kremenek
2012-11-28Fix another false positive due to a CXX temporary object appearing in a C ini...Ted Kremenek
2012-11-27Provide stop-gap solution to crash reported in PR 14436.Ted Kremenek
2012-11-26[analyzer] Fix a crash reported in PR 14400.Anna Zaks
2012-08-24Fix analyzer tests.Ted Kremenek
2012-08-21[analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests.Jordan Rose
2012-08-18[analyzer] Treat C++ 'throw' as a sink.Jordan Rose
2012-08-04[analyzer] Use a more robust check for null in CallAndMessageChecker.Jordan Rose
2012-08-02[analyzer] Add a simple check for initializing reference variables with null.Jordan Rose
2012-06-22Implement initial static analysis inlining support for C++ methods.Ted Kremenek
2012-05-08Teach the analyzer about CXXScaleValueInitExpr.Ted Kremenek
2012-04-05Handle symbolicating a reference in an initializer expression that we don't u...Ted Kremenek
2012-03-22Fix static analyzer crash on code taking the address of a field. Fixes PR 11...Ted Kremenek
2012-03-16Fix analyzer crash on analyzing 'catch' with no condition variable.Ted Kremenek
2012-03-10[analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...Ted Kremenek
2011-12-01Fix typo.Ted Kremenek
2011-12-01When analyzing a C++ method (without a specific caller), assume 'this' is non...Ted Kremenek
2011-11-29Relax RegionStore to allow loads from CodeTextRegions. Apparently you can ac...Ted Kremenek
2011-11-16Fixed crash with initializer lists and unnamed bitfields in the RegionStoreJim Goodnow II
2011-09-30Fix crash when analyzing C++ code involving constant enums and switch stateme...Ted Kremenek
2011-08-16[analyzer] teach ExprEngine about loads from static C++ class fields. Fixes ...Ted Kremenek
2011-08-03[analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek
2011-05-19Teach RegionStore not to symbolic array values whose indices it cannot reason...Ted Kremenek
2011-04-12static analyzer: invalidate by-ref arguments passed to constructors in a 'new...Ted Kremenek
2011-04-12Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '...Ted Kremenek
2011-04-12RegionStoreManager::invalidateRegions: treat classes the same as structs.Ted Kremenek
2011-04-12Teach GRState::getSValAsScalarOrLoc() about C++ references.Ted Kremenek
2011-04-11C++ static analysis: also invalidate fields of objects that are the callees i...Ted Kremenek
2011-04-08Start overhauling static analyzer support for C++ constructors. The inlining...Ted Kremenek
2011-03-31Static analyzer: fix bug in handling of dynamic_cast<>. The sink node wouldn...Ted Kremenek
2011-03-31Teach static analyzer about the basics of handling new[]. We still don't sim...Ted Kremenek
2011-03-30Begin reworking static analyzer support for C++ method calls. The current lo...Ted Kremenek
2011-02-28[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis
2011-02-28[analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-24[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis
2011-02-14Handle 'UsingDirective' in CFGRecStmtDeclVisitor.Ted Kremenek
2010-12-22If the unary operator is prefix and an lvalue (in C++), bindZhongxing Xu
2010-12-16Start migration of static analyzer to using theTed Kremenek
2010-11-22Fix PR8419. Reviewed by kremenek and xuzhongxing.Zhanyong Wan
2010-10-31Make Clang static analyzer skip function template definitions. This fixes Cl...Zhanyong Wan
2010-08-31Explicitly handle CXXOperatorCallExpr when building CFGs. We should treat it...Ted Kremenek
2010-07-29Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, an...Ted Kremenek
2010-02-05Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek
2010-01-05Make static analysis support for C++ 'this' expression context-sensitive. Es...Ted Kremenek
2009-12-24Add analyzer test case for 'ForStmt' with condition variable.Ted Kremenek
2009-12-24CFG tweak: in a WhileStmt, the condition variable initializer is evaluated ev...Ted Kremenek
2009-12-24Teach GRExprEngine to handle the initialization of the condition variable of ...Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-09 06:12:42 +0000