| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | [analyzer] Refactor: parameter rename. | Anna Zaks | 2013-01-16 | 1 | -1/+1 |
* | [analyzer] Address Jordan's nitpicks as per code review of r170625. | Anna Zaks | 2012-12-21 | 1 | -1/+1 |
* | [analyzer] Add the pointer escaped callback. | Anna Zaks | 2012-12-20 | 1 | -3/+4 |
* | Sort all of Clang's files under 'lib', and fix up the broken headers | Chandler Carruth | 2012-12-04 | 1 | -2/+2 |
* | Include pruning and general cleanup. | Benjamin Kramer | 2012-12-01 | 1 | -0/+1 |
* | [analyzer] Use nice macros for the common ProgramStateTraits (map, set, list). | Jordan Rose | 2012-11-02 | 1 | -22/+10 |
* | [analyzer] Rename 'EmitReport' to 'emitReport'. | Jordan Rose | 2012-11-02 | 1 | -6/+6 |
* | [analyzer] Teach the analyzer about implicit initialization of statics | Anna Zaks | 2012-09-17 | 1 | -1/+1 |
* | [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue. | Jordan Rose | 2012-08-28 | 1 | -1/+1 |
* | Rename 'unbindLoc()' (in ProgramState) and 'Remove()' to | Ted Kremenek | 2012-08-22 | 1 | -1/+1 |
* | Rename 'currentX' to 'currX' throughout analyzer and libAnalysis. | Ted Kremenek | 2012-08-22 | 1 | -16/+10 |
* | Rename 'getConjuredSymbol*' to 'conjureSymbol*'. | Ted Kremenek | 2012-08-22 | 1 | -7/+6 |
* | [analyzer] When a symbol is null, we should track its constraints. | Jordan Rose | 2012-08-03 | 1 | -2/+1 |
* | [analyzer] Add a new abstraction over all types of calls: CallEvent | Jordan Rose | 2012-07-02 | 1 | -2/+2 |
* | [analyzer] strncpy: Special-case a length of 0 to avoid an incorrect warning. | Jordy Rose | 2012-05-14 | 1 | -0/+18 |
* | [analyzer] CString Checker: Do not split the path unless the user | Anna Zaks | 2012-05-03 | 1 | -1/+2 |
* | [analyzer] Don't crash even when the system functions are redefined. | Anna Zaks | 2012-04-10 | 1 | -0/+48 |
* | [analyzer] Implement basic path diagnostic pruning based on "interesting" sym... | Ted Kremenek | 2012-03-09 | 1 | -1/+2 |
* | Have conjured symbols depend on LocationContext, to add context sensitivity f... | Ted Kremenek | 2012-02-17 | 1 | -7/+8 |
* | [analyzer] Fix another false positive in the Malloc Checker, by making | Anna Zaks | 2012-02-17 | 1 | -0/+5 |
* | [analyzer] Generalize function name checking in CString checker. | Anna Zaks | 2012-02-17 | 1 | -23/+39 |
* | [analyzer] Make Malloc Checker optimistic in presence of inlining. | Anna Zaks | 2012-02-14 | 1 | -2/+4 |
* | [analyzer] Allow each CString check to be enabled/disabled | Anna Zaks | 2012-02-07 | 1 | -9/+62 |
* | Basic: import SmallString<> into clang namespace | Dylan Noblesmith | 2012-02-05 | 1 | -4/+4 |
* | Basic: import OwningPtr<> into clang namespace | Dylan Noblesmith | 2012-02-05 | 1 | -1/+1 |
* | Move a method from IdentifierTable.h out of line and remove the SmallString i... | Benjamin Kramer | 2012-02-04 | 1 | -0/+1 |
* | Move various diagnostic operator<< overloads out of line and remove includes ... | Benjamin Kramer | 2012-02-04 | 1 | -0/+1 |
* | Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. | Ted Kremenek | 2012-01-26 | 1 | -72/+72 |
* | [analyzer] Make the entries in 'Environment' context-sensitive by making entr... | Ted Kremenek | 2012-01-06 | 1 | -36/+49 |
* | [analyzer] CStringChecker should not rely on the analyzer generating UndefOrU... | Anna Zaks | 2011-12-11 | 1 | -4/+5 |
* | [analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use it | Anna Zaks | 2011-12-06 | 1 | -2/+2 |
* | [analyzer] Refactor checkers to use helper function for getting callee Decl a... | Anna Zaks | 2011-12-01 | 1 | -13/+2 |
* | [analyzer] Add getLocationContext to CheckerContext | Anna Zaks | 2011-10-26 | 1 | -1/+1 |
* | [analyzer] Rename generateNode -> addTransition in CheckerContext | Anna Zaks | 2011-10-26 | 1 | -14/+14 |
* | [analyzer] Simplify CheckerContext | Anna Zaks | 2011-10-25 | 1 | -11/+11 |
* | Change operator<< for raw_ostream and NamedDecl to take a reference instead o... | Benjamin Kramer | 2011-10-14 | 1 | -1/+1 |
* | [analyzer] Fix a typo. | Anna Zaks | 2011-10-11 | 1 | -1/+1 |
* | [analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers ... | Anna Zaks | 2011-10-04 | 1 | -8/+8 |
* | [analyzer] Change the check::RegionChanges callback to include the regions ex... | Jordy Rose | 2011-08-27 | 1 | -7/+8 |
* | Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) AP... | Anna Zaks | 2011-08-19 | 1 | -1/+1 |
* | Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali... | Anna Zaks | 2011-08-17 | 1 | -8/+8 |
* | Rename GRState to ProgramState, and cleanup some code formatting along the way. | Ted Kremenek | 2011-08-15 | 1 | -98/+126 |
* | Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a... | Ted Kremenek | 2011-08-12 | 1 | -2/+2 |
* | [analyzer] Nitpicks on Olaf's patch, which I meant to e-mail but then didn't in | Jordy Rose | 2011-08-12 | 1 | -3/+2 |
* | [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa... | Ted Kremenek | 2011-08-12 | 1 | -6/+5 |
* | remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.... | Chris Lattner | 2011-07-23 | 1 | -7/+7 |
* | [analyzer] Finish size argument checking for strncat (and strncpy). | Jordy Rose | 2011-06-20 | 1 | -30/+80 |
* | [analyzer] Replace stream-built error message with constant string. No functi... | Jordy Rose | 2011-06-20 | 1 | -5/+4 |
* | [analyzer] Re-enable checking for strncpy, along with a new validation of the... | Jordy Rose | 2011-06-20 | 1 | -9/+32 |
* | [analyzer] Eliminate "byte string function" from CStringChecker's diagnostics... | Jordy Rose | 2011-06-20 | 1 | -30/+67 |