]> granicus.if.org Git - clang/commit
[analyzer] Malloc: A pointer might escape through CFContainers APIs,
authorAnna Zaks <ganna@apple.com>
Wed, 29 Feb 2012 18:42:47 +0000 (18:42 +0000)
committerAnna Zaks <ganna@apple.com>
Wed, 29 Feb 2012 18:42:47 +0000 (18:42 +0000)
commitca23eb212c78ac5bc62d0881635579dbe7095639
tree27c4ca2beac95a0981bd494dc5371e6fbe21e1ab
parent956ecbd2c8d3558230300754d5abf72e9eb9afc1
[analyzer] Malloc: A pointer might escape through CFContainers APIs,
funopen, setvbuf.

Teach the checker and the engine about these APIs to resolve malloc
false positives. As I am adding more of these APIs, it is clear that all
this should be factored out into a separate callback (for example,
region escapes). Malloc, KeyChainAPI and RetainRelease checkers could
all use it.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@151737 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/ObjCMessage.h
lib/StaticAnalyzer/Checkers/MallocChecker.cpp
lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
test/Analysis/malloc.c
test/Analysis/malloc.mm
test/Analysis/system-header-simulator-objc.h
test/Analysis/system-header-simulator.h