| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2011-07-23 | remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.... | Chris Lattner |
| 2011-06-20 | [analyzer] Finish size argument checking for strncat (and strncpy). | Jordy Rose |
| 2011-06-20 | [analyzer] Replace stream-built error message with constant string. No functi... | Jordy Rose |
| 2011-06-20 | [analyzer] Re-enable checking for strncpy, along with a new validation of the... | Jordy Rose |
| 2011-06-20 | [analyzer] Eliminate "byte string function" from CStringChecker's diagnostics... | Jordy Rose |
| 2011-06-16 | [analyzer] Clean up modeling of strcmp, including cases where a string litera... | Jordy Rose |
| 2011-06-16 | [analyzer] Fix trivial errors in previous commit. | Jordy Rose |
| 2011-06-16 | [analyzer] Cleanup: mainly 80-char violations and preferring SValBuilder::get... | Jordy Rose |
| 2011-06-15 | [analyzer] Revise CStringChecker's modelling of strcpy() and strcat(): | Jordy Rose |
| 2011-06-15 | [analyzer] If a C string length is UnknownVal, clear any existing length bind... | Jordy Rose |
| 2011-06-14 | [analyzer] Change large if body to early return. No functionality change. | Jordy Rose |
| 2011-06-14 | [analyzer] Fix modeling of strnlen to be more conservative. Move tests we can... | Jordy Rose |
| 2011-06-04 | [analyzer] Change an indent-if to an early return. No functionality change. | Jordy Rose |
| 2011-06-04 | [analyzer] Don't crash when copying an unknown number of bytes with memcpy().... | Jordy Rose |
| 2011-06-04 | [analyzer] Remove extra assignment that actually lost a few of the assumptions. | Jordy Rose |
| 2011-06-04 | [analyzer] Fix comment for (still-disabled) evalStrncpy | Jordy Rose |
| 2011-06-04 | [analyzer] Fix handling of "copy zero bytes" for memcpy and friends. | Jordy Rose |
| 2011-06-03 | [analyzer] __mempcpy_chk is the same as mempcpy (at least to CStringChecker) | Jordy Rose |
| 2011-05-03 | Removing strncpy() checking in CString checker for now. Some significant chan... | Lenny Maiorani |
| 2011-05-02 | Augment retain/release checker to not warn about tracked objects passed as ar... | Ted Kremenek |
