| commit | a853de61edd5b2cef7c069b6a78322ef60b9fcaf | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Thu Feb 14 22:54:53 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Thu Feb 14 22:54:53 2008 +0000 |
| tree | a8e1b13fed26cc3cf5d4bc8c87ae0356110e19b6 | |
| parent | 493c00dae22cd34c6a5c096e1c19d427e25f4e7b [diff] |
When visualizing ExplodedNodes created by GRExprEngine, color nodes with null-dereferences or bad control-flow red. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47140 91177308-0d34-0410-b5e6-96231b3b80d8