summaryrefslogtreecommitdiffstats
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
Commit message (Expand)AuthorAgeFilesLines
* [Analyzer] Clarify error messages for undefined resultDaniel Marjamaki2017-10-111-0/+7
* [analyzer] Improve Nullability checker diagnosticsAnna Zaks2016-01-291-0/+4
* fix typos; NFCSanjay Patel2015-12-091-1/+1
* [analyzer] Add generateErrorNode() APIs to CheckerContext.Devin Coughlin2015-09-161-3/+41
* Revert "[Static Analyzer] BugReporter.cpp:2869: Assertion failed: !RemainingN...Devin Coughlin2015-09-081-4/+1
* [Static Analyzer] BugReporter.cpp:2869: Assertion failed: !RemainingNodes.emp...Gabor Horvath2015-08-271-1/+4
* Clarify pointer ownership semantics by hoisting the std::unique_ptr creation ...Aaron Ballman2015-06-231-2/+2
* Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").Alexander Kornienko2015-06-221-2/+2
* Fixed/added namespace ending comments using clang-tidy. NFCAlexander Kornienko2015-06-221-2/+2
* Header guard canonicalization, clang part.Benjamin Kramer2014-08-131-2/+2
* [analyzer] Check for code testing a variable for 0 after using it as a denomi...Jordan Rose2014-07-101-2/+7
* [C++11] Use 'nullptr'Craig Topper2014-05-061-11/+11
* Remove unused "getConfig()" method. A new way is to have high-levelTed Kremenek2013-04-161-4/+0
* Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie2013-02-211-1/+1
* [analyzer] Move DefaultBool so that all checkers can share it.Anna Zaks2013-02-081-8/+0
* [analyzer] Avoid ProgramStateRef copy constructors.Jordan Rose2012-12-061-1/+1
* [analyzer] Add some examples for the common REGISTER_*_WITH_PROGRAMSTATEs.Jordan Rose2012-11-071-4/+24
* [analyzer] Remove isWithinInlined. It's been replaced with inTopFrame().Anna Zaks2012-11-061-5/+0
* [analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.hJordan Rose2012-11-051-0/+27
* [analyzer] add LocationContext::inTopFrame() helper.Anna Zaks2012-11-031-0/+3
* [analyzer] Add some convenience accessors to CallEvent, and use them.Jordan Rose2012-11-021-3/+12
* [analyzer] isCLibraryFunction: check that the function is at TU-scope.Jordan Rose2012-11-021-5/+3
* [analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).Jordan Rose2012-11-021-16/+0
* [analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose2012-11-021-2/+2
* [analyzer] Fix a bug in REGISTER_MAP_WITH_PROGRAMSTATEAnna Zaks2012-10-301-6/+7
* [analyzer] Rename REGISTER_MAP_WITH_GDM ->REGISTER_MAP_WITH_PROGRAMSTATEAnna Zaks2012-10-301-2/+2
* [analyzer] Add checker helpers to CheckerContext.Anna Zaks2012-10-291-0/+24
* [analyzer] Fixup for r162935 as per Jordan's review.Anna Zaks2012-08-301-1/+1
* [analyzer] Do not propagate the [super init] could be nil assumptionAnna Zaks2012-08-301-0/+5
* Store const& to AnalyzerOptions in AnalysisManager instead of copyingTed Kremenek2012-08-301-2/+2
* Add new -cc1 driver option -analyzer-config, which allows one to specifyTed Kremenek2012-08-291-0/+4
* Fix a bunch of -Wdocumentation warnings.Dmitri Gribenko2012-08-231-2/+0
* Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek2012-08-221-2/+2
* [analyzer] Replace boolean IsSink parameters with 'generateSink' methods.Jordan Rose2012-08-201-19/+21
* [analyzer] Add getStackFrame() to CheckerContext and ExplodedNode.Anna Zaks2012-08-141-2/+2
* [analyzer] Add a checker to manage dynamic type propagation.Anna Zaks2012-08-061-0/+9
* Avoid applying retain/release effects twice in RetainCountChecker when a func...Ted Kremenek2012-03-231-2/+8
* [analyzer] Malloc: Utter the name of the leaked variable.Anna Zaks2012-03-211-0/+12
* Unify naming of LangOptions variable/get function across the Clang stack (Lex...David Blaikie2012-03-111-2/+2
* [analyzer] Malloc checker: rework realloc handling:Anna Zaks2012-02-131-2/+1
* [analyzer] Allow each CString check to be enabled/disabledAnna Zaks2012-02-071-0/+21
* [analyzer] Add checks for common anti-patterns in strncat.Anna Zaks2012-01-311-0/+2
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-5/+5
* [analyzer] Add a utility method that allows to find the macro name usedAnna Zaks2012-01-201-1/+16
* [analyzer] Taint: add taint propagation rules for string and memory copyAnna Zaks2012-01-181-1/+11
* [analyzer] Minor: Simplify & assert.Anna Zaks2011-12-171-1/+4
* [analyzer] Refactor checkers to use helper function for getting callee Decl a...Anna Zaks2011-12-011-0/+3
* [analysis] Constify CheckerContext.Anna Zaks2011-11-171-5/+5
* [analyzer] Put CheckerConext::getCalleeName out of line.Anna Zaks2011-11-171-13/+1
* [analyzer] Factor getCalleeName to the checker context.Anna Zaks2011-11-161-0/+15
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-25 07:57:20 +0000