summaryrefslogtreecommitdiffstats
path: root/lib/StaticAnalyzer/Core/CheckerContext.cpp
Commit message (Expand)AuthorAgeFilesLines
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the he...George Karpenkov2018-01-171-2/+1
* [Analyzer] Clarify error messages for undefined resultDaniel Marjamaki2017-10-111-0/+32
* [analyzer] Improve Nullability checker diagnosticsAnna Zaks2016-01-291-0/+7
* Small refactoring in CheckerContext::isCLibraryFunction(). NFC.Devin Coughlin2015-12-281-6/+2
* Rename the non-coding style conformant functions in namespace BuiltinsEric Christopher2015-08-061-1/+1
* Cleanup handling of UniqueExternalLinkage.Rafael Espindola2013-05-131-1/+1
* [analyzer] Add some convenience accessors to CallEvent, and use them.Jordan Rose2012-11-021-1/+8
* [analyzer] isCLibraryFunction: check that the function is at TU-scope.Jordan Rose2012-11-021-6/+14
* Unify naming of LangOptions variable/get function across the Clang stack (Lex...David Blaikie2012-03-111-2/+2
* [analyzer] Generalize function name checking in CString checker.Anna Zaks2012-02-171-3/+7
* [analyzer] Fix a crash in CheckerContext::isCLibraryFunction for C++Anna Zaks2012-02-011-1/+7
* [analyzer] Add checks for common anti-patterns in strncat.Anna Zaks2012-01-311-4/+12
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-1/+1
* More dead code removal (using -Wunreachable-code)David Blaikie2012-01-201-6/+3
* [analyzer] Add a utility method that allows to find the macro name usedAnna Zaks2012-01-201-0/+13
* [analyzer] Taint: add taint propagation rules for string and memory copyAnna Zaks2012-01-181-4/+25
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-1/+1
* [analyzer] Refactor checkers to use helper function for getting callee Decl a...Anna Zaks2011-12-011-2/+5
* [analysis] Constify CheckerContext.Anna Zaks2011-11-171-1/+1
* [analyzer] Put CheckerConext::getCalleeName out of line.Anna Zaks2011-11-171-0/+31
* Remove virtually empty file.Benjamin Kramer2011-11-021-17/+0
* [analyzer] Remove the CheckerContext's destructor.Anna Zaks2011-11-011-2/+0
* [analyzer] Use a temporary builder in CheckerContext.Anna Zaks2011-10-241-7/+1
* [analyzer] Pass external Dst set to NodeBuilderAnna Zaks2011-10-241-2/+2
* [analyzer] Remove StmtNodeBuilder from CheckerContextAnna Zaks2011-10-181-4/+0
* [analyzer] Node Builder refactoring: Introduce a simple Node Builder responsi...Anna Zaks2011-10-181-12/+8
* [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.Ted Kremenek2011-08-121-1/+1
* Cleanup: remove CleanedSate member and GetState() wrapper from StmtNodeBuilde...Anna Zaks2011-08-111-1/+1
* [analyzer] Remove Checker V1.Argyrios Kyrtzidis2011-03-011-0/+33