aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis
AgeCommit message (Expand)Author
2009-02-15Remove accidental duplication of content in .h file.Ted Kremenek
2009-02-14Add hook to add attributes to function declarations that we knowDouglas Gregor
2009-02-14Patch by Ben Laurie:Ted Kremenek
2009-02-14GRExprEngine: Handle empty statement expressions.Ted Kremenek
2009-02-14Added GRStateManager::scanReachableSymbols(), a method which scans the reachableTed Kremenek
2009-02-14Use GRTransferFuncs::EvalBind when processing variable initializations.Ted Kremenek
2009-02-14Static analyzer:Ted Kremenek
2009-02-13Implicitly declare certain C library functions (malloc, strcpy, memmove,Douglas Gregor
2009-02-13GRExprEngine:Ted Kremenek
2009-02-12Several cleanups:Steve Naroff
2009-02-11Per PR 3187, disable the missing -dealloc check for classes that subclass Sen...Ted Kremenek
2009-02-10BugReporter: Use llvm::raw_string_stream instead of std::ostringstream.Ted Kremenek
2009-02-10Fix a crash in GRSimpleVals::EvalCast due not handling transparent unions.Ted Kremenek
2009-02-09Fix PR 2514: Do not flag dead initializations for variables initialized to a ...Ted Kremenek
2009-02-07Fix null dereference.Ted Kremenek
2009-02-07For retain/release leaks, have the BugReport description indicate the allocat...Ted Kremenek
2009-02-07Tidy up bug descriptions.Ted Kremenek
2009-02-07Use BugReport::getDescription() for the compiler warning text.Ted Kremenek
2009-02-07Determining the allocation site for a leak when constructing a CFRefLeakRepor...Ted Kremenek
2009-02-07Split logic for 'getEndPath()' for CFRefReport and CFRefLeakReport.Ted Kremenek
2009-02-07Convert a use of 'std::ostringstream' to 'llvm::raw_string_ostream'.Ted Kremenek
2009-02-07Ensure that we assert if given an unhandled value.Mike Stump
2009-02-07GRExprEngine: When processing compound assignments, do a switch table lookup ...Ted Kremenek
2009-02-06SymbolicRegions really have unknown sizes.Zhongxing Xu
2009-02-06Create ElementRegion when the base is SymbolicRegion. This is like what we doZhongxing Xu
2009-02-06handle fatal errors, rely on warnings to point out missing cases.Chris Lattner
2009-02-05Add 'AppendValue' to the list of magic CF function names that cause a tracked...Ted Kremenek
2009-02-05Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so Zhongxing Xu
2009-02-05Remove a bunch of obscene double-buffering of BugReports in the retain/releaseTed Kremenek
2009-02-05Fix regression: Leak (BugType) object should have 'isLeak()' return true.Ted Kremenek
2009-02-04Overhaul BugReporter interface and implementation. The new interface cleans upTed Kremenek
2009-02-04Remove dead code.Zhongxing Xu
2009-02-04make SM::getColumnNumber take a predecomposed FileID/offset, whichChris Lattner
2009-01-30Fix horrible non-termination bug in LiveVariables. The issue was thatTed Kremenek
2009-01-30Move method out-of-line.Ted Kremenek
2009-01-30Switch Type::isAggregateType to use the C++ definition of "aggregateDouglas Gregor
2009-01-30update for change in API.Chris Lattner
2009-01-30Fix a couple bugs:Ted Kremenek
2009-01-29retain/release checker: When generating summaries for CF/CG functions, allow ...Ted Kremenek
2009-01-29move library-specific diagnostic headers into library private dirs. ReduceChris Lattner
2009-01-28Remove '#if 0' code.Ted Kremenek
2009-01-28Remove method 'AddNE' from the public interface of ConstraintManager.Ted Kremenek
2009-01-28retain/release checker: Always generate an "autorelease" summary for an "auto...Ted Kremenek
2009-01-28retain/release checker: Improve diagnostics to indicate that CF objects are n...Ted Kremenek
2009-01-28retain/release checker: Indicate whether a tracked object is a Core Foundatio...Ted Kremenek
2009-01-28retain/release checker: More diagnostic refactoring.Ted Kremenek
2009-01-28retain/release checker: Embed an "object type" into the RetEffect/RetVal obje...Ted Kremenek
2009-01-28retain/release checker: More cleanups (no real functionality change).Ted Kremenek
2009-01-28Fix diagnostic truncated by my last patch.Ted Kremenek
2009-01-28retain/release checker: More diagnostic refactoring.Ted Kremenek