summaryrefslogtreecommitdiffstats
path: root/lib/Analysis/GRExprEngineInternalChecks.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* Enhance path-sensitive return-of-stack-address check to print out the line nu...Ted Kremenek2008-10-311-3/+20
* This patch did the following renaming. There should be no functional changes.Zhongxing Xu2008-10-171-6/+6
* This is a big patch, but the functionality change is small and the rest of th...Ted Kremenek2008-10-041-3/+4
* Built-in checks now have a category: "Logic Errors"Ted Kremenek2008-09-211-4/+6
* Add "category" to BugTypes, allowing bugs to be grouped.Ted Kremenek2008-09-201-1/+1
* Rename ValueState -> GRState.Ted Kremenek2008-08-131-11/+11
* Enhanced path-sensitive return-of-stack-address check to print out the name o...Ted Kremenek2008-07-311-9/+21
* Add range highlighting for path-sensitive return-of-stack-address check.Ted Kremenek2008-07-301-5/+18
* Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GR...Ted Kremenek2008-07-221-0/+332
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-05 02:49:35 +0000