• Home
  • History
  • Annotate
Name Date Size #Lines LOC

..07-May-2022-

ChangeLogH A D23-Jul-202053.4 KiB1,3651,168

analysis-plan.ccH A D23-Jul-20204 KiB13579

analysis-plan.hH A D23-Jul-20201.8 KiB6119

analyzer-logging.ccH A D23-Jul-20205.1 KiB229142

analyzer-logging.hH A D23-Jul-20206.4 KiB265157

analyzer-pass.ccH A D23-Jul-20202.5 KiB10362

analyzer-selftests.ccH A D23-Jul-20201.7 KiB6935

analyzer-selftests.hH A D23-Jul-20201.6 KiB5219

analyzer.ccH A D23-Jul-20206.4 KiB261152

analyzer.hH A D23-Jul-20203.6 KiB12884

analyzer.optH A D23-Jul-20207.1 KiB182138

bar-chart.ccH A D23-Jul-20202.8 KiB10357

bar-chart.hH A D23-Jul-20201.6 KiB6124

call-string.ccH A D23-Jul-20205.1 KiB213139

call-string.hH A D23-Jul-20202.1 KiB7833

checker-path.ccH A D23-Jul-202025.2 KiB967641

checker-path.hH A D23-Jul-202014 KiB533337

constraint-manager.ccH A D23-Jul-202061.6 KiB2,2681,592

constraint-manager.hH A D23-Jul-20206.7 KiB251154

diagnostic-manager.ccH A D23-Jul-202042.2 KiB1,4801,025

diagnostic-manager.hH A D23-Jul-20204.9 KiB172113

engine.ccH A D23-Jul-2020116.8 KiB4,1152,938

engine.hH A D23-Jul-2020927 316

exploded-graph.hH A D23-Jul-202024 KiB905619

function-set.ccH A D23-Jul-20204.5 KiB198136

function-set.hH A D23-Jul-20201.3 KiB5120

pending-diagnostic.ccH A D23-Jul-20202.2 KiB8444

pending-diagnostic.hH A D23-Jul-20208.4 KiB275120

program-point.ccH A D23-Jul-202013.2 KiB560403

program-point.hH A D23-Jul-20208 KiB315219

program-state.ccH A D23-Jul-202043.6 KiB1,6291,143

program-state.hH A D23-Jul-202010 KiB388263

reachability.hH A D23-Jul-20202 KiB7742

region-model.ccH A D23-Jul-2020243.2 KiB8,8466,085

region-model.hH A D23-Jul-202060.4 KiB2,2751,502

sm-file.ccH A D23-Jul-202011 KiB442316

sm-malloc.ccH A D23-Jul-202023.9 KiB849643

sm-malloc.dotH A D23-Jul-20202.9 KiB9065

sm-pattern-test.ccH A D23-Jul-20203.8 KiB15799

sm-sensitive.ccH A D23-Jul-20206.8 KiB254182

sm-signal.ccH A D23-Jul-202010 KiB377266

sm-taint.ccH A D23-Jul-20208.8 KiB333239

sm.ccH A D23-Jul-20204.1 KiB15790

sm.hH A D23-Jul-20206 KiB19495

state-purge.ccH A D23-Jul-202014.3 KiB541409

state-purge.hH A D23-Jul-20204.4 KiB168106

supergraph.ccH A D23-Jul-202028.2 KiB1,069755

supergraph.hH A D23-Jul-202016 KiB596426