aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker
AgeCommit message (Expand)Author
2010-03-21Delete the new visitor if an old one already exists.Ted Kremenek
2010-03-20Reapply r99024 (but with the memory issue now fixed).Ted Kremenek
2010-03-20Check if a BugReporterVisitor has already been added to a BugReporterContext.Ted Kremenek
2010-03-20Revert r99024, "Augment path diagnostics to include displaying when a messageDaniel Dunbar
2010-03-20Augment path diagnostics to include displaying when a message expressionTed Kremenek
2010-03-18Refactor argument checking in CallAndMessageChecker to be the sameTed Kremenek
2010-03-18Detect pass-by-value arguments that are structs that containTed Kremenek
2010-03-18Tweak dead stores checker to not emit a warning when initializationTed Kremenek
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-12Allow users to set CPPFLAGS and CXXFLAGS on the make command line.Jeffrey Yasskin
2010-03-10Simplify assertion.Ted Kremenek
2010-03-10Remove '#if 0' code. Lazy compound values have proven their worth.Ted Kremenek
2010-03-10Remove the subregion map cache. It is no longer used.Ted Kremenek
2010-03-10Fix stale comment.Ted Kremenek
2010-03-10Really apply (unnoticed weird git-svn merge conflict in 98144): Refactor Regi...Ted Kremenek
2010-03-10Refactor RegionStore::RemoveDeadBindings to use the same coreTed Kremenek
2010-03-10Refactor some of RegionStore's InvalidateRegionsWorker classTed Kremenek
2010-03-10Add use-after-free check to MallocChecker.Zhongxing Xu
2010-03-10Enhance basic store to also lazily symbolicate VarRegionsTed Kremenek
2010-03-08Extend ObjCMessageExpr for class method sends with the source locationDouglas Gregor
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-02[CFG]Ted Kremenek
2010-03-02Don't conjure a symbol for DeclStmts when the variable is a C++ reference.Ted Kremenek
2010-03-01Since now we store the cast type with an ElementRegion, there isZhongxing Xu
2010-03-01Assert when loading from a code text region instead of returning an unknown s...Zhongxing Xu
2010-02-28Use getBody() to get the function definition when the decl referenced is notZhongxing Xu
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 GenerateCallExitNode logic completely into GREndPathNodeBuilder.Zhongxing Xu
2010-02-25Move the dead bindings removal logic from CallInliner to GRExprEngine::Proces...Zhongxing Xu
2010-02-25Add comments.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-25When generating error node, check to see if we already cached out.Ted Kremenek
2010-02-25Enhance the unused ivar checker to not consider an ivar to be accidentally un...Ted Kremenek
2010-02-25Add UnixAPIChecker, a meta checker to include various precondition checks for...Ted Kremenek
2010-02-25Remove stray #include.Ted Kremenek
2010-02-25Remove #include.Ted Kremenek
2010-02-25Divide list of registration functions in API and foundational checks. Also t...Ted Kremenek
2010-02-25Sort list of checker registration functions.Ted Kremenek
2010-02-23Dead emit dead store warnings when assigning nil to an ObjC objectTed Kremenek
2010-02-18Recognize attributes ns_returns_not_retained and cf_returns_not_retainedTed Kremenek
2010-02-18Sort @includes.Ted Kremenek
2010-02-17In symbol reaper, a variable is live if its stack frame is the parent of the Zhongxing Xu
2010-02-17For inline-based inter-procedural analysis, we will have multiple stack space...Zhongxing Xu