]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 50e58c1) | patch
Added "GRAuditor" and "GRSimpleAPICheck" interface to allow simple stateless checkers...
authorTed Kremenek <kremenek@apple.com>
Thu, 27 Mar 2008 07:25:52 +0000 (07:25 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 27 Mar 2008 07:25:52 +0000 (07:25 +0000)
commit99c6ad3f22b865d0f4cce52bc36904403c9ed4c4
treec1fa1de5a57bf7e2e3541aa5d6cd94d52929a7f1tree | snapshot
parent50e58c16231799250f4695ca469d663116fc40e8commit | diff
Added "GRAuditor" and "GRSimpleAPICheck" interface to allow simple stateless checkers to be injected into the analyzer.
Added "AnnotatedPath" class to record an annotated path that will be useful for inspecting paths.
Added some boilerplate code for simple checks of Apple's Foundation API.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48867 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/AnnotatedPath.h [new file with mode: 0644] blob
include/clang/Analysis/PathSensitive/GRAuditor.h [new file with mode: 0644] blob
include/clang/Analysis/PathSensitive/GRCoreEngine.h diff | blob | history
include/clang/Analysis/PathSensitive/GRExprEngine.h diff | blob | history
include/clang/Analysis/PathSensitive/GRSimpleAPICheck.h [new file with mode: 0644] blob
lib/Analysis/BasicObjCFoundationChecks.cpp [new file with mode: 0644] blob
lib/Analysis/GRExprEngine.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.