├── .github └── workflows │ └── build.yml ├── .gitmodules ├── Dockerfile ├── README.rst ├── examples ├── source_0_original_1c0_rs │ ├── .gitignore │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ └── main.rs ├── source_0_original_1c1_rs │ ├── .gitignore │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ └── main.rs ├── source_0_original_1c2_rs │ ├── .gitignore │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ └── main.rs ├── source_0_original_1c3_rs │ ├── .gitignore │ ├── Cargo.toml │ ├── fuzz │ │ ├── Cargo.toml │ │ └── fuzz_targets │ │ │ └── fuzz_target_1.rs │ └── src │ │ ├── lib.rs │ │ └── main.rs ├── source_0_original_1c4_rs │ ├── .gitignore │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ └── main.rs ├── source_0_original_1c5_rs │ ├── .gitignore │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ └── main.rs ├── source_0_original_1c6_rs │ ├── .gitignore │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ └── main.rs ├── source_0_original_1c7_rs │ ├── .gitignore │ ├── Cargo.toml │ ├── fuzz │ │ ├── Cargo.toml │ │ └── fuzz_targets │ │ │ └── fuzz_target_1.rs │ └── src │ │ ├── lib.rs │ │ └── main.rs ├── source_0_original_1c8_rs │ ├── .gitignore │ ├── Cargo.toml │ ├── fuzz │ │ ├── Cargo.toml │ │ └── fuzz_targets │ │ │ └── fuzz_target_1.rs │ └── src │ │ ├── lib.rs │ │ └── main.rs └── source_0_original_1c9_rs │ ├── .gitignore │ ├── Cargo.toml │ ├── README.md │ ├── fuzz │ ├── Cargo.toml │ └── fuzz_targets │ │ └── fuzz_target_1.rs │ └── src │ ├── lib.rs │ └── main.rs ├── generated ├── build.sh └── linux │ └── .config ├── git_current_branch.sh ├── git_rebase_versions.sh ├── make_build.sh ├── rustc.Dockerfile ├── src ├── cpp │ ├── fold_exec_clang++.sh │ ├── fold_exec_ko-clang++.sh │ ├── fold_exec_sym++_qsym.sh │ ├── fold_exec_sym++_simple_z3.sh │ ├── fold_llvm_clang++.sh │ ├── fold_llvm_ko-clang++.sh │ ├── fold_llvm_sym++.sh │ ├── main_fold_clang++.sh │ ├── main_fold_ko-clang++.sh │ ├── main_fold_sym++_qsym.sh │ └── main_fold_sym++_simple_z3.sh ├── llvm │ ├── cmake.sh │ └── cmake0.sh └── rs │ ├── cargo_fuzz.sh │ ├── cargo_fuzz0.sh │ ├── env.sh │ ├── env0.sh │ ├── fold_symrustc_build.sh │ ├── fold_symrustc_run.sh │ ├── hexdump.sh │ ├── libafl_cargo.sh │ ├── libafl_solving_build.sh │ ├── libafl_solving_build0.sh │ ├── libafl_solving_run.sh │ ├── libafl_solving_run0.sh │ ├── libafl_swap.sh │ ├── libafl_tracing_build.sh │ ├── libafl_tracing_run.sh │ ├── parse_args.sh │ ├── parse_args0.sh │ ├── rustc.sh │ ├── rustc_file.sh │ ├── rustc_none.sh │ ├── rustc_stdin.sh │ ├── symcc_fuzzing_helper.sh │ ├── symrustc.sh │ ├── symrustc_build.sh │ ├── symrustc_build_show.sh │ ├── symrustc_hybrid.sh │ ├── symrustc_run.sh │ └── wait_all.sh └── symrustc.Dockerfile /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/.gitmodules -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/Dockerfile -------------------------------------------------------------------------------- /README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/README.rst -------------------------------------------------------------------------------- /examples/source_0_original_1c0_rs/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /examples/source_0_original_1c0_rs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c0_rs/Cargo.toml -------------------------------------------------------------------------------- /examples/source_0_original_1c0_rs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c0_rs/src/lib.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c0_rs/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c0_rs/src/main.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c1_rs/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /examples/source_0_original_1c1_rs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c1_rs/Cargo.toml -------------------------------------------------------------------------------- /examples/source_0_original_1c1_rs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c1_rs/src/lib.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c1_rs/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c1_rs/src/main.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c2_rs/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /examples/source_0_original_1c2_rs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c2_rs/Cargo.toml -------------------------------------------------------------------------------- /examples/source_0_original_1c2_rs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c2_rs/src/lib.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c2_rs/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c2_rs/src/main.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c3_rs/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /examples/source_0_original_1c3_rs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c3_rs/Cargo.toml -------------------------------------------------------------------------------- /examples/source_0_original_1c3_rs/fuzz/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c3_rs/fuzz/Cargo.toml -------------------------------------------------------------------------------- /examples/source_0_original_1c3_rs/fuzz/fuzz_targets/fuzz_target_1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c3_rs/fuzz/fuzz_targets/fuzz_target_1.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c3_rs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c3_rs/src/lib.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c3_rs/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c3_rs/src/main.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c4_rs/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /examples/source_0_original_1c4_rs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c4_rs/Cargo.toml -------------------------------------------------------------------------------- /examples/source_0_original_1c4_rs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c4_rs/src/lib.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c4_rs/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c4_rs/src/main.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c5_rs/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /examples/source_0_original_1c5_rs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c5_rs/Cargo.toml -------------------------------------------------------------------------------- /examples/source_0_original_1c5_rs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c5_rs/src/lib.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c5_rs/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c5_rs/src/main.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c6_rs/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /examples/source_0_original_1c6_rs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c6_rs/Cargo.toml -------------------------------------------------------------------------------- /examples/source_0_original_1c6_rs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c6_rs/src/lib.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c6_rs/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c6_rs/src/main.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c7_rs/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /examples/source_0_original_1c7_rs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c7_rs/Cargo.toml -------------------------------------------------------------------------------- /examples/source_0_original_1c7_rs/fuzz/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c7_rs/fuzz/Cargo.toml -------------------------------------------------------------------------------- /examples/source_0_original_1c7_rs/fuzz/fuzz_targets/fuzz_target_1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c7_rs/fuzz/fuzz_targets/fuzz_target_1.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c7_rs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c7_rs/src/lib.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c7_rs/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c7_rs/src/main.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c8_rs/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /examples/source_0_original_1c8_rs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c8_rs/Cargo.toml -------------------------------------------------------------------------------- /examples/source_0_original_1c8_rs/fuzz/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c8_rs/fuzz/Cargo.toml -------------------------------------------------------------------------------- /examples/source_0_original_1c8_rs/fuzz/fuzz_targets/fuzz_target_1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c8_rs/fuzz/fuzz_targets/fuzz_target_1.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c8_rs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c8_rs/src/lib.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c8_rs/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c8_rs/src/main.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c9_rs/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /examples/source_0_original_1c9_rs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c9_rs/Cargo.toml -------------------------------------------------------------------------------- /examples/source_0_original_1c9_rs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c9_rs/README.md -------------------------------------------------------------------------------- /examples/source_0_original_1c9_rs/fuzz/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c9_rs/fuzz/Cargo.toml -------------------------------------------------------------------------------- /examples/source_0_original_1c9_rs/fuzz/fuzz_targets/fuzz_target_1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c9_rs/fuzz/fuzz_targets/fuzz_target_1.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c9_rs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c9_rs/src/lib.rs -------------------------------------------------------------------------------- /examples/source_0_original_1c9_rs/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/examples/source_0_original_1c9_rs/src/main.rs -------------------------------------------------------------------------------- /generated/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/generated/build.sh -------------------------------------------------------------------------------- /generated/linux/.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/generated/linux/.config -------------------------------------------------------------------------------- /git_current_branch.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/git_current_branch.sh -------------------------------------------------------------------------------- /git_rebase_versions.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/git_rebase_versions.sh -------------------------------------------------------------------------------- /make_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/make_build.sh -------------------------------------------------------------------------------- /rustc.Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/rustc.Dockerfile -------------------------------------------------------------------------------- /src/cpp/fold_exec_clang++.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/cpp/fold_exec_clang++.sh -------------------------------------------------------------------------------- /src/cpp/fold_exec_ko-clang++.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/cpp/fold_exec_ko-clang++.sh -------------------------------------------------------------------------------- /src/cpp/fold_exec_sym++_qsym.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/cpp/fold_exec_sym++_qsym.sh -------------------------------------------------------------------------------- /src/cpp/fold_exec_sym++_simple_z3.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/cpp/fold_exec_sym++_simple_z3.sh -------------------------------------------------------------------------------- /src/cpp/fold_llvm_clang++.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/cpp/fold_llvm_clang++.sh -------------------------------------------------------------------------------- /src/cpp/fold_llvm_ko-clang++.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/cpp/fold_llvm_ko-clang++.sh -------------------------------------------------------------------------------- /src/cpp/fold_llvm_sym++.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/cpp/fold_llvm_sym++.sh -------------------------------------------------------------------------------- /src/cpp/main_fold_clang++.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/cpp/main_fold_clang++.sh -------------------------------------------------------------------------------- /src/cpp/main_fold_ko-clang++.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/cpp/main_fold_ko-clang++.sh -------------------------------------------------------------------------------- /src/cpp/main_fold_sym++_qsym.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/cpp/main_fold_sym++_qsym.sh -------------------------------------------------------------------------------- /src/cpp/main_fold_sym++_simple_z3.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/cpp/main_fold_sym++_simple_z3.sh -------------------------------------------------------------------------------- /src/llvm/cmake.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/llvm/cmake.sh -------------------------------------------------------------------------------- /src/llvm/cmake0.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/llvm/cmake0.sh -------------------------------------------------------------------------------- /src/rs/cargo_fuzz.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/cargo_fuzz.sh -------------------------------------------------------------------------------- /src/rs/cargo_fuzz0.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/cargo_fuzz0.sh -------------------------------------------------------------------------------- /src/rs/env.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/env.sh -------------------------------------------------------------------------------- /src/rs/env0.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/env0.sh -------------------------------------------------------------------------------- /src/rs/fold_symrustc_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/fold_symrustc_build.sh -------------------------------------------------------------------------------- /src/rs/fold_symrustc_run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/fold_symrustc_run.sh -------------------------------------------------------------------------------- /src/rs/hexdump.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/hexdump.sh -------------------------------------------------------------------------------- /src/rs/libafl_cargo.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/libafl_cargo.sh -------------------------------------------------------------------------------- /src/rs/libafl_solving_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/libafl_solving_build.sh -------------------------------------------------------------------------------- /src/rs/libafl_solving_build0.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/libafl_solving_build0.sh -------------------------------------------------------------------------------- /src/rs/libafl_solving_run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/libafl_solving_run.sh -------------------------------------------------------------------------------- /src/rs/libafl_solving_run0.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/libafl_solving_run0.sh -------------------------------------------------------------------------------- /src/rs/libafl_swap.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/libafl_swap.sh -------------------------------------------------------------------------------- /src/rs/libafl_tracing_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/libafl_tracing_build.sh -------------------------------------------------------------------------------- /src/rs/libafl_tracing_run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/libafl_tracing_run.sh -------------------------------------------------------------------------------- /src/rs/parse_args.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/parse_args.sh -------------------------------------------------------------------------------- /src/rs/parse_args0.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/parse_args0.sh -------------------------------------------------------------------------------- /src/rs/rustc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/rustc.sh -------------------------------------------------------------------------------- /src/rs/rustc_file.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/rustc_file.sh -------------------------------------------------------------------------------- /src/rs/rustc_none.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/rustc_none.sh -------------------------------------------------------------------------------- /src/rs/rustc_stdin.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/rustc_stdin.sh -------------------------------------------------------------------------------- /src/rs/symcc_fuzzing_helper.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/symcc_fuzzing_helper.sh -------------------------------------------------------------------------------- /src/rs/symrustc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/symrustc.sh -------------------------------------------------------------------------------- /src/rs/symrustc_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/symrustc_build.sh -------------------------------------------------------------------------------- /src/rs/symrustc_build_show.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/symrustc_build_show.sh -------------------------------------------------------------------------------- /src/rs/symrustc_hybrid.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/symrustc_hybrid.sh -------------------------------------------------------------------------------- /src/rs/symrustc_run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/symrustc_run.sh -------------------------------------------------------------------------------- /src/rs/wait_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/src/rs/wait_all.sh -------------------------------------------------------------------------------- /symrustc.Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sfu-rsl/symrustc/HEAD/symrustc.Dockerfile --------------------------------------------------------------------------------