aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRExprEngineInternalChecks.cpp
AgeCommit message (Expand)Author
2009-06-30Remove the ASTContext parameter from the attribute-related methods of Decl.Argyrios Kyrtzidis
2009-06-24Remove GRStateManager::GetSValAsScalarOrLoc()/GetSVal().Ted Kremenek
2009-06-23MemRegions:Ted Kremenek
2009-06-18Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek
2009-06-18libAnalysis:Ted Kremenek
2009-06-18Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>.Douglas Gregor
2009-05-15Use dyn_cast instead of cast to allow our assumptions to be safely wrong.Ted Kremenek
2009-05-15Cleanup internal checks bug reporting, allowing intermediate diagnostics to b...Ted Kremenek
2009-05-13Enhance diagnostics value tracking logic for null dereferences and uninitiali...Ted Kremenek
2009-05-10analyzer:Ted Kremenek
2009-05-07More attribute renaming:Ted Kremenek
2009-05-07Add preliminary support for enhancing null-pointer dereference diagnostics.Ted Kremenek
2009-04-29BugReporter/PathDiagnostics:Ted Kremenek
2009-04-20get a CodeTextRegion when visiting FunctionDecl reference.Zhongxing Xu
2009-04-08New static analyzer check by Nikita Zhuk!Ted Kremenek
2009-04-07Remove period.Ted Kremenek
2009-04-02Title-case the names of bug types.Ted Kremenek
2009-03-01Adjust wording of bug names.Ted Kremenek
2009-02-19Implemented simple check in <rdar://problem/6600344>: When the receiver of aTed Kremenek
2009-02-07Tidy up bug descriptions.Ted Kremenek
2009-02-04Overhaul BugReporter interface and implementation. The new interface cleans upTed Kremenek
2009-01-16more SourceLocation lexicon change: instead of referring to theChris Lattner
2008-12-09[static analyzer] Extend VLA size checking to look for undefined sizes.Ted Kremenek
2008-12-08Add checking for zero-sized VLAs.Ted Kremenek
2008-11-23Add out-of-bound memory access warning report code.Zhongxing Xu
2008-11-21- Clean up transfer function logic for 'return' statements.Ted Kremenek
2008-11-02Enhance return-of-stack-address checker to recognize regions created by alloc...Ted Kremenek
2008-10-31Use llvm::raw_string_ostream instead of std::ostringstream.Ted Kremenek
2008-10-31Enhance path-sensitive return-of-stack-address check to print out the line nu...Ted Kremenek
2008-10-17This patch did the following renaming. There should be no functional changes.Zhongxing Xu
2008-10-04This is a big patch, but the functionality change is small and the rest of th...Ted Kremenek
2008-09-21Built-in checks now have a category: "Logic Errors"Ted Kremenek
2008-09-20Add "category" to BugTypes, allowing bugs to be grouped.Ted Kremenek
2008-08-13Rename ValueState -> GRState.Ted Kremenek
2008-07-31Enhanced path-sensitive return-of-stack-address check to print out the name o...Ted Kremenek
2008-07-30Add range highlighting for path-sensitive return-of-stack-address check.Ted Kremenek
2008-07-22Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GR...Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-02 05:07:51 +0000