aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis
AgeCommit message (Expand)Author
2009-11-17Add EvalEndPath interface to Checker. Now we can check memory leaked at theZhongxing Xu
2009-11-17Silence some warnings produced by Clang, and add a missing headerDouglas Gregor
2009-11-17Add a comment.Zhongxing Xu
2009-11-16Fix condition in LocationCheck::classof(). Thanks to Marius Wachtler for poi...Ted Kremenek
2009-11-16* Do the same thing to the basicstore as in r84163.Zhongxing Xu
2009-11-15Make a couple more headers standaloneDouglas Gregor
2009-11-15Remove an obviously-broken header, which still tries to refer to ScopedDecl.Douglas Gregor
2009-11-14Change *BugReport constructors to take StringRefs.Benjamin Kramer
2009-11-14Move definition of GRExprEngine::ProcessEndPath() out-of-line.Ted Kremenek
2009-11-13Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek
2009-11-13Check in a new interface of Checker, which will soon be used.Zhongxing Xu
2009-11-13GRStateManager::CurrentStmt is not used. Remove it.Zhongxing Xu
2009-11-13Add clang-cc option "-analyzer-experimental-checks" to enable experimental pa...Ted Kremenek
2009-11-12Remove obsolete 'struct NullDerefTag'.Ted Kremenek
2009-11-12Enhance Checker class (and GRExprEngine) to support PostVisitation for CallEx...Ted Kremenek
2009-11-12Remove GRExprEngine::EvalCall(). It had a single callsite in GRExprEngine, a...Ted Kremenek
2009-11-12Make StoreManager::getSizeInElements() always return DefinedOrUnknownSVal.Zhongxing Xu
2009-11-11Remove some stale ErrorNodes variables in GRExprEngine and the old buffer ove...Ted Kremenek
2009-11-11After drinking caffeine, add the two files missing from the previous submit.Chandler Carruth
2009-11-11Add undefined array subscript checker.Zhongxing Xu
2009-11-11Fix display of "ANALYZE" statements in AnalysisConsumer by correctly resettin...Ted Kremenek
2009-11-11Remove public headers for UndefinedArgChecker, AttrNonNullChecker, and BadCal...Ted Kremenek
2009-11-11Refactor DereferenceChecker to use only the new Checker API instead ofTed Kremenek
2009-11-10Refine PointerSubChecker: compare the base region instead of the original Zhongxing Xu
2009-11-10Rename: StripCasts describes what it does better. Zhongxing Xu
2009-11-09Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer.Zhongxing Xu
2009-11-09Add checker for CWE-587: Assignment of a Fixed Address to a Pointer.Zhongxing Xu
2009-11-09Remove dead code.Zhongxing Xu
2009-11-08Add a checker for CWE-467: Use of sizeof() on a Pointer Type.Zhongxing Xu
2009-11-07Use SaveAndRestore to simplify logic in LiveVariables::runOnAllBlocks(). Pat...Ted Kremenek
2009-11-07Remove Checker::CheckType() (and instead using CheckerVisitor::PreVisitDeclSt...Ted Kremenek
2009-11-06Make the VLASizeChecker implementation private, and its creation only known t...Ted Kremenek
2009-11-06Make the implementation of DivZeroChecker private.Ted Kremenek
2009-11-06add some const qualifiers, patch by Kovarththanan Rajaratnam!Chris Lattner
2009-11-06Add a checker for CWE-466: Return of Pointer Value Outside of Expected Range.Zhongxing Xu
2009-11-06static analyzer: refactor checking logic for returning the address of a stack...Ted Kremenek
2009-11-06Minor cleanup: use BuiltinBug (which will soon be renamed) for DeferenceCheck...Ted Kremenek
2009-11-05Tweak wording and classifications of analyzer diagnostics.Ted Kremenek
2009-11-05Remove unused SetPreprocessor method.Daniel Dunbar
2009-11-05AnalysisManager: Don't rely on PathDiagnosicClients flushing their diagnostic...Ted Kremenek
2009-11-05Acting on Daniel's nagging, remove PathDiagnosticClientFactory() andTed Kremenek
2009-11-05Modify GRExprEngine::EvalBind() to take both a "store expression" andTed Kremenek
2009-11-04Catch uses of undefined values when they are used in assignment, thus catchin...Ted Kremenek
2009-11-04Add mising #ifdef guards.Ted Kremenek
2009-11-04Merge ZeroSizedVLAChecker and UndefSizedVLAChecker.Zhongxing Xu
2009-11-04Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*,...Ted Kremenek
2009-11-03Change GRTransferFuncs::RegisterChecks() to take a GRExprEngine& instead of a...Ted Kremenek
2009-11-03Merge NullDerefChecker.[h,cpp] and UndefDerefChecker.[h,cpp]. They are essen...Ted Kremenek
2009-11-03Pull VLA size checker into its own files. Zhongxing Xu
2009-11-03Implement: <rdar://problem/6250216> Warn against using -[NSAutoreleasePool re...Ted Kremenek