├── LICENSE ├── Makefile ├── Makefile.common.in ├── Makefile.options ├── README.md ├── benchmark_evaluation ├── benchmark_config.py ├── run_scripts │ ├── __init__.py │ ├── parsing_utils │ │ └── __init__.py │ ├── run.sh │ ├── run_SPEC_2000.164.gzip.py │ ├── run_SPEC_2000.164.gzip.sh │ ├── run_SPEC_2000.175.vpr.py │ ├── run_SPEC_2000.175.vpr.sh │ ├── run_SPEC_2000.186.crafty.py │ ├── run_SPEC_2000.186.crafty.sh │ ├── run_SPEC_2000.197.parser.py │ ├── run_SPEC_2000.197.parser.sh │ ├── run_SPEC_2000.254.gap.py │ ├── run_SPEC_2000.254.gap.sh │ ├── run_SPEC_2000.256.bzip2.py │ ├── run_SPEC_2000.256.bzip2.sh │ ├── run_SPEC_2006.456.hmmer.py │ ├── run_SPEC_2006.456.hmmer.sh │ ├── run_SPEC_2006.462.libquantum.py │ ├── run_SPEC_2006.462.libquantum.sh │ ├── run_SPEC_2006.464.h264ref.py │ ├── run_SPEC_2006.464.h264ref.sh │ └── run_gcc.sh └── spec_benchmarks │ ├── bzip2-1.0.6.tar.gz │ ├── crafty-25.0.1.zip │ ├── gzip-1.8.zip │ ├── hmmer-3.1b2-linux-intel-x86_64.tar.gz │ ├── jm3.9.zip │ ├── libquantum-1.0.0.tar.gz │ ├── link-4.1b.tar.gz │ └── vpr_430.zip ├── configure ├── include ├── AbstractBlock.h ├── AbstractValue.h ├── ArrayIndexManager.h ├── BaseRange.h ├── Fixpoint.h ├── FixpointSSI.h ├── Range.h ├── StridedWrappedRange.h ├── Support │ ├── TBool.h │ └── Utils.h ├── Transformations │ └── vSSA.h └── WrappedRange.h ├── lib ├── ArrayIndexManager.cpp ├── Fixpoint.cpp ├── FixpointSSI.cpp ├── Makefile ├── RangeAnalysis │ ├── BaseRange.cpp │ ├── Makefile │ ├── Range.cpp │ ├── RangePass.cpp │ ├── StridedWrappedRange.cpp │ └── WrappedRange.cpp └── Transformations │ ├── Makefile │ └── vSSA.cpp ├── tests ├── Makefile ├── fannkuch.c ├── modulo.bc ├── modulo.c ├── regrtest.sh ├── t1.bc ├── t1.c ├── t10.bc ├── t10.c ├── t11.bc ├── t11.c ├── t12.bc ├── t12.c ├── t13.bc ├── t13.c ├── t14.bc ├── t14.c ├── t15.bc ├── t15.c ├── t16.bc ├── t16.c ├── t17.bc ├── t17.c ├── t18.bc ├── t18.c ├── t19.bc ├── t19.c ├── t2.bc ├── t2.c ├── t20.bc ├── t20.c ├── t21.bc ├── t21.c ├── t22.bc ├── t22.c ├── t23.bc ├── t23.c ├── t24.bc ├── t24.c ├── t3.bc ├── t3.c ├── t31.bc ├── t31.c ├── t32.bc ├── t32.c ├── t33.bc ├── t33.c ├── t4.bc ├── t4.c ├── t40.bc ├── t40.c ├── t5.bc ├── t5.c ├── t50.c ├── t51.bc ├── t51.c ├── t52.bc ├── t52.c ├── t53.bc ├── t53.c ├── t54.bc ├── t54.c ├── t6.bc ├── t6.c ├── t60.bc ├── t60.c ├── t61.bc ├── t61.c ├── t62.bc ├── t62.c ├── t7.bc ├── t7.c ├── t8.bc ├── t8.c ├── t9.bc └── t9.c └── tools └── run.sh /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/Makefile -------------------------------------------------------------------------------- /Makefile.common.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/Makefile.common.in -------------------------------------------------------------------------------- /Makefile.options: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/Makefile.options -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/README.md -------------------------------------------------------------------------------- /benchmark_evaluation/benchmark_config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/benchmark_config.py -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/parsing_utils/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/parsing_utils/__init__.py -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run.sh -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_SPEC_2000.164.gzip.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_SPEC_2000.164.gzip.py -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_SPEC_2000.164.gzip.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_SPEC_2000.164.gzip.sh -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_SPEC_2000.175.vpr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_SPEC_2000.175.vpr.py -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_SPEC_2000.175.vpr.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_SPEC_2000.175.vpr.sh -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_SPEC_2000.186.crafty.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_SPEC_2000.186.crafty.py -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_SPEC_2000.186.crafty.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_SPEC_2000.186.crafty.sh -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_SPEC_2000.197.parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_SPEC_2000.197.parser.py -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_SPEC_2000.197.parser.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_SPEC_2000.197.parser.sh -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_SPEC_2000.254.gap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_SPEC_2000.254.gap.py -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_SPEC_2000.254.gap.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_SPEC_2000.254.gap.sh -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_SPEC_2000.256.bzip2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_SPEC_2000.256.bzip2.py -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_SPEC_2000.256.bzip2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_SPEC_2000.256.bzip2.sh -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_SPEC_2006.456.hmmer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_SPEC_2006.456.hmmer.py -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_SPEC_2006.456.hmmer.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_SPEC_2006.456.hmmer.sh -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_SPEC_2006.462.libquantum.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_SPEC_2006.462.libquantum.py -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_SPEC_2006.462.libquantum.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_SPEC_2006.462.libquantum.sh -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_SPEC_2006.464.h264ref.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_SPEC_2006.464.h264ref.py -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_SPEC_2006.464.h264ref.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_SPEC_2006.464.h264ref.sh -------------------------------------------------------------------------------- /benchmark_evaluation/run_scripts/run_gcc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/run_scripts/run_gcc.sh -------------------------------------------------------------------------------- /benchmark_evaluation/spec_benchmarks/bzip2-1.0.6.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/spec_benchmarks/bzip2-1.0.6.tar.gz -------------------------------------------------------------------------------- /benchmark_evaluation/spec_benchmarks/crafty-25.0.1.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/spec_benchmarks/crafty-25.0.1.zip -------------------------------------------------------------------------------- /benchmark_evaluation/spec_benchmarks/gzip-1.8.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/spec_benchmarks/gzip-1.8.zip -------------------------------------------------------------------------------- /benchmark_evaluation/spec_benchmarks/hmmer-3.1b2-linux-intel-x86_64.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/spec_benchmarks/hmmer-3.1b2-linux-intel-x86_64.tar.gz -------------------------------------------------------------------------------- /benchmark_evaluation/spec_benchmarks/jm3.9.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/spec_benchmarks/jm3.9.zip -------------------------------------------------------------------------------- /benchmark_evaluation/spec_benchmarks/libquantum-1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/spec_benchmarks/libquantum-1.0.0.tar.gz -------------------------------------------------------------------------------- /benchmark_evaluation/spec_benchmarks/link-4.1b.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/spec_benchmarks/link-4.1b.tar.gz -------------------------------------------------------------------------------- /benchmark_evaluation/spec_benchmarks/vpr_430.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/benchmark_evaluation/spec_benchmarks/vpr_430.zip -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/configure -------------------------------------------------------------------------------- /include/AbstractBlock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/include/AbstractBlock.h -------------------------------------------------------------------------------- /include/AbstractValue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/include/AbstractValue.h -------------------------------------------------------------------------------- /include/ArrayIndexManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/include/ArrayIndexManager.h -------------------------------------------------------------------------------- /include/BaseRange.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/include/BaseRange.h -------------------------------------------------------------------------------- /include/Fixpoint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/include/Fixpoint.h -------------------------------------------------------------------------------- /include/FixpointSSI.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/include/FixpointSSI.h -------------------------------------------------------------------------------- /include/Range.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/include/Range.h -------------------------------------------------------------------------------- /include/StridedWrappedRange.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/include/StridedWrappedRange.h -------------------------------------------------------------------------------- /include/Support/TBool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/include/Support/TBool.h -------------------------------------------------------------------------------- /include/Support/Utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/include/Support/Utils.h -------------------------------------------------------------------------------- /include/Transformations/vSSA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/include/Transformations/vSSA.h -------------------------------------------------------------------------------- /include/WrappedRange.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/include/WrappedRange.h -------------------------------------------------------------------------------- /lib/ArrayIndexManager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/lib/ArrayIndexManager.cpp -------------------------------------------------------------------------------- /lib/Fixpoint.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/lib/Fixpoint.cpp -------------------------------------------------------------------------------- /lib/FixpointSSI.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/lib/FixpointSSI.cpp -------------------------------------------------------------------------------- /lib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/lib/Makefile -------------------------------------------------------------------------------- /lib/RangeAnalysis/BaseRange.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/lib/RangeAnalysis/BaseRange.cpp -------------------------------------------------------------------------------- /lib/RangeAnalysis/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/lib/RangeAnalysis/Makefile -------------------------------------------------------------------------------- /lib/RangeAnalysis/Range.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/lib/RangeAnalysis/Range.cpp -------------------------------------------------------------------------------- /lib/RangeAnalysis/RangePass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/lib/RangeAnalysis/RangePass.cpp -------------------------------------------------------------------------------- /lib/RangeAnalysis/StridedWrappedRange.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/lib/RangeAnalysis/StridedWrappedRange.cpp -------------------------------------------------------------------------------- /lib/RangeAnalysis/WrappedRange.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/lib/RangeAnalysis/WrappedRange.cpp -------------------------------------------------------------------------------- /lib/Transformations/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/lib/Transformations/Makefile -------------------------------------------------------------------------------- /lib/Transformations/vSSA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/lib/Transformations/vSSA.cpp -------------------------------------------------------------------------------- /tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/Makefile -------------------------------------------------------------------------------- /tests/fannkuch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/fannkuch.c -------------------------------------------------------------------------------- /tests/modulo.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/modulo.bc -------------------------------------------------------------------------------- /tests/modulo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/modulo.c -------------------------------------------------------------------------------- /tests/regrtest.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/regrtest.sh -------------------------------------------------------------------------------- /tests/t1.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t1.bc -------------------------------------------------------------------------------- /tests/t1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t1.c -------------------------------------------------------------------------------- /tests/t10.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t10.bc -------------------------------------------------------------------------------- /tests/t10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t10.c -------------------------------------------------------------------------------- /tests/t11.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t11.bc -------------------------------------------------------------------------------- /tests/t11.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t11.c -------------------------------------------------------------------------------- /tests/t12.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t12.bc -------------------------------------------------------------------------------- /tests/t12.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t12.c -------------------------------------------------------------------------------- /tests/t13.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t13.bc -------------------------------------------------------------------------------- /tests/t13.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t13.c -------------------------------------------------------------------------------- /tests/t14.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t14.bc -------------------------------------------------------------------------------- /tests/t14.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t14.c -------------------------------------------------------------------------------- /tests/t15.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t15.bc -------------------------------------------------------------------------------- /tests/t15.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t15.c -------------------------------------------------------------------------------- /tests/t16.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t16.bc -------------------------------------------------------------------------------- /tests/t16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t16.c -------------------------------------------------------------------------------- /tests/t17.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t17.bc -------------------------------------------------------------------------------- /tests/t17.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t17.c -------------------------------------------------------------------------------- /tests/t18.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t18.bc -------------------------------------------------------------------------------- /tests/t18.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t18.c -------------------------------------------------------------------------------- /tests/t19.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t19.bc -------------------------------------------------------------------------------- /tests/t19.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t19.c -------------------------------------------------------------------------------- /tests/t2.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t2.bc -------------------------------------------------------------------------------- /tests/t2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t2.c -------------------------------------------------------------------------------- /tests/t20.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t20.bc -------------------------------------------------------------------------------- /tests/t20.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t20.c -------------------------------------------------------------------------------- /tests/t21.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t21.bc -------------------------------------------------------------------------------- /tests/t21.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t21.c -------------------------------------------------------------------------------- /tests/t22.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t22.bc -------------------------------------------------------------------------------- /tests/t22.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t22.c -------------------------------------------------------------------------------- /tests/t23.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t23.bc -------------------------------------------------------------------------------- /tests/t23.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t23.c -------------------------------------------------------------------------------- /tests/t24.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t24.bc -------------------------------------------------------------------------------- /tests/t24.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t24.c -------------------------------------------------------------------------------- /tests/t3.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t3.bc -------------------------------------------------------------------------------- /tests/t3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t3.c -------------------------------------------------------------------------------- /tests/t31.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t31.bc -------------------------------------------------------------------------------- /tests/t31.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t31.c -------------------------------------------------------------------------------- /tests/t32.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t32.bc -------------------------------------------------------------------------------- /tests/t32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t32.c -------------------------------------------------------------------------------- /tests/t33.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t33.bc -------------------------------------------------------------------------------- /tests/t33.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t33.c -------------------------------------------------------------------------------- /tests/t4.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t4.bc -------------------------------------------------------------------------------- /tests/t4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t4.c -------------------------------------------------------------------------------- /tests/t40.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t40.bc -------------------------------------------------------------------------------- /tests/t40.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t40.c -------------------------------------------------------------------------------- /tests/t5.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t5.bc -------------------------------------------------------------------------------- /tests/t5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t5.c -------------------------------------------------------------------------------- /tests/t50.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t50.c -------------------------------------------------------------------------------- /tests/t51.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t51.bc -------------------------------------------------------------------------------- /tests/t51.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t51.c -------------------------------------------------------------------------------- /tests/t52.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t52.bc -------------------------------------------------------------------------------- /tests/t52.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t52.c -------------------------------------------------------------------------------- /tests/t53.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t53.bc -------------------------------------------------------------------------------- /tests/t53.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t53.c -------------------------------------------------------------------------------- /tests/t54.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t54.bc -------------------------------------------------------------------------------- /tests/t54.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t54.c -------------------------------------------------------------------------------- /tests/t6.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t6.bc -------------------------------------------------------------------------------- /tests/t6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t6.c -------------------------------------------------------------------------------- /tests/t60.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t60.bc -------------------------------------------------------------------------------- /tests/t60.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t60.c -------------------------------------------------------------------------------- /tests/t61.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t61.bc -------------------------------------------------------------------------------- /tests/t61.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t61.c -------------------------------------------------------------------------------- /tests/t62.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t62.bc -------------------------------------------------------------------------------- /tests/t62.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t62.c -------------------------------------------------------------------------------- /tests/t7.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t7.bc -------------------------------------------------------------------------------- /tests/t7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t7.c -------------------------------------------------------------------------------- /tests/t8.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t8.bc -------------------------------------------------------------------------------- /tests/t8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t8.c -------------------------------------------------------------------------------- /tests/t9.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t9.bc -------------------------------------------------------------------------------- /tests/t9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tests/t9.c -------------------------------------------------------------------------------- /tools/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ucsb-seclab/sasi/HEAD/tools/run.sh --------------------------------------------------------------------------------