
| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| CVS/ | - | 08-Sep-2025 03:01 |
| analysis-plan.cc | 4207 | 08-Sep-2025 03:01 |
| analysis-plan.h | 1871 | 08-Sep-2025 03:01 |
| analyzer-logging.cc | 5276 | 08-Sep-2025 03:01 |
| analyzer-logging.h | 6595 | 08-Sep-2025 03:01 |
| analyzer-pass.cc | 2837 | 08-Sep-2025 03:01 |
| analyzer-selftests.cc | 1821 | 08-Sep-2025 03:01 |
| analyzer-selftests.h | 1636 | 08-Sep-2025 03:01 |
| analyzer.cc | 11934 | 08-Sep-2025 03:01 |
| analyzer.h | 11286 | 08-Sep-2025 03:01 |
| analyzer.opt | 10490 | 08-Sep-2025 03:01 |
| bar-chart.cc | 2891 | 08-Sep-2025 03:01 |
| bar-chart.h | 1601 | 08-Sep-2025 03:01 |
| call-info.cc | 4543 | 07-Sep-2025 02:59 |
| call-info.h | 2502 | 07-Sep-2025 02:59 |
| call-string.cc | 7370 | 08-Sep-2025 03:01 |
| call-string.h | 2963 | 08-Sep-2025 03:01 |
| checker-path.cc | 28939 | 08-Sep-2025 03:01 |
| checker-path.h | 17114 | 08-Sep-2025 03:01 |
| complexity.cc | 3104 | 07-Sep-2025 02:59 |
| complexity.h | 1719 | 07-Sep-2025 02:59 |
| constraint-manager.cc | 125209 | 08-Sep-2025 03:01 |
| constraint-manager.h | 13277 | 08-Sep-2025 03:01 |
| diagnostic-manager.cc | 81508 | 08-Sep-2025 03:01 |
| diagnostic-manager.h | 5605 | 08-Sep-2025 03:01 |
| engine.cc | 175118 | 08-Sep-2025 03:01 |
| engine.h | 927 | 08-Sep-2025 03:01 |
| exploded-graph.h | 28779 | 08-Sep-2025 03:01 |
| feasible-graph.cc | 8629 | 07-Sep-2025 02:59 |
| feasible-graph.h | 5822 | 07-Sep-2025 02:59 |
| function-set.cc | 4602 | 08-Sep-2025 03:01 |
| function-set.h | 1367 | 08-Sep-2025 03:01 |
| pending-diagnostic.cc | 2955 | 08-Sep-2025 03:01 |
| pending-diagnostic.h | 12039 | 08-Sep-2025 03:01 |
| program-point.cc | 19873 | 08-Sep-2025 03:01 |
| program-point.h | 8235 | 08-Sep-2025 03:01 |
| program-state.cc | 51589 | 08-Sep-2025 03:01 |
| program-state.h | 9177 | 08-Sep-2025 03:01 |
| reachability.h | 2065 | 08-Sep-2025 03:01 |
| region-model-asm.cc | 9487 | 07-Sep-2025 02:59 |
| region-model-impl-calls.cc | 27419 | 07-Sep-2025 02:59 |
| region-model-manager.cc | 60114 | 07-Sep-2025 02:59 |
| region-model-reachability.cc | 10097 | 07-Sep-2025 02:59 |
| region-model-reachability.h | 3929 | 07-Sep-2025 02:59 |
| region-model.cc | 198235 | 08-Sep-2025 03:01 |
| region-model.h | 43765 | 08-Sep-2025 03:01 |
| region.cc | 41613 | 07-Sep-2025 02:59 |
| region.h | 33686 | 07-Sep-2025 02:59 |
| sm-file.cc | 12594 | 08-Sep-2025 03:01 |
| sm-malloc.cc | 61548 | 08-Sep-2025 03:01 |
| sm-malloc.dot | 2920 | 08-Sep-2025 03:01 |
| sm-pattern-test.cc | 4301 | 08-Sep-2025 03:01 |
| sm-sensitive.cc | 6607 | 08-Sep-2025 03:01 |
| sm-signal.cc | 11163 | 08-Sep-2025 03:01 |
| sm-taint.cc | 31182 | 08-Sep-2025 03:01 |
| sm.cc | 5300 | 08-Sep-2025 03:01 |
| sm.h | 9674 | 08-Sep-2025 03:01 |
| state-purge.cc | 33166 | 08-Sep-2025 03:01 |
| state-purge.h | 7085 | 08-Sep-2025 03:01 |
| store.cc | 96581 | 07-Sep-2025 02:59 |
| store.h | 26259 | 07-Sep-2025 02:59 |
| supergraph.cc | 36581 | 08-Sep-2025 03:01 |
| supergraph.h | 16684 | 08-Sep-2025 03:01 |
| svalue.cc | 54164 | 07-Sep-2025 02:59 |
| svalue.h | 48138 | 07-Sep-2025 02:59 |
| trimmed-graph.cc | 5095 | 07-Sep-2025 02:59 |
| trimmed-graph.h | 3263 | 07-Sep-2025 02:59 |