| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Remove ProgramState::getSymVal(). It was being misused by Checkers, | Ted Kremenek | 2012-09-07 | 1 | -8/+5 |
| * | [analyzer] Fix realloc related bug in the malloc checker. | Anna Zaks | 2012-08-24 | 1 | -12/+38 |
| * | Rename 'currentX' to 'currX' throughout analyzer and libAnalysis. | Ted Kremenek | 2012-08-22 | 1 | -1/+1 |
| * | [analyzer] Cleanup of malloc checker. | Anna Zaks | 2012-08-09 | 1 | -22/+1 |
| * | [analyzer] Clean up the printing of FieldRegions for leaks. | Jordan Rose | 2012-08-08 | 1 | -3/+2 |
| * | [analyzer] Track malloc'd regions stored in structs. | Jordan Rose | 2012-08-08 | 1 | -16/+14 |
| * | [analyzer] Malloc: remove assert since is not valid as of r161248 | Anna Zaks | 2012-08-04 | 1 | -5/+0 |
| * | [analyzer] Malloc: track non-allocated but freed memory | Anna Zaks | 2012-08-03 | 1 | -12/+4 |
| * | [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change. | Jordan Rose | 2012-07-26 | 1 | -1/+1 |
| * | [analyzer] Guard against C++ member functions that look like system functions. | Jordan Rose | 2012-07-10 | 1 | -38/+39 |
| * | [analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPoints | Jordan Rose | 2012-07-10 | 1 | -6/+10 |
| * | [analyzer] Add new PreImplicitCall and PostImplicitCall ProgramPoints. | Jordan Rose | 2012-07-10 | 1 | -0/+3 |
| * | [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends. | Jordan Rose | 2012-07-02 | 1 | -12/+4 |
| * | [analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends. | Jordan Rose | 2012-07-02 | 1 | -6/+8 |
| * | [analyzer] Move the last bits of CallOrObjCMessage over to CallEvent. | Jordan Rose | 2012-07-02 | 1 | -27/+14 |
| * | [analyzer] Add a new abstraction over all types of calls: CallEvent | Jordan Rose | 2012-07-02 | 1 | -129/+119 |
| * | [analyzer] Be careful about implicitly-declared operator new/delete. (PR13090) | Jordan Rose | 2012-06-25 | 1 | -2/+1 |
| * | [analyzer] Teach malloc checker that initWith[Bytes|Characters}NoCopy | Anna Zaks | 2012-06-22 | 1 | -1/+3 |
| * | [analyzer] Fixup to r158958. | Anna Zaks | 2012-06-22 | 1 | -2/+2 |
| * | [analyzer] Malloc: Warn about use-after-free when memory ownership was | Anna Zaks | 2012-06-22 | 1 | -11/+73 |
| * | [analyzer] Malloc leak false positive: Allow xpc context to escape. | Anna Zaks | 2012-06-20 | 1 | -0/+6 |
| * | [analyzer] Malloc: cleanup, disallow free on relinquished memory. | Anna Zaks | 2012-06-20 | 1 | -10/+17 |
| * | [analyzer] Allow pointers to escape into NSPointerArray. | Anna Zaks | 2012-06-19 | 1 | -0/+10 |
| * | [analyzer] Buffers passed to CGBitmapContextCreate can escape. | Jordan Rose | 2012-06-16 | 1 | -5/+7 |
| * | [analyzer] Anti-aliasing: different heap allocations do not alias | Anna Zaks | 2012-06-07 | 1 | -5/+13 |
| * | Fix typos found by http://github.com/lyda/misspell-check | Benjamin Kramer | 2012-06-02 | 1 | -2/+2 |
| * | [analyzer] Malloc checker: remove unnecessary comparisons. | Anna Zaks | 2012-05-18 | 1 | -16/+10 |
| * | [analyzer]Malloc: refactor and report use after free by memory | Anna Zaks | 2012-05-18 | 1 | -10/+57 |
| * | [analyzer] Do not highlight the range of the statement in case of leak. | Anna Zaks | 2012-05-10 | 1 | -8/+24 |
| * | [analyzer] Allow pointers escape through calls containing callback args. | Anna Zaks | 2012-05-03 | 1 | -0/+10 |
| * | [analyzer] Fix the 'ptr = ptr' false negative in the Malloc checker. | Anna Zaks | 2012-05-02 | 1 | -1/+16 |
| * | [analyzer] Don't crash even when the system functions are redefined. | Anna Zaks | 2012-04-10 | 1 | -0/+11 |
| * | [analyzer]Malloc,RetainRelease: Allow pointer to escape via NSMapInsert. | Anna Zaks | 2012-03-30 | 1 | -0/+5 |
| * | [analyzer] Malloc: Allow a pointer to escape through OSAtomicEnqueue. | Anna Zaks | 2012-03-26 | 1 | -1/+2 |
| * | [analyzer] Tighten up the realloc() failure path note generation...make sure ... | Jordy Rose | 2012-03-24 | 1 | -22/+31 |
| * | [analyzer] Restart path diagnostic generation if any of the visitors change t... | Jordy Rose | 2012-03-24 | 1 | -4/+0 |
| * | [analyzer] Add a clone() method to BugReporterVisitor, so that we'll be able ... | Jordy Rose | 2012-03-24 | 1 | -1/+1 |
| * | [analyzer] Malloc: drop symbols captured by blocks. | Anna Zaks | 2012-03-22 | 1 | -0/+42 |
| * | Remove unused variable, fix indentation. | Benjamin Kramer | 2012-03-21 | 1 | -7/+5 |
| * | [analyzer] Malloc: Utter the name of the leaked variable. | Anna Zaks | 2012-03-21 | 1 | -10/+39 |
| * | [analyzer] Mark a failed-realloc's result as an interesting symbol between th... | Jordy Rose | 2012-03-18 | 1 | -3/+27 |
| * | [analyzer] Shorten the stack hint diagnostic. | Anna Zaks | 2012-03-16 | 1 | -6/+9 |
| * | [analyzer] Create symbol-aware stack hints (building upon r152837). | Anna Zaks | 2012-03-16 | 1 | -7/+31 |
| * | [analyzer] Allow checkers to supply call stack diagnostic hints for the | Anna Zaks | 2012-03-15 | 1 | -4/+11 |
| * | [analyzer] Implement basic path diagnostic pruning based on "interesting" sym... | Ted Kremenek | 2012-03-09 | 1 | -0/+4 |
| * | [analyzer] Remove now-unused constant. No functionality change. | Jordy Rose | 2012-03-06 | 1 | -2/+0 |
| * | [analyzer] Fix unnecessary dyn_cast_or_null. No functionality change. | Jordy Rose | 2012-03-06 | 1 | -2/+2 |
| * | [analyzer] Malloc should assume that ownership is transfered when | Anna Zaks | 2012-03-05 | 1 | -1/+10 |
| * | [analyzer] Fix a regression introduced in malloc with | Anna Zaks | 2012-03-01 | 1 | -3/+7 |
| * | [analyzer] Malloc: A pointer might escape through CFContainers APIs, | Anna Zaks | 2012-02-29 | 1 | -3/+38 |
