| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 986 |  .. |
| -rw-r--r-- | 417028 |  ChangeLog |
| -rw-r--r-- | 4190 | analysis-plan.cc |
| -rw-r--r-- | 1871 | analysis-plan.h |
| -rw-r--r-- | 4094 | analyzer-language.cc |
| -rw-r--r-- | 1510 | analyzer-language.h |
| -rw-r--r-- | 5276 | analyzer-logging.cc |
| -rw-r--r-- | 6625 | analyzer-logging.h |
| -rw-r--r-- | 2838 | analyzer-pass.cc |
| -rw-r--r-- | 1822 | analyzer-selftests.cc |
| -rw-r--r-- | 1636 | analyzer-selftests.h |
| -rw-r--r-- | 12733 | analyzer.cc |
| -rw-r--r-- | 13572 | analyzer.h |
| -rw-r--r-- | 14242 | analyzer.opt |
| -rw-r--r-- | 2891 | bar-chart.cc |
| -rw-r--r-- | 1601 | bar-chart.h |
| -rw-r--r-- | 27343 | bounds-checking.cc |
| -rw-r--r-- | 5734 | call-details.cc |
| -rw-r--r-- | 2358 | call-details.h |
| -rw-r--r-- | 4470 | call-info.cc |
| -rw-r--r-- | 3024 | call-info.h |
| -rw-r--r-- | 8915 | call-string.cc |
| -rw-r--r-- | 4938 | call-string.h |
| -rw-r--r-- | 27142 | call-summary.cc |
| -rw-r--r-- | 3930 | call-summary.h |
| -rw-r--r-- | 32800 | checker-event.cc |
| -rw-r--r-- | 18834 | checker-event.h |
| -rw-r--r-- | 10501 | checker-path.cc |
| -rw-r--r-- | 3751 | checker-path.h |
| -rw-r--r-- | 3043 | complexity.cc |
| -rw-r--r-- | 1719 | complexity.h |
| -rw-r--r-- | 131519 | constraint-manager.cc |
| -rw-r--r-- | 13692 | constraint-manager.h |
| -rw-r--r-- | 85361 | diagnostic-manager.cc |
| -rw-r--r-- | 5894 | diagnostic-manager.h |
| -rw-r--r-- | 182736 | engine.cc |
| -rw-r--r-- | 927 | engine.h |
| -rw-r--r-- | 28528 | exploded-graph.h |
| -rw-r--r-- | 9293 | feasible-graph.cc |
| -rw-r--r-- | 5961 | feasible-graph.h |
| -rw-r--r-- | 4585 | function-set.cc |
| -rw-r--r-- | 1367 | function-set.h |
| -rw-r--r-- | 19951 | infinite-recursion.cc |
| -rw-r--r-- | 2910 | inlining-iterator.h |
| -rw-r--r-- | 11337 | kf-analyzer.cc |
| -rw-r--r-- | 3354 | kf-lang-cp.cc |
| -rw-r--r-- | 32649 | kf.cc |
| -rw-r--r-- | 4514 | known-function-manager.cc |
| -rw-r--r-- | 2548 | known-function-manager.h |
| -rw-r--r-- | 7074 | pending-diagnostic.cc |
| -rw-r--r-- | 13996 | pending-diagnostic.h |
| -rw-r--r-- | 21718 | program-point.cc |
| -rw-r--r-- | 8376 | program-point.h |
| -rw-r--r-- | 55363 | program-state.cc |
| -rw-r--r-- | 9554 | program-state.h |
| -rw-r--r-- | 2065 | reachability.h |
| -rw-r--r-- | 9454 | region-model-asm.cc |
| -rw-r--r-- | 62324 | region-model-manager.cc |
| -rw-r--r-- | 11970 | region-model-manager.h |
| -rw-r--r-- | 10031 | region-model-reachability.cc |
| -rw-r--r-- | 3929 | region-model-reachability.h |
| -rw-r--r-- | 241616 | region-model.cc |
| -rw-r--r-- | 35223 | region-model.h |
| -rw-r--r-- | 47459 | region.cc |
| -rw-r--r-- | 39241 | region.h |
| -rw-r--r-- | 79675 | sm-fd.cc |
| -rw-r--r-- | 7815 | sm-fd.dot |
| -rw-r--r-- | 18536 | sm-file.cc |
| -rw-r--r-- | 1999 | sm-file.dot |
| -rw-r--r-- | 74337 | sm-malloc.cc |
| -rw-r--r-- | 3271 | sm-malloc.dot |
| -rw-r--r-- | 4242 | sm-pattern-test.cc |
| -rw-r--r-- | 6940 | sm-sensitive.cc |
| -rw-r--r-- | 11174 | sm-signal.cc |
| -rw-r--r-- | 44335 | sm-taint.cc |
| -rw-r--r-- | 5597 | sm.cc |
| -rw-r--r-- | 11282 | sm.h |
| -rw-r--r-- | 33094 | state-purge.cc |
| -rw-r--r-- | 7085 | state-purge.h |
| -rw-r--r-- | 106333 | store.cc |
| -rw-r--r-- | 27266 | store.h |
| -rw-r--r-- | 37209 | supergraph.cc |
| -rw-r--r-- | 16980 | supergraph.h |
| -rw-r--r-- | 54832 | svalue.cc |
| -rw-r--r-- | 48222 | svalue.h |
| -rw-r--r-- | 4823 | trimmed-graph.cc |
| -rw-r--r-- | 3263 | trimmed-graph.h |
| -rw-r--r-- | 34054 | varargs.cc |
| -rw-r--r-- | 1740 | varargs.dot |