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