aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRExprEngine.cpp
AgeCommit message (Expand)Author
2009-08-01Temporarily disable out-of-bounds checking. The current checking logic will ...Ted Kremenek
2009-07-29Change uses of:Ted Kremenek
2009-07-28Fix PR 4631. The compound initializers of unions were not being evaluated, whichTed Kremenek
2009-07-23Revert r76831, there are many Analyzer test failures on multiple platforms.Daniel Dunbar
2009-07-23Add 'previsit' Checker pass for ObjCMessageExprs.Ted Kremenek
2009-07-22Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.Ted Kremenek
2009-07-22Add support for registering 'Checker' objects with GRExprEngine.Ted Kremenek
2009-07-21Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCastTed Kremenek
2009-07-20Enhance GRExprEngine::EvalBind to handle some implicit casts from nonlocs toTed Kremenek
2009-07-20Add FIXME.Ted Kremenek
2009-07-20Enhance GRBranchNodeBuilderImpl (part of GRCoreEngine) to understand the caseTed Kremenek
2009-07-17Fix caching bug revealed by analyzing ClamAV using RegionStore.Ted Kremenek
2009-07-17Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methodsTed Kremenek
2009-07-16Add member template 'Type::getAs<T>', which converts a Type* to a respective T*.Ted Kremenek
2009-07-16Two changes:Ted Kremenek
2009-07-14Instead of recovering from a wrong invalidation, this patch aims to Zhongxing Xu
2009-07-11Handle insidious corner case exposed by RegionStoreManager when handling void...Ted Kremenek
2009-06-30Remove the ASTContext parameter from the attribute-related methods of Decl.Argyrios Kyrtzidis
2009-06-30Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions.Chris Lattner
2009-06-26Remove '#include <sstream>' from libAnalysis.Ted Kremenek
2009-06-26Introduce a new concept to the static analyzer: SValuator.Ted Kremenek
2009-06-24Remove uses of std::ostream from libAnalysis.Ted Kremenek
2009-06-24Update for LLVM API changes.Owen Anderson
2009-06-23Remove GRStateManager::getRegion/getSelfRegion().Ted Kremenek
2009-06-23Remove GRStateManager::BindLoc() and GRStateManager::Unbind().Ted Kremenek
2009-06-23Remove GRStateManager::BindDecl() and GRStateManager::BindDeclWithInit().Ted Kremenek
2009-06-23Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemR...Ted Kremenek
2009-06-23Move all factory methods from SVal to ValueManager. API cleanup!Zhongxing Xu
2009-06-23ValueManager::makeNonLoc -> ValueManager::makeIntValZhongxing Xu
2009-06-19Remove more GetSVal/GetLValue methods in GRExprEngine/GRState, insteadTed Kremenek
2009-06-18Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek
2009-06-18libAnalysis:Ted Kremenek
2009-06-18Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>.Douglas Gregor
2009-06-18Remove more dependencies on GRStateRef. As a consequence, we can nowTed Kremenek
2009-06-14Sink the BuiltinInfo object from ASTContext into theChris Lattner
2009-05-20* API change: we need to pass GRState to GRExprEngine::EvalBinOp() becauseZhongxing Xu
2009-05-09As discussed with Ted, rename TypedRegion::getObjectType() to Zhongxing Xu
2009-05-09rename: MemRegion:Zhongxing Xu
2009-05-07analyzer: Add ProgramPoint 'PostLValue' just to distinguish (forTed Kremenek
2009-05-04Per conversations with Zhongxing, add an 'element type' toTed Kremenek
2009-04-26split ObjC and C++ Statements out into their own headers.Chris Lattner
2009-04-23Fix PR 4033: the analyzer shouldn't crash on computed gotos involving symbolicTed Kremenek
2009-04-21Fix crash reported in PR 3991. The analyzer doesn't reason about ObjCKVCExpr.Ted Kremenek
2009-04-21Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: poin...Ted Kremenek
2009-04-20get a CodeTextRegion when visiting FunctionDecl reference.Zhongxing Xu
2009-04-11Add analyzer support for objc_atomicCompareAndSwap()Ted Kremenek
2009-04-11Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"Ted Kremenek
2009-04-10Finally nuke loc::SymbolVal.Zhongxing Xu
2009-04-10Fix: <rdar://problem/6776949> Branch condition evaluates to an uninitialized ...Ted Kremenek
2009-04-10Implement attribute "analyzer_noreturn" (<rdar://problem/6777003>). This allowsTed Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-05 07:57:49 +0000