aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRExprEngine.cpp
AgeCommit message (Expand)Author
2009-10-18Move clients to use IdentifierInfo::getNameStart() instead of getName()Daniel Dunbar
2009-10-14Remove dead code.Zhongxing Xu
2009-10-14* Remove unused GRState* parameterZhongxing Xu
2009-10-06Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer whenTed Kremenek
2009-09-27Fix:Ted Kremenek
2009-09-23Fix PR 4988 by removing an invalid assertion (a function can be referenced inTed Kremenek
2009-09-22Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with ...Ted Kremenek
2009-09-21Change all the Type::getAsFoo() methods to specializations of Type::getAs().John McCall
2009-09-16Remove ImplicitBadDivides/ExplicitBadDivides node sets. This checking is now...Ted Kremenek
2009-09-15Per feedback from Eli, recognize in the transfer function logic forTed Kremenek
2009-09-15Add static analyzer transfer function support for __builtin_offsetof.Ted Kremenek
2009-09-12Remove unnecessary ASTContext parameter from FunctionDecl::isBuiltinIDDouglas Gregor
2009-09-11Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a wayTed Kremenek
2009-09-10Make AnalysisManager stateless. Now other analyzer components only depends onZhongxing Xu
2009-09-09Implement: <rdar://problem/7185647> [RegionStore] 'self' cannot be NULL upon...Ted Kremenek
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-09-05pass the correct predecessor node.Zhongxing Xu
2009-09-05Refactor builtin function evaluation code into its own function.Zhongxing Xu
2009-09-04move the check into MarkNoReturnFunction.Zhongxing Xu
2009-09-04Extract mark-no-return-function code into a function.Zhongxing Xu
2009-09-03Fix 80 column violations.Ted Kremenek
2009-09-02Refactor the check for bad divide into a checker.Zhongxing Xu
2009-09-02Refactor bad callee check into a Checker.Zhongxing Xu
2009-08-31Eliminate CXXAdornedMemberExpr entirely. Instead, optionally allocateDouglas Gregor
2009-08-31Rename CXXQualifiedMemberExpr -> CXXAdornedMemberExpr, since we willDouglas Gregor
2009-08-29Refactor undefined argument checking into a Checker.Zhongxing Xu
2009-08-27Rename 'bindExpr' to 'BindExpr'.Ted Kremenek
2009-08-27Remove a unused member variable. Instead query the option from AnalysisManager.Zhongxing Xu
2009-08-27Simplify 'Environment' to contain only one map from 'const Stmt*' to SVals, g...Ted Kremenek
2009-08-26When a member reference expression includes a qualifier on the memberDouglas Gregor
2009-08-25Move logic of GRExprEngine::EvalBinOp to SValuator::EvalBinOp.Ted Kremenek
2009-08-25Remove CodeDecl and CFG from GRExprEngine and GRStateManager.Zhongxing Xu
2009-08-25Remove Decl and CFG from ExplodedGraph. This leads to a series small changes.Zhongxing Xu
2009-08-23Replace cerr with errs().Benjamin Kramer
2009-08-21Remove 'AnalysisContext::setDecl()', as we the Decl associated with anTed Kremenek
2009-08-21Add LocationContext* field to VarRegion. This is needed for interprocedural ...Ted Kremenek
2009-08-21Get the code decl from the initial location context.Zhongxing Xu
2009-08-20Using "ObjCImplicitSetterGetterRefExpr" instead of "ObjCImplctSetterGetterRef...Fariborz Jahanian
2009-08-18Renamed ObjCKVCRefExpr to ObjCImplctSetterGetterRefExpr.Fariborz Jahanian
2009-08-17To make the analysis independent on the locally stored liveness and cfgZhongxing Xu
2009-08-15Extend the ProgramPoint to include the context information LocationContext,Zhongxing Xu
2009-08-06Last step of template cleanup: merge *BuilderImpl to *Builder.Zhongxing Xu
2009-08-06As GRState seems general enough, it is time to merge some template classes Zhongxing Xu
2009-08-05If the UnaryOperator has non-location type, use its type to create theZhongxing Xu
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