├── .gitignore ├── Dockerfile ├── LICENSE ├── README.md ├── bug-report.ipynb ├── docs ├── Makefile ├── imgs │ ├── Tzer-Logo.svg │ ├── rq1.png │ ├── rq2.png │ ├── rq3-1.png │ ├── rq3-2.png │ └── tzer-terminal-output.png ├── make.bat └── source │ ├── conf.py │ ├── index.rst │ ├── markdown │ └── artifact.md │ └── requirements.txt ├── paper_data ├── RQ1 │ ├── LEMON │ │ ├── cov_by_time.txt │ │ └── valid_seeds.txt │ ├── LibFuzzer │ │ ├── cov_by_time.txt │ │ └── valid_seeds.txt │ ├── TVMFuzz │ │ └── cov_by_time.txt │ ├── Tzer (LEMON seeds) │ │ ├── cov_by_time.txt │ │ └── valid_seeds.txt │ ├── Tzer │ │ ├── cov_by_time.txt │ │ └── valid_seeds.txt │ ├── baseline_cov.pdf │ ├── baseline_cov.png │ └── plot_cov.py ├── RQ2 │ ├── (1): General IR Mut. (No Cov.) │ │ ├── cov_by_time.txt │ │ └── meta.txt │ ├── (2): (1) + Cov. Guidance │ │ ├── cov_by_time.txt │ │ └── meta.txt │ ├── (3): (2) + Domain-Spec. IR Mut. │ │ ├── cov_by_time.txt │ │ └── meta.txt │ ├── (4): (3) + Random Pass Mut. │ │ ├── cov_by_time.txt │ │ └── meta.txt │ ├── (5): (3) + Evolutionary Pass Mut. │ │ ├── cov_by_time.txt │ │ └── meta.txt │ ├── ablation_cov.pdf │ ├── ablation_cov.png │ └── plot_cov.py └── RQ3 │ ├── 24-hr-run │ ├── cov_by_time.txt │ └── meta.txt │ ├── 24h.pdf │ ├── 24h.png │ ├── Tzer with all seeds │ ├── cov_by_time.txt │ └── meta.txt │ ├── Tzer without seeds │ ├── cov_by_time.txt │ └── meta.txt │ ├── ablation_cov.pdf │ ├── ablation_cov.png │ ├── nmax.pdf │ ├── nmax.png │ ├── nmax_peak.pdf │ ├── nmax_peak.png │ ├── plot_cov_24h.py │ ├── plot_cov_seeds.py │ ├── plot_nmax.py │ ├── plot_nmax_bar_x.py │ ├── rq3_3-tolerance-10_1-shrink-rand_gen │ ├── cov_by_time.txt │ └── meta.txt │ ├── rq3_3-tolerance-1_1-shrink-rand_gen │ ├── cov_by_time.txt │ └── meta.txt │ ├── rq3_3-tolerance-2_1-shrink-rand_gen │ ├── cov_by_time.txt │ └── meta.txt │ ├── rq3_3-tolerance-3_1-shrink-rand_gen │ ├── cov_by_time.txt │ └── meta.txt │ ├── rq3_3-tolerance-4_1-shrink-rand_gen │ ├── cov_by_time.txt │ └── meta.txt │ ├── rq3_3-tolerance-5_1-shrink-rand_gen │ ├── cov_by_time.txt │ └── meta.txt │ ├── rq3_3-tolerance-6_1-shrink-rand_gen │ ├── cov_by_time.txt │ └── meta.txt │ ├── rq3_3-tolerance-7_1-shrink-rand_gen │ ├── cov_by_time.txt │ └── meta.txt │ ├── rq3_3-tolerance-8_1-shrink-rand_gen │ ├── cov_by_time.txt │ └── meta.txt │ ├── rq3_3-tolerance-9_1-shrink-rand_gen │ ├── cov_by_time.txt │ └── meta.txt │ ├── seeds_complete.pdf │ └── seeds_complete.png ├── requirements.txt ├── src ├── export_allseeds_func.py ├── get_cov.py ├── get_cov_lemon.py ├── get_cov_libfuzz.py ├── keras2tvm.py ├── main.py ├── main_tir.py ├── main_with_evolution.py ├── plot_cov.py ├── run_libfuzz.py └── tzer │ ├── __init__.py │ ├── context.py │ ├── error.py │ ├── evolution │ ├── __init__.py │ ├── evolution.py │ ├── fitness.py │ └── gene.py │ ├── fuzz.py │ ├── pass_opt.py │ ├── relay_gen.py │ ├── relay_seeds.py │ ├── report.py │ ├── seed_eval.py │ ├── template.py │ ├── tir │ ├── README.md │ ├── __init__.py │ ├── config.py │ ├── domain │ │ ├── __init__.py │ │ ├── basic_type.py │ │ ├── construct.py │ │ ├── kernel.py │ │ ├── laze.py │ │ ├── node.py │ │ ├── primitive.py │ │ └── state.py │ ├── error.py │ ├── fuzz.py │ ├── joint_seed_pool.py │ ├── mutate │ │ ├── __init__.py │ │ ├── delete.py │ │ ├── flip.py │ │ ├── generate │ │ │ ├── __init__.py │ │ │ ├── generator.py │ │ │ └── sized.py │ │ ├── insert.py │ │ ├── mutator.py │ │ ├── none.py │ │ ├── recursive_mutate.py │ │ ├── specific.py │ │ └── weighted.py │ ├── oracle.py │ ├── pass_fuzz │ │ ├── __init__.py │ │ ├── evo.py │ │ ├── genotype.py │ │ └── pass_mutator.py │ ├── report.py │ ├── seed.py │ ├── semantic │ │ ├── __init__.py │ │ ├── constraint.py │ │ └── context.py │ ├── util.py │ └── visit │ │ ├── __init__.py │ │ ├── abstract.py │ │ ├── buffer.py │ │ ├── free_var.py │ │ ├── size.py │ │ ├── swap.py │ │ └── traverse.py │ ├── tvmpass.py │ ├── utilities.py │ └── verify.py └── tvm_cov_patch ├── build_tvm.sh ├── libfuzz.patch └── memcov4tvm.patch /.gitignore: -------------------------------------------------------------------------------- 1 | build 2 | .DS_Store 3 | __pycache__ 4 | *.profraw -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/README.md -------------------------------------------------------------------------------- /bug-report.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/bug-report.ipynb -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/imgs/Tzer-Logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/docs/imgs/Tzer-Logo.svg -------------------------------------------------------------------------------- /docs/imgs/rq1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/docs/imgs/rq1.png -------------------------------------------------------------------------------- /docs/imgs/rq2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/docs/imgs/rq2.png -------------------------------------------------------------------------------- /docs/imgs/rq3-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/docs/imgs/rq3-1.png -------------------------------------------------------------------------------- /docs/imgs/rq3-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/docs/imgs/rq3-2.png -------------------------------------------------------------------------------- /docs/imgs/tzer-terminal-output.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/docs/imgs/tzer-terminal-output.png -------------------------------------------------------------------------------- /docs/make.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/docs/make.bat -------------------------------------------------------------------------------- /docs/source/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/docs/source/conf.py -------------------------------------------------------------------------------- /docs/source/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/docs/source/index.rst -------------------------------------------------------------------------------- /docs/source/markdown/artifact.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/docs/source/markdown/artifact.md -------------------------------------------------------------------------------- /docs/source/requirements.txt: -------------------------------------------------------------------------------- 1 | furo 2 | myst-parser 3 | Sphinx 4 | numpydoc -------------------------------------------------------------------------------- /paper_data/RQ1/LEMON/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ1/LEMON/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ1/LEMON/valid_seeds.txt: -------------------------------------------------------------------------------- 1 | 20 -------------------------------------------------------------------------------- /paper_data/RQ1/LibFuzzer/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ1/LibFuzzer/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ1/LibFuzzer/valid_seeds.txt: -------------------------------------------------------------------------------- 1 | 38 -------------------------------------------------------------------------------- /paper_data/RQ1/TVMFuzz/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ1/TVMFuzz/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ1/Tzer (LEMON seeds)/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ1/Tzer (LEMON seeds)/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ1/Tzer (LEMON seeds)/valid_seeds.txt: -------------------------------------------------------------------------------- 1 | 485 -------------------------------------------------------------------------------- /paper_data/RQ1/Tzer/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ1/Tzer/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ1/Tzer/valid_seeds.txt: -------------------------------------------------------------------------------- 1 | 497 2 | -------------------------------------------------------------------------------- /paper_data/RQ1/baseline_cov.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ1/baseline_cov.pdf -------------------------------------------------------------------------------- /paper_data/RQ1/baseline_cov.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ1/baseline_cov.png -------------------------------------------------------------------------------- /paper_data/RQ1/plot_cov.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ1/plot_cov.py -------------------------------------------------------------------------------- /paper_data/RQ2/(1): General IR Mut. (No Cov.)/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ2/(1): General IR Mut. (No Cov.)/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ2/(1): General IR Mut. (No Cov.)/meta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ2/(1): General IR Mut. (No Cov.)/meta.txt -------------------------------------------------------------------------------- /paper_data/RQ2/(2): (1) + Cov. Guidance/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ2/(2): (1) + Cov. Guidance/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ2/(2): (1) + Cov. Guidance/meta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ2/(2): (1) + Cov. Guidance/meta.txt -------------------------------------------------------------------------------- /paper_data/RQ2/(3): (2) + Domain-Spec. IR Mut./cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ2/(3): (2) + Domain-Spec. IR Mut./cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ2/(3): (2) + Domain-Spec. IR Mut./meta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ2/(3): (2) + Domain-Spec. IR Mut./meta.txt -------------------------------------------------------------------------------- /paper_data/RQ2/(4): (3) + Random Pass Mut./cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ2/(4): (3) + Random Pass Mut./cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ2/(4): (3) + Random Pass Mut./meta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ2/(4): (3) + Random Pass Mut./meta.txt -------------------------------------------------------------------------------- /paper_data/RQ2/(5): (3) + Evolutionary Pass Mut./cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ2/(5): (3) + Evolutionary Pass Mut./cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ2/(5): (3) + Evolutionary Pass Mut./meta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ2/(5): (3) + Evolutionary Pass Mut./meta.txt -------------------------------------------------------------------------------- /paper_data/RQ2/ablation_cov.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ2/ablation_cov.pdf -------------------------------------------------------------------------------- /paper_data/RQ2/ablation_cov.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ2/ablation_cov.png -------------------------------------------------------------------------------- /paper_data/RQ2/plot_cov.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ2/plot_cov.py -------------------------------------------------------------------------------- /paper_data/RQ3/24-hr-run/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/24-hr-run/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ3/24-hr-run/meta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/24-hr-run/meta.txt -------------------------------------------------------------------------------- /paper_data/RQ3/24h.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/24h.pdf -------------------------------------------------------------------------------- /paper_data/RQ3/24h.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/24h.png -------------------------------------------------------------------------------- /paper_data/RQ3/Tzer with all seeds/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/Tzer with all seeds/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ3/Tzer with all seeds/meta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/Tzer with all seeds/meta.txt -------------------------------------------------------------------------------- /paper_data/RQ3/Tzer without seeds/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/Tzer without seeds/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ3/Tzer without seeds/meta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/Tzer without seeds/meta.txt -------------------------------------------------------------------------------- /paper_data/RQ3/ablation_cov.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/ablation_cov.pdf -------------------------------------------------------------------------------- /paper_data/RQ3/ablation_cov.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/ablation_cov.png -------------------------------------------------------------------------------- /paper_data/RQ3/nmax.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/nmax.pdf -------------------------------------------------------------------------------- /paper_data/RQ3/nmax.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/nmax.png -------------------------------------------------------------------------------- /paper_data/RQ3/nmax_peak.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/nmax_peak.pdf -------------------------------------------------------------------------------- /paper_data/RQ3/nmax_peak.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/nmax_peak.png -------------------------------------------------------------------------------- /paper_data/RQ3/plot_cov_24h.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/plot_cov_24h.py -------------------------------------------------------------------------------- /paper_data/RQ3/plot_cov_seeds.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/plot_cov_seeds.py -------------------------------------------------------------------------------- /paper_data/RQ3/plot_nmax.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/plot_nmax.py -------------------------------------------------------------------------------- /paper_data/RQ3/plot_nmax_bar_x.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/plot_nmax_bar_x.py -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-10_1-shrink-rand_gen/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-10_1-shrink-rand_gen/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-10_1-shrink-rand_gen/meta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-10_1-shrink-rand_gen/meta.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-1_1-shrink-rand_gen/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-1_1-shrink-rand_gen/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-1_1-shrink-rand_gen/meta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-1_1-shrink-rand_gen/meta.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-2_1-shrink-rand_gen/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-2_1-shrink-rand_gen/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-2_1-shrink-rand_gen/meta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-2_1-shrink-rand_gen/meta.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-3_1-shrink-rand_gen/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-3_1-shrink-rand_gen/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-3_1-shrink-rand_gen/meta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-3_1-shrink-rand_gen/meta.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-4_1-shrink-rand_gen/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-4_1-shrink-rand_gen/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-4_1-shrink-rand_gen/meta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-4_1-shrink-rand_gen/meta.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-5_1-shrink-rand_gen/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-5_1-shrink-rand_gen/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-5_1-shrink-rand_gen/meta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-5_1-shrink-rand_gen/meta.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-6_1-shrink-rand_gen/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-6_1-shrink-rand_gen/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-6_1-shrink-rand_gen/meta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-6_1-shrink-rand_gen/meta.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-7_1-shrink-rand_gen/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-7_1-shrink-rand_gen/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-7_1-shrink-rand_gen/meta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-7_1-shrink-rand_gen/meta.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-8_1-shrink-rand_gen/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-8_1-shrink-rand_gen/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-8_1-shrink-rand_gen/meta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-8_1-shrink-rand_gen/meta.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-9_1-shrink-rand_gen/cov_by_time.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-9_1-shrink-rand_gen/cov_by_time.txt -------------------------------------------------------------------------------- /paper_data/RQ3/rq3_3-tolerance-9_1-shrink-rand_gen/meta.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/rq3_3-tolerance-9_1-shrink-rand_gen/meta.txt -------------------------------------------------------------------------------- /paper_data/RQ3/seeds_complete.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/seeds_complete.pdf -------------------------------------------------------------------------------- /paper_data/RQ3/seeds_complete.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/paper_data/RQ3/seeds_complete.png -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/requirements.txt -------------------------------------------------------------------------------- /src/export_allseeds_func.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/export_allseeds_func.py -------------------------------------------------------------------------------- /src/get_cov.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/get_cov.py -------------------------------------------------------------------------------- /src/get_cov_lemon.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/get_cov_lemon.py -------------------------------------------------------------------------------- /src/get_cov_libfuzz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/get_cov_libfuzz.py -------------------------------------------------------------------------------- /src/keras2tvm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/keras2tvm.py -------------------------------------------------------------------------------- /src/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/main.py -------------------------------------------------------------------------------- /src/main_tir.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/main_tir.py -------------------------------------------------------------------------------- /src/main_with_evolution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/main_with_evolution.py -------------------------------------------------------------------------------- /src/plot_cov.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/plot_cov.py -------------------------------------------------------------------------------- /src/run_libfuzz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/run_libfuzz.py -------------------------------------------------------------------------------- /src/tzer/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/__init__.py -------------------------------------------------------------------------------- /src/tzer/context.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/context.py -------------------------------------------------------------------------------- /src/tzer/error.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/error.py -------------------------------------------------------------------------------- /src/tzer/evolution/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/tzer/evolution/evolution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/evolution/evolution.py -------------------------------------------------------------------------------- /src/tzer/evolution/fitness.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/evolution/fitness.py -------------------------------------------------------------------------------- /src/tzer/evolution/gene.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/evolution/gene.py -------------------------------------------------------------------------------- /src/tzer/fuzz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/fuzz.py -------------------------------------------------------------------------------- /src/tzer/pass_opt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/pass_opt.py -------------------------------------------------------------------------------- /src/tzer/relay_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/relay_gen.py -------------------------------------------------------------------------------- /src/tzer/relay_seeds.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/relay_seeds.py -------------------------------------------------------------------------------- /src/tzer/report.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/report.py -------------------------------------------------------------------------------- /src/tzer/seed_eval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/seed_eval.py -------------------------------------------------------------------------------- /src/tzer/template.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/template.py -------------------------------------------------------------------------------- /src/tzer/tir/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/README.md -------------------------------------------------------------------------------- /src/tzer/tir/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/__init__.py -------------------------------------------------------------------------------- /src/tzer/tir/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/config.py -------------------------------------------------------------------------------- /src/tzer/tir/domain/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/domain/__init__.py -------------------------------------------------------------------------------- /src/tzer/tir/domain/basic_type.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/domain/basic_type.py -------------------------------------------------------------------------------- /src/tzer/tir/domain/construct.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/domain/construct.py -------------------------------------------------------------------------------- /src/tzer/tir/domain/kernel.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/domain/kernel.py -------------------------------------------------------------------------------- /src/tzer/tir/domain/laze.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/domain/laze.py -------------------------------------------------------------------------------- /src/tzer/tir/domain/node.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/domain/node.py -------------------------------------------------------------------------------- /src/tzer/tir/domain/primitive.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/domain/primitive.py -------------------------------------------------------------------------------- /src/tzer/tir/domain/state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/domain/state.py -------------------------------------------------------------------------------- /src/tzer/tir/error.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/error.py -------------------------------------------------------------------------------- /src/tzer/tir/fuzz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/fuzz.py -------------------------------------------------------------------------------- /src/tzer/tir/joint_seed_pool.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/joint_seed_pool.py -------------------------------------------------------------------------------- /src/tzer/tir/mutate/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/mutate/__init__.py -------------------------------------------------------------------------------- /src/tzer/tir/mutate/delete.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/mutate/delete.py -------------------------------------------------------------------------------- /src/tzer/tir/mutate/flip.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/mutate/flip.py -------------------------------------------------------------------------------- /src/tzer/tir/mutate/generate/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/mutate/generate/__init__.py -------------------------------------------------------------------------------- /src/tzer/tir/mutate/generate/generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/mutate/generate/generator.py -------------------------------------------------------------------------------- /src/tzer/tir/mutate/generate/sized.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/mutate/generate/sized.py -------------------------------------------------------------------------------- /src/tzer/tir/mutate/insert.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/mutate/insert.py -------------------------------------------------------------------------------- /src/tzer/tir/mutate/mutator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/mutate/mutator.py -------------------------------------------------------------------------------- /src/tzer/tir/mutate/none.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/mutate/none.py -------------------------------------------------------------------------------- /src/tzer/tir/mutate/recursive_mutate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/mutate/recursive_mutate.py -------------------------------------------------------------------------------- /src/tzer/tir/mutate/specific.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/mutate/specific.py -------------------------------------------------------------------------------- /src/tzer/tir/mutate/weighted.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/mutate/weighted.py -------------------------------------------------------------------------------- /src/tzer/tir/oracle.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/oracle.py -------------------------------------------------------------------------------- /src/tzer/tir/pass_fuzz/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/tzer/tir/pass_fuzz/evo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/pass_fuzz/evo.py -------------------------------------------------------------------------------- /src/tzer/tir/pass_fuzz/genotype.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/pass_fuzz/genotype.py -------------------------------------------------------------------------------- /src/tzer/tir/pass_fuzz/pass_mutator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/pass_fuzz/pass_mutator.py -------------------------------------------------------------------------------- /src/tzer/tir/report.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/report.py -------------------------------------------------------------------------------- /src/tzer/tir/seed.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/seed.py -------------------------------------------------------------------------------- /src/tzer/tir/semantic/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/semantic/__init__.py -------------------------------------------------------------------------------- /src/tzer/tir/semantic/constraint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/semantic/constraint.py -------------------------------------------------------------------------------- /src/tzer/tir/semantic/context.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/semantic/context.py -------------------------------------------------------------------------------- /src/tzer/tir/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/util.py -------------------------------------------------------------------------------- /src/tzer/tir/visit/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/visit/__init__.py -------------------------------------------------------------------------------- /src/tzer/tir/visit/abstract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/visit/abstract.py -------------------------------------------------------------------------------- /src/tzer/tir/visit/buffer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/visit/buffer.py -------------------------------------------------------------------------------- /src/tzer/tir/visit/free_var.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/visit/free_var.py -------------------------------------------------------------------------------- /src/tzer/tir/visit/size.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/visit/size.py -------------------------------------------------------------------------------- /src/tzer/tir/visit/swap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/visit/swap.py -------------------------------------------------------------------------------- /src/tzer/tir/visit/traverse.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tir/visit/traverse.py -------------------------------------------------------------------------------- /src/tzer/tvmpass.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/tvmpass.py -------------------------------------------------------------------------------- /src/tzer/utilities.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/utilities.py -------------------------------------------------------------------------------- /src/tzer/verify.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/src/tzer/verify.py -------------------------------------------------------------------------------- /tvm_cov_patch/build_tvm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/tvm_cov_patch/build_tvm.sh -------------------------------------------------------------------------------- /tvm_cov_patch/libfuzz.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/tvm_cov_patch/libfuzz.patch -------------------------------------------------------------------------------- /tvm_cov_patch/memcov4tvm.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ise-uiuc/tzer/HEAD/tvm_cov_patch/memcov4tvm.patch --------------------------------------------------------------------------------