Age | Commit message (Expand) | Author |
2013-04-22 | [analyzer] Model strsep(), particularly that it returns its input. | Jordan Rose |
2013-02-21 | Replace ProgramPoint llvm::cast support to be well-defined. | David Blaikie |
2013-02-20 | Include llvm::Optional in clang/Basic/LLVM.h | David Blaikie |
2013-02-20 | Replace SVal llvm::cast support to be well-defined. | David Blaikie |
2013-02-09 | Remove 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-04 | Sort all of Clang's files under 'lib', and fix up the broken headers | Chandler Carruth |
2012-12-01 | Include 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 statics | Anna Zaks |
2012-08-28 | [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue. | Jordan Rose |
2012-08-22 | Rename 'unbindLoc()' (in ProgramState) and 'Remove()' to | Ted Kremenek |
2012-08-22 | Rename 'currentX' to 'currX' throughout analyzer and libAnalysis. | Ted Kremenek |
2012-08-22 | Rename '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: CallEvent | Jordan 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 user | Anna 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-17 | Have 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 making | Anna 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/disabled | Anna Zaks |
2012-02-05 | Basic: import SmallString<> into clang namespace | Dylan Noblesmith |
2012-02-05 | Basic: import OwningPtr<> into clang namespace | Dylan Noblesmith |
2012-02-04 | Move a method from IdentifierTable.h out of line and remove the SmallString i... | Benjamin Kramer |
2012-02-04 | Move various diagnostic operator<< overloads out of line and remove includes ... | Benjamin Kramer |
2012-01-26 | Change 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 it | Anna 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 CheckerContext | Anna Zaks |
2011-10-26 | [analyzer] Rename generateNode -> addTransition in CheckerContext | Anna Zaks |
2011-10-25 | [analyzer] Simplify CheckerContext | Anna Zaks |
2011-10-14 | Change 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-19 | Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) AP... | Anna Zaks |
2011-08-17 | Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali... | Anna Zaks |
2011-08-15 | Rename GRState to ProgramState, and cleanup some code formatting along the way. | Ted Kremenek |
2011-08-12 | Cleanup 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 in | Jordy Rose |
2011-08-12 | [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa... | Ted Kremenek |