Name Date Size #Lines LOC

..--

2006-06-13-SingleEntryPHI.llH A D25-Apr-20251.6 KiB3633

2006-06-27-DeadSwitchCase.llH A D25-Apr-2025770 2623

2007-05-09-Unreachable.llH A D25-Apr-20251.2 KiB2925

2007-05-09-tl.llH A D25-Apr-20252.2 KiB9680

2007-07-12-ExitDomInfo.llH A D25-Apr-20251.3 KiB4633

2007-07-13-DomInfo.llH A D25-Apr-2025653 2820

2007-07-18-DomInfo.llH A D25-Apr-20252.2 KiB6748

2007-08-01-Dom.llH A D25-Apr-2025921 3122

2007-08-01-LCSSA.llH A D25-Apr-20252.9 KiB5646

2007-10-04-DomFrontier.llH A D25-Apr-2025659 3021

2008-06-02-DomInfo.llH A D25-Apr-2025860 2724

2008-06-17-DomFrontier.llH A D25-Apr-2025692 2321

2008-11-03-Invariant.llH A D25-Apr-2025967 3829

2010-11-18-LCSSA.llH A D25-Apr-2025914 2922

2011-06-02-CritSwitch.llH A D25-Apr-2025832 2922

2011-09-26-EHCrash.llH A D25-Apr-20252.7 KiB6450

2011-11-18-SimpleSwitch.llH A D25-Apr-20253.4 KiB9672

2011-11-18-TwoSwitches-Threshold.llH A D25-Apr-20252.9 KiB8964

2011-11-18-TwoSwitches.llH A D25-Apr-20255.6 KiB143104

2012-04-02-IndirectBr.llH A D25-Apr-20251.3 KiB4229

2012-04-30-LoopUnswitch-LPad-Crash.llH A D25-Apr-20254.4 KiB9876

2012-05-20-Phi.llH A D25-Apr-2025882 2622

2015-06-17-Metadata.llH A D25-Apr-20252.9 KiB7867

2015-09-18-Addrspace.llH A D25-Apr-20251.1 KiB2923

LIV-loop-condtion.llH A D25-Apr-2025811 2821

basictest.llH A D25-Apr-20252.7 KiB10889

cleanuppad.llH A D25-Apr-20251.3 KiB4531

cold-loop.llH A D25-Apr-20251.4 KiB5340

copy-metadata.llH A D25-Apr-2025567 2416

crash.llH A D25-Apr-20252.4 KiB6757

exponential-behavior.llH A D25-Apr-20251.4 KiB5247

guards.llH A D25-Apr-20252.6 KiB9883

infinite-loop.llH A D25-Apr-20251.5 KiB5943

msan.llH A D25-Apr-20253.7 KiB154125

preserve-analyses.llH A D25-Apr-20255.1 KiB13098

trivial-unswitch.llH A D25-Apr-20251.6 KiB4732