aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
AgeCommit message (Expand)Author
2013-04-16Remove unused "getConfig()" method. A new way is to have high-levelTed Kremenek
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie
2013-02-08[analyzer] Move DefaultBool so that all checkers can share it.Anna Zaks
2012-12-06[analyzer] Avoid ProgramStateRef copy constructors.Jordan Rose
2012-11-07[analyzer] Add some examples for the common REGISTER_*_WITH_PROGRAMSTATEs.Jordan Rose
2012-11-06[analyzer] Remove isWithinInlined. It's been replaced with inTopFrame().Anna Zaks
2012-11-05[analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.hJordan Rose
2012-11-03[analyzer] add LocationContext::inTopFrame() helper.Anna Zaks
2012-11-02[analyzer] Add some convenience accessors to CallEvent, and use them.Jordan Rose
2012-11-02[analyzer] isCLibraryFunction: check that the function is at TU-scope.Jordan Rose
2012-11-02[analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).Jordan Rose
2012-11-02[analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose
2012-10-30[analyzer] Fix a bug in REGISTER_MAP_WITH_PROGRAMSTATEAnna Zaks
2012-10-30[analyzer] Rename REGISTER_MAP_WITH_GDM ->REGISTER_MAP_WITH_PROGRAMSTATEAnna Zaks
2012-10-29[analyzer] Add checker helpers to CheckerContext.Anna Zaks
2012-08-30[analyzer] Fixup for r162935 as per Jordan's review.Anna Zaks
2012-08-30[analyzer] Do not propagate the [super init] could be nil assumptionAnna Zaks
2012-08-30Store const& to AnalyzerOptions in AnalysisManager instead of copyingTed Kremenek
2012-08-29Add new -cc1 driver option -analyzer-config, which allows one to specifyTed Kremenek
2012-08-23Fix a bunch of -Wdocumentation warnings.Dmitri Gribenko
2012-08-22Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek
2012-08-20[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.Jordan Rose
2012-08-14[analyzer] Add getStackFrame() to CheckerContext and ExplodedNode.Anna Zaks
2012-08-06[analyzer] Add a checker to manage dynamic type propagation.Anna Zaks
2012-03-23Avoid applying retain/release effects twice in RetainCountChecker when a func...Ted Kremenek
2012-03-21[analyzer] Malloc: Utter the name of the leaked variable.Anna Zaks
2012-03-11Unify naming of LangOptions variable/get function across the Clang stack (Lex...David Blaikie
2012-02-13[analyzer] Malloc checker: rework realloc handling:Anna Zaks
2012-02-07[analyzer] Allow each CString check to be enabled/disabledAnna Zaks
2012-01-31[analyzer] Add checks for common anti-patterns in strncat.Anna Zaks
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-20[analyzer] Add a utility method that allows to find the macro name usedAnna Zaks
2012-01-18[analyzer] Taint: add taint propagation rules for string and memory copyAnna Zaks
2011-12-17[analyzer] Minor: Simplify & assert.Anna Zaks
2011-12-01[analyzer] Refactor checkers to use helper function for getting callee Decl a...Anna Zaks
2011-11-17[analysis] Constify CheckerContext.Anna Zaks
2011-11-17[analyzer] Put CheckerConext::getCalleeName out of line.Anna Zaks
2011-11-16[analyzer] Factor getCalleeName to the checker context.Anna Zaks
2011-11-01[analyzer] CheckerContext::getPredecessor() cleanupAnna Zaks
2011-11-01[analyzer] Remove the CheckerContext's destructor.Anna Zaks
2011-10-27[analyzer] Optimize by not generating empty transitions in CheckerContextAnna Zaks
2011-10-26[analyzer] Add getLocationContext to CheckerContextAnna Zaks
2011-10-26[analyzer] Remove EmitBasicReport form CheckerContext.Anna Zaks
2011-10-26[analyzer] Rename generateNode -> addTransition in CheckerContextAnna Zaks
2011-10-25[analyzer] Remove getEngine() form CheckerContextAnna Zaks
2011-10-25[analyzer] Simplify CheckerContextAnna Zaks
2011-10-25[analyzer] Remove unused headers.Anna Zaks
2011-10-24[analyzer] Convert ExprEngine::visit() to use short lived builders.Anna Zaks
2011-10-24[analyzer] Use a temporary builder in CheckerContext.Anna Zaks
2011-10-24[analyzer] Pass external Dst set to NodeBuilderAnna Zaks
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-01 10:55:34 +0000