aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/GRExprEngine.cpp
AgeCommit message (Expand)Author
2010-06-25Relax assertion since non-pod C++ classes are not aggregates, but still can a...Ted Kremenek
2010-06-25Add "checker caching" to GRExprEngine::CheckerVisit to progressively buildTed Kremenek
2010-06-23Add 'VisitEndAnalysis' callback to Checker class. This callback is called by...Ted Kremenek
2010-06-22Don't assert on C++ casts that are currently not handled by the static analyzer.Ted Kremenek
2010-06-16Register CallAndMessageChecker before AttrNonNullChecker. Then we can assumeZhongxing Xu
2010-06-09Merge StackAddrLeakChecker and ReturnStackAddressChecker.Zhongxing Xu
2010-06-03Add comments.Zhongxing Xu
2010-05-18Add option '-analyzer-max-loop', which specifies the maximum Zhongxing Xu
2010-05-15Substantially alter the design of the Objective C type AST by introducingJohn McCall
2010-05-11Fixes for compilation with Microsoft Visual Studio 2010, from Steven Watanabe!Douglas Gregor
2010-05-06Turn -analyzer-inline-call on for C functions. This also fixed a bug thatZhongxing Xu
2010-04-28Completely reimplement __builtin_offsetof, based on a patch by RobertoDouglas Gregor
2010-04-26Introduce Type::isStructureOrClassType(), which does the obviousDouglas Gregor
2010-04-21CXXNamedCastExpr is actually an abstract expression.Zhongxing Xu
2010-04-21Add initial support for C++ delete expr.Zhongxing Xu
2010-04-21Overhaul the AST representation of Objective-C message sendDouglas Gregor
2010-04-20Use GetState() to get the possible cleaned state.Zhongxing Xu
2010-04-19Move all C++ expression evaluation logic into its own file.Zhongxing Xu
2010-04-19Analyzer: add support for CXXNewExpr.Zhongxing Xu
2010-04-15Fix PR 6844, a regression caused by the introduction of llvm_unreachable for ...Ted Kremenek
2010-04-14Add support for CXXBoolLiteralExpr.Zhongxing Xu
2010-04-13Make all cases that we don't handle explicit. Zhongxing Xu
2010-04-13Dispatch all C++ cast expr to VisitCast().Zhongxing Xu
2010-04-01Initial support for visiting CXXMemberCallExpr.Zhongxing Xu
2010-04-01Improve C++ constructor handling.Zhongxing Xu
2010-03-30Introduce a new kind of derived-to-base cast which bypasses the need forJohn McCall
2010-03-30Change the analyzer to recognize (but ignore) assignments to isa. Fixes PR 6...Ted Kremenek
2010-03-27Checker: random include cleanup.Benjamin Kramer
2010-03-25Add methods to remove a GDM entry.Zhongxing Xu
2010-03-23Bind the constructed object value to CXXConstructExpr.Zhongxing Xu
2010-03-23Clear the return expr GDM after using it.Zhongxing Xu
2010-03-23Add a AggExprVisitor class. It contains lots of boilerZhongxing Xu
2010-03-23Since we now may have basicblocks with the same block is in different function,Zhongxing Xu
2010-03-17Mark CXXThisRegion in the current or parent stack frame context as live so thatZhongxing Xu
2010-03-16Add VisitCXXContructExpr logic to the analyzer. This still has not fully workedZhongxing Xu
2010-03-08Remove unused headers.Duncan Sands
2010-03-05Remove reference to AnalysisContext in Environment. We already have LocationC...Zhongxing Xu
2010-03-04When profiling Environment, also profile with AnalysisContext*, bacauseZhongxing Xu
2010-03-02Don't conjure a symbol for DeclStmts when the variable is a C++ reference.Ted Kremenek
2010-02-26Use a GDM to record the returned expression in the state when VisitReturnStmt.Zhongxing Xu
2010-02-26Remove derelict GRStmtNodeBuilder::LastNode.Zhongxing Xu
2010-02-25Restore Zhongxing's commits r97122 r97127 r97129 r97131 which were reverted d...Douglas Gregor
2010-02-25Revert patches r97122 r97127 r97129 r97131.Jakob Stoklund Olesen
2010-02-25Move the dead bindings removal logic from CallInliner to GRExprEngine::Proces...Zhongxing Xu
2010-02-25Call inliner improvements:Zhongxing Xu
2010-02-25Add MacOSXAPIChecker, a meta checker to include various precondition checks f...Ted Kremenek
2010-02-25Add UnixAPIChecker, a meta checker to include various precondition checks for...Ted Kremenek
2010-02-16Add simpler checker to check if variables captured by a block are uninitialized.Ted Kremenek
2010-02-15Convert GRExprEngine's handling of ObjCMessageExprs to use a worklistTed Kremenek
2010-02-08Revert 95541.Ted Kremenek