| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | [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 |
| * | [analyzer] Clean up modeling of strcmp, including cases where a string litera... | Jordy Rose | 2011-06-16 | 1 | -41/+85 |
| * | [analyzer] Fix trivial errors in previous commit. | Jordy Rose | 2011-06-16 | 1 | -2/+3 |
| * | [analyzer] Cleanup: mainly 80-char violations and preferring SValBuilder::get... | Jordy Rose | 2011-06-16 | 1 | -9/+12 |
| * | [analyzer] Revise CStringChecker's modelling of strcpy() and strcat(): | Jordy Rose | 2011-06-15 | 1 | -51/+239 |
| * | [analyzer] If a C string length is UnknownVal, clear any existing length bind... | Jordy Rose | 2011-06-15 | 1 | -3/+7 |
| * | [analyzer] Change large if body to early return. No functionality change. | Jordy Rose | 2011-06-14 | 1 | -77/+78 |
| * | [analyzer] Fix modeling of strnlen to be more conservative. Move tests we can... | Jordy Rose | 2011-06-14 | 1 | -23/+89 |
| * | [analyzer] Change an indent-if to an early return. No functionality change. | Jordy Rose | 2011-06-04 | 1 | -39/+39 |
| * | [analyzer] Don't crash when copying an unknown number of bytes with memcpy().... | Jordy Rose | 2011-06-04 | 1 | -11/+25 |
| * | [analyzer] Remove extra assignment that actually lost a few of the assumptions. | Jordy Rose | 2011-06-04 | 1 | -1/+0 |
| * | [analyzer] Fix comment for (still-disabled) evalStrncpy | Jordy Rose | 2011-06-04 | 1 | -1/+1 |
| * | [analyzer] Fix handling of "copy zero bytes" for memcpy and friends. | Jordy Rose | 2011-06-04 | 1 | -5/+2 |
| * | [analyzer] __mempcpy_chk is the same as mempcpy (at least to CStringChecker) | Jordy Rose | 2011-06-03 | 1 | -1/+1 |
| * | Removing strncpy() checking in CString checker for now. Some significant chan... | Lenny Maiorani | 2011-05-03 | 1 | -1/+1 |
| * | Augment retain/release checker to not warn about tracked objects passed as ar... | Ted Kremenek | 2011-05-02 | 1 | -0/+2 |
| * | Implements strncasecmp() checker and simplifies some of the logic around crea... | Lenny Maiorani | 2011-05-02 | 1 | -22/+16 |
| * | Use StringRef::substr() and unbounded StringRef::compare() instead of bounded... | Lenny Maiorani | 2011-04-28 | 1 | -1/+8 |
| * | Eliminates an assert in the strncpy/strncat checker caused by not validating ... | Lenny Maiorani | 2011-04-28 | 1 | -0/+7 |
| * | Implements strcasecmp() checker in Static Analyzer. | Lenny Maiorani | 2011-04-28 | 1 | -6/+27 |
| * | Implements the strncmp() checker just like the strcmp() checker, but with bou... | Lenny Maiorani | 2011-04-25 | 1 | -2/+32 |
| * | fix a bunch of comment typos found by codespell. Patch by | Chris Lattner | 2011-04-15 | 1 | -1/+1 |
| * | This patch adds modeling of strcmp() to the CString checker. Validates inputs... | Lenny Maiorani | 2011-04-12 | 1 | -0/+83 |
| * | strcat() and strncat() model additions to CStringChecker. | Lenny Maiorani | 2011-04-09 | 1 | -9/+64 |
| * | Adding Static Analyzer checker for mempcpy(). | Lenny Maiorani | 2011-03-31 | 1 | -9/+73 |
| * | [analyzer] Rename CheckerV2 -> Checker. | Argyrios Kyrtzidis | 2011-03-01 | 1 | -2/+2 |
| * | [analyzer] Migrate CStringChecker to CheckerV2. | Argyrios Kyrtzidis | 2011-02-24 | 1 | -94/+102 |
| * | Add CStringChecker support for strncpy. Patch by Lenny Maiorani! | Ted Kremenek | 2011-02-22 | 1 | -4/+37 |
| * | Add CStringChecker support for strnlen. Patch by Lenny Maiorani! | Ted Kremenek | 2011-02-22 | 1 | -0/+40 |
| * | [analyzer] Pass CheckerManager to the registration functions. | Argyrios Kyrtzidis | 2011-02-17 | 1 | -1/+6 |
