aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/GRExprEngine.cpp
AgeCommit message (Expand)Author
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
2010-02-08Rename: GRState::getSVal(Stmt*) => getExprVal(),Zhongxing Xu
2010-02-04Cast evaluation no longer touch GRState.Zhongxing Xu
2010-02-04static analyzer: handle casts of a function to a function pointer withTed Kremenek
2010-02-02Fix bug in GRExprEngine::VisitSizeOfAlignOfExpr() where we do not addTed Kremenek
2010-01-27Use getTypeAlignInChars() for alignment in VisitSizeOfAlignOfExpr().Ken Dyck
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek