diff options
| author | Ted Kremenek <kremenek@apple.com> | 2011-04-03 04:34:49 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2011-04-03 04:34:49 +0000 |
| commit | 8083414ee7cc8f5c807ed6a4e120fb4e0ab50ff8 (patch) | |
| tree | 2be30b600c5d1c0b1d5fbff3f94f8cbddbc80c02 /lib/StaticAnalyzer/Checkers/CheckSecuritySyntaxOnly.cpp | |
| parent | 45fa623886dfb6a23b3cfd6d8764e05884382180 (diff) | |
static analyzer: Add a new ProgramPoint PostCondition to represent the post position of a branch condition, and a new generateNode method to BranchNodeBuilder using PostCondition ProgramPoint. This method generates a new ExplodedNode but not a new block edge.
Patch by Lei Zhang!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@128784 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/CheckSecuritySyntaxOnly.cpp')
0 files changed, 0 insertions, 0 deletions