Name Date Size #Lines LOC

..--

analysis-plan.ccH A D09-Jul-20244 KiB13579

analysis-plan.hH A D09-Jul-20241.8 KiB6119

analyzer-logging.ccH A D09-Jul-20245.1 KiB229142

analyzer-logging.hH A D09-Jul-20246.4 KiB265157

analyzer-pass.ccH A D09-Jul-20242.5 KiB10362

analyzer-selftests.ccH A D09-Jul-20241.7 KiB6935

analyzer-selftests.hH A D09-Jul-20241.6 KiB5219

analyzer.ccH A D09-Jul-20246.4 KiB261152

analyzer.hH A D09-Jul-20243.6 KiB12884

analyzer.optH A D09-Jul-20247.1 KiB182138

bar-chart.ccH A D09-Jul-20242.8 KiB10357

bar-chart.hH A D09-Jul-20241.6 KiB6124

call-string.ccH A D09-Jul-20245.1 KiB213139

call-string.hH A D09-Jul-20242.1 KiB7833

checker-path.ccH A D09-Jul-202425.2 KiB967641

checker-path.hH A D09-Jul-202414 KiB533337

constraint-manager.ccH A D09-Jul-202461.6 KiB2,2681,592

constraint-manager.hH A D09-Jul-20246.7 KiB251154

diagnostic-manager.ccH A D09-Jul-202442.2 KiB1,4801,025

diagnostic-manager.hH A D09-Jul-20244.9 KiB172113

engine.ccH A D09-Jul-2024116.8 KiB4,1152,938

engine.hH A D09-Jul-2024927 316

exploded-graph.hH A D09-Jul-202424 KiB905619

function-set.ccH A D09-Jul-20244.5 KiB198136

function-set.hH A D09-Jul-20241.3 KiB5120

pending-diagnostic.ccH A D09-Jul-20242.2 KiB8444

pending-diagnostic.hH A D09-Jul-20248.4 KiB275120

program-point.ccH A D09-Jul-202413.2 KiB560403

program-point.hH A D09-Jul-20248 KiB315219

program-state.ccH A D09-Jul-202443.6 KiB1,6291,143

program-state.hH A D09-Jul-202410 KiB388263

reachability.hH A D09-Jul-20242 KiB7742

region-model.ccH A D09-Jul-2024243.2 KiB8,8466,085

region-model.hH A D09-Jul-202460.4 KiB2,2751,502

sm-file.ccH A D09-Jul-202411 KiB442316

sm-malloc.ccH A D09-Jul-202423.9 KiB849643

sm-malloc.dotH A D09-Jul-20242.9 KiB9065

sm-pattern-test.ccH A D09-Jul-20243.8 KiB15799

sm-sensitive.ccH A D09-Jul-20246.8 KiB254182

sm-signal.ccH A D09-Jul-202410 KiB377266

sm-taint.ccH A D09-Jul-20248.8 KiB333239

sm.ccH A D09-Jul-20244.1 KiB15790

sm.hH A D09-Jul-20246 KiB19495

state-purge.ccH A D09-Jul-202414.3 KiB541409

state-purge.hH A D09-Jul-20244.4 KiB168106

supergraph.ccH A D09-Jul-202428.2 KiB1,069755

supergraph.hH A D09-Jul-202416 KiB596426