summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRExprEngineInternalChecks.cpp
Commit message (Expand)AuthorAgeFilesLines
* Shorten the static analyzer diagnostic for 'use of garbage value'.Ted Kremenek2009-09-241-2/+2
* Have divide-by-zero checker not handled undefined denominators. This is hand...Ted Kremenek2009-09-161-26/+18
* Fix static analyzer regression when emitting undefined value warningsTed Kremenek2009-09-151-9/+16
* Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a wayTed Kremenek2009-09-111-10/+66
* Remove tabs, and whitespace cleanups.Mike Stump2009-09-091-103/+103
* Fix regression introduced in r80786 and reported in PR 4867. We should useTed Kremenek2009-09-031-2/+7
* remove a debug output I introduced in the last commit.Zhongxing Xu2009-09-031-2/+0
* Refactor the check for bad divide into a checker.Zhongxing Xu2009-09-021-10/+68
* Refactor bad callee check into a Checker.Zhongxing Xu2009-09-021-14/+32
* Still use BadArg bugtype in the checker. This saves us implement registerInit...Zhongxing Xu2009-09-021-17/+8
* Sentence-case bug category.Ted Kremenek2009-09-011-1/+1
* Refactor undefined argument checking into a Checker.Zhongxing Xu2009-08-291-2/+45
* ConstraintManager::AssumeDual now accepts a 'DefinedSVal' instead of 'SVal' forTed Kremenek2009-08-241-2/+7
* Enhance static analyzer diagnostics by introducing a new 'EnhancedBugReporter'Ted Kremenek2009-08-181-5/+8
* Last step of template cleanup: merge *BuilderImpl to *Builder.Zhongxing Xu2009-08-061-1/+1
* As GRState seems general enough, it is time to merge some template classes Zhongxing Xu2009-08-061-24/+24
* Fix regression in attribute 'nonnull' checking when a transition nodeTed Kremenek2009-07-281-1/+1
* Mark destructor of Checker virtual.Ted Kremenek2009-07-241-0/+1
* Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.Ted Kremenek2009-07-221-8/+8
* Migrate the path-sensitive checking of 'nonnull' arguments over to the newTed Kremenek2009-07-221-31/+63
* Move bug reporter "visitors" to their own file and make them part of the publicTed Kremenek2009-07-221-326/+1
* Remove ASTContext::isObjCObjectPointerType().Steve Naroff2009-07-161-2/+2
* Remove the ASTContext parameter from the attribute-related methods of Decl.Argyrios Kyrtzidis2009-06-301-1/+1
* Remove GRStateManager::GetSValAsScalarOrLoc()/GetSVal().Ted Kremenek2009-06-241-2/+1
* MemRegions:Ted Kremenek2009-06-231-2/+2
* Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek2009-06-181-9/+6
* libAnalysis:Ted Kremenek2009-06-181-11/+2
* Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>.Douglas Gregor2009-06-181-1/+1
* Use dyn_cast instead of cast to allow our assumptions to be safely wrong.Ted Kremenek2009-05-151-4/+12
* Cleanup internal checks bug reporting, allowing intermediate diagnostics to b...Ted Kremenek2009-05-151-71/+134
* Enhance diagnostics value tracking logic for null dereferences and uninitiali...Ted Kremenek2009-05-131-72/+225
* analyzer:Ted Kremenek2009-05-101-2/+2
* More attribute renaming:Ted Kremenek2009-05-071-3/+67
* Add preliminary support for enhancing null-pointer dereference diagnostics.Ted Kremenek2009-05-071-5/+160
* BugReporter/PathDiagnostics:Ted Kremenek2009-04-291-3/+14
* get a CodeTextRegion when visiting FunctionDecl reference.Zhongxing Xu2009-04-201-4/+4
* New static analyzer check by Nikita Zhuk!Ted Kremenek2009-04-081-0/+32
* Remove period.Ted Kremenek2009-04-071-1/+1
* Title-case the names of bug types.Ted Kremenek2009-04-021-18/+22
* Adjust wording of bug names.Ted Kremenek2009-03-011-8/+8
* Implemented simple check in <rdar://problem/6600344>: When the receiver of aTed Kremenek2009-02-191-1/+31
* Tidy up bug descriptions.Ted Kremenek2009-02-071-1/+1
* Overhaul BugReporter interface and implementation. The new interface cleans upTed Kremenek2009-02-041-132/+117
* more SourceLocation lexicon change: instead of referring to theChris Lattner2009-01-161-2/+3
* [static analyzer] Extend VLA size checking to look for undefined sizes.Ted Kremenek2008-12-091-10/+30
* Add checking for zero-sized VLAs.Ted Kremenek2008-12-081-1/+29
* Add out-of-bound memory access warning report code.Zhongxing Xu2008-11-231-0/+11
* - Clean up transfer function logic for 'return' statements.Ted Kremenek2008-11-211-2/+12
* Enhance return-of-stack-address checker to recognize regions created by alloc...Ted Kremenek2008-11-021-0/+9
* Use llvm::raw_string_ostream instead of std::ostringstream.Ted Kremenek2008-10-311-4/+4
OpenPOWER on IntegriCloud