e10d5a7659
[analyzer] Rename 'EmitReport' to 'emitReport'.
...
No functionality change.
llvm-svn: 167275
2012-11-02 01:53:40 +00:00
547060b30b
[analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends.
...
The preObjCMessage and postObjCMessage callbacks now take an ObjCMethodCall
argument, which can represent an explicit message send (ObjCMessageSend) or an
implicit message generated by a property access (ObjCPropertyAccess).
llvm-svn: 159559
2012-07-02 19:28:04 +00:00
b45d198b6f
Require that all static analyzer issues have a category. As part of this change,
...
consolidate some commonly used category strings into global references (more of this can be done, I just did a few).
Fixes <rdar://problem/11191537>.
llvm-svn: 154121
2012-04-05 20:43:28 +00:00
00fa5968cb
Teach ObjCContainersChecker that the array passed to CFArrayGetValueAtIndex might not be a symbolic value.
...
llvm-svn: 154083
2012-04-05 05:18:05 +00:00
e27789991d
Basic: import OwningPtr<> into clang namespace
...
llvm-svn: 149798
2012-02-05 02:12:40 +00:00
88598248f9
[analyzer] Make sure Containers OutOfBounds checker does not crash on undefined arguments, when CF functions are called with wrong number of arguments.
...
llvm-svn: 149771
2012-02-04 06:40:52 +00:00
00790d9a3b
[analyzer] Minor cleanups to the ObjCSelfInitChecker.
...
(Also renames in other ObjC checkers to create one category of checks.)
llvm-svn: 149745
2012-02-04 02:31:37 +00:00
f8c36e005a
Convert checker over to using ProgramStateRef.
...
llvm-svn: 149319
2012-01-31 01:19:57 +00:00
4f870e652a
[analyzer] Add index out of bounds check for CFArrayGetArrayAtIndex.
...
llvm-svn: 149228
2012-01-30 06:42:48 +00:00
Jordan Rose