summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* [analyzer] Refactor: parameter rename.Anna Zaks2013-01-161-1/+1
* [analyzer] Address Jordan's nitpicks as per code review of r170625.Anna Zaks2012-12-211-1/+1
* [analyzer] Add the pointer escaped callback.Anna Zaks2012-12-201-3/+4
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-2/+2
* Include pruning and general cleanup.Benjamin Kramer2012-12-011-0/+1
* [analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).Jordan Rose2012-11-021-22/+10
* [analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose2012-11-021-6/+6
* [analyzer] Teach the analyzer about implicit initialization of staticsAnna Zaks2012-09-171-1/+1
* [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue.Jordan Rose2012-08-281-1/+1
* Rename 'unbindLoc()' (in ProgramState) and 'Remove()' toTed Kremenek2012-08-221-1/+1
* Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek2012-08-221-16/+10
* Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek2012-08-221-7/+6
* [analyzer] When a symbol is null, we should track its constraints.Jordan Rose2012-08-031-2/+1
* [analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose2012-07-021-2/+2
* [analyzer] strncpy: Special-case a length of 0 to avoid an incorrect warning.Jordy Rose2012-05-141-0/+18
* [analyzer] CString Checker: Do not split the path unless the userAnna Zaks2012-05-031-1/+2
* [analyzer] Don't crash even when the system functions are redefined.Anna Zaks2012-04-101-0/+48
* [analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek2012-03-091-1/+2
* Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek2012-02-171-7/+8
* [analyzer] Fix another false positive in the Malloc Checker, by makingAnna Zaks2012-02-171-0/+5
* [analyzer] Generalize function name checking in CString checker.Anna Zaks2012-02-171-23/+39
* [analyzer] Make Malloc Checker optimistic in presence of inlining.Anna Zaks2012-02-141-2/+4
* [analyzer] Allow each CString check to be enabled/disabledAnna Zaks2012-02-071-9/+62
* Basic: import SmallString<> into clang namespaceDylan Noblesmith2012-02-051-4/+4
* Basic: import OwningPtr<> into clang namespaceDylan Noblesmith2012-02-051-1/+1
* Move a method from IdentifierTable.h out of line and remove the SmallString i...Benjamin Kramer2012-02-041-0/+1
* Move various diagnostic operator<< overloads out of line and remove includes ...Benjamin Kramer2012-02-041-0/+1
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-72/+72
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-36/+49
* [analyzer] CStringChecker should not rely on the analyzer generating UndefOrU...Anna Zaks2011-12-111-4/+5
* [analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use itAnna Zaks2011-12-061-2/+2
* [analyzer] Refactor checkers to use helper function for getting callee Decl a...Anna Zaks2011-12-011-13/+2
* [analyzer] Add getLocationContext to CheckerContextAnna Zaks2011-10-261-1/+1
* [analyzer] Rename generateNode -> addTransition in CheckerContextAnna Zaks2011-10-261-14/+14
* [analyzer] Simplify CheckerContextAnna Zaks2011-10-251-11/+11
* Change operator<< for raw_ostream and NamedDecl to take a reference instead o...Benjamin Kramer2011-10-141-1/+1
* [analyzer] Fix a typo.Anna Zaks2011-10-111-1/+1
* [analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers ...Anna Zaks2011-10-041-8/+8
* [analyzer] Change the check::RegionChanges callback to include the regions ex...Jordy Rose2011-08-271-7/+8
* Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) AP...Anna Zaks2011-08-191-1/+1
* Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali...Anna Zaks2011-08-171-8/+8
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-98/+126
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-2/+2
* [analyzer] Nitpicks on Olaf's patch, which I meant to e-mail but then didn't inJordy Rose2011-08-121-3/+2
* [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek2011-08-121-6/+5
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-7/+7
* [analyzer] Finish size argument checking for strncat (and strncpy).Jordy Rose2011-06-201-30/+80
* [analyzer] Replace stream-built error message with constant string. No functi...Jordy Rose2011-06-201-5/+4
* [analyzer] Re-enable checking for strncpy, along with a new validation of the...Jordy Rose2011-06-201-9/+32
* [analyzer] Eliminate "byte string function" from CStringChecker's diagnostics...Jordy Rose2011-06-201-30/+67
OpenPOWER on IntegriCloud