aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
AgeCommit message (Expand)Author
2013-04-22[analyzer] Model strsep(), particularly that it returns its input.Jordan Rose
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-02-09Remove some stray uses of <ctype.h> functions.Jordan Rose
2013-01-16[analyzer] Refactor: parameter rename.Anna Zaks
2012-12-21[analyzer] Address Jordan's nitpicks as per code review of r170625.Anna Zaks
2012-12-20[analyzer] Add the pointer escaped callback.Anna Zaks
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-12-01Include pruning and general cleanup.Benjamin Kramer
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-09-17[analyzer] Teach the analyzer about implicit initialization of staticsAnna Zaks
2012-08-28[analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue.Jordan Rose
2012-08-22Rename 'unbindLoc()' (in ProgramState) and 'Remove()' toTed Kremenek
2012-08-22Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek
2012-08-22Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek
2012-08-03[analyzer] When a symbol is null, we should track its constraints.Jordan Rose
2012-07-02[analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose
2012-05-14[analyzer] strncpy: Special-case a length of 0 to avoid an incorrect warning.Jordy Rose
2012-05-03[analyzer] CString Checker: Do not split the path unless the userAnna Zaks
2012-04-10[analyzer] Don't crash even when the system functions are redefined.Anna Zaks
2012-03-09[analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek
2012-02-17Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek
2012-02-17[analyzer] Fix another false positive in the Malloc Checker, by makingAnna Zaks
2012-02-17[analyzer] Generalize function name checking in CString checker.Anna Zaks
2012-02-14[analyzer] Make Malloc Checker optimistic in presence of inlining.Anna Zaks
2012-02-07[analyzer] Allow each CString check to be enabled/disabledAnna Zaks
2012-02-05Basic: import SmallString<> into clang namespaceDylan Noblesmith
2012-02-05Basic: import OwningPtr<> into clang namespaceDylan Noblesmith
2012-02-04Move a method from IdentifierTable.h out of line and remove the SmallString i...Benjamin Kramer
2012-02-04Move various diagnostic operator<< overloads out of line and remove includes ...Benjamin Kramer
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2011-12-11[analyzer] CStringChecker should not rely on the analyzer generating UndefOrU...Anna Zaks
2011-12-06[analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use itAnna Zaks
2011-12-01[analyzer] Refactor checkers to use helper function for getting callee Decl a...Anna Zaks
2011-10-26[analyzer] Add getLocationContext to CheckerContextAnna Zaks
2011-10-26[analyzer] Rename generateNode -> addTransition in CheckerContextAnna Zaks
2011-10-25[analyzer] Simplify CheckerContextAnna Zaks
2011-10-14Change operator<< for raw_ostream and NamedDecl to take a reference instead o...Benjamin Kramer
2011-10-11[analyzer] Fix a typo.Anna Zaks
2011-10-04[analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers ...Anna Zaks
2011-08-27[analyzer] Change the check::RegionChanges callback to include the regions ex...Jordy Rose
2011-08-19Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) AP...Anna Zaks
2011-08-17Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali...Anna Zaks
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-08-12[analyzer] Nitpicks on Olaf's patch, which I meant to e-mail but then didn't inJordy Rose
2011-08-12[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek