aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/CheckerContext.cpp
AgeCommit message (Expand)Author
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-03-11Unify naming of LangOptions variable/get function across the Clang stack (Lex...David Blaikie
2012-02-17[analyzer] Generalize function name checking in CString checker.Anna Zaks
2012-02-01[analyzer] Fix a crash in CheckerContext::isCLibraryFunction for C++Anna 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-20More dead code removal (using -Wunreachable-code)David Blaikie
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
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
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-02Remove virtually empty file.Benjamin Kramer
2011-11-01[analyzer] Remove the CheckerContext's destructor.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
2011-10-18[analyzer] Remove StmtNodeBuilder from CheckerContextAnna Zaks
2011-10-18[analyzer] Node Builder refactoring: Introduce a simple Node Builder responsi...Anna Zaks
2011-08-12[analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.Ted Kremenek
2011-08-11Cleanup: remove CleanedSate member and GetState() wrapper from StmtNodeBuilde...Anna Zaks
2011-03-01[analyzer] Remove Checker V1.Argyrios Kyrtzidis