]> granicus.if.org Git - clang/commit
Add new 'Checker' and 'CheckerVisitor' classes, which represent a more powerful
authorTed Kremenek <kremenek@apple.com>
Wed, 22 Jul 2009 21:42:34 +0000 (21:42 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 22 Jul 2009 21:42:34 +0000 (21:42 +0000)
commit29e543cc4cacfec24ccb888b1d82b92a98ffe99b
tree42350479d205b1027909a850923cc305d493fa8c
parente01ac5712a94279db2404134817fe6bbf16c1f7c
Add new 'Checker' and 'CheckerVisitor' classes, which represent a more powerful
interface to plug in domain-specific checker logic than the current
GRSimpleAPICheck interface. The new 'Checker' interface can actually generate
new nodes, allowing it to modify the state and refine the analysis (which
GRSimpleAPIChecks could not).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76793 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/Checker.h [new file with mode: 0644]
include/clang/Analysis/PathSensitive/CheckerVisitor.def [new file with mode: 0644]
include/clang/Analysis/PathSensitive/CheckerVisitor.h [new file with mode: 0644]