├── .gitattributes ├── .github └── workflows │ └── ci.yaml ├── .gitignore ├── .gitmodules ├── LICENSE ├── Makefile ├── README.md ├── annotations ├── .gitignore ├── LICENSE ├── reopt-vcg-ann.cabal └── src │ └── Reopt │ └── VCG │ ├── Annotations.hs │ └── SMTParser.hs ├── cabal.project ├── cabal.project.freeze.ghc.8.10.7 ├── cabal.project.freeze.ghc.9.2.8 ├── cabal.project.freeze.ghc.9.4.8 ├── cabal.project.freeze.ghc.9.6.4 ├── cabal.project.freeze.ghc.9.8.2 ├── cabal.project.werror ├── cabal.project.werror-all ├── containers ├── dev-with-builds │ ├── Dockerfile │ └── README.md ├── dev │ └── Dockerfile ├── eval-with-examples │ ├── Dockerfile │ └── README.md ├── eval │ ├── .gitignore │ └── Dockerfile ├── occam │ └── Dockerfile └── vcg-dev │ └── Dockerfile ├── documentation ├── ArgumentAnalysis.md ├── DESIGN.md ├── Discovery.md ├── FunctionRecovery.md ├── HeaderResolution.md ├── LLVMBitcodeCompilation.md ├── ModuleConstraintsGeneration.md └── Recovery.md ├── examples ├── Makefile ├── division_by_zero ├── division_by_zero.c ├── empty_main │ ├── Makefile │ ├── README.md │ ├── artifacts │ │ ├── make.out │ │ └── reopt_tmp │ │ │ ├── empty_main_args_diet_clang.reopt │ │ │ ├── empty_main_args_diet_gcc.reopt │ │ │ ├── empty_main_no_args_diet_clang.reopt │ │ │ └── empty_main_no_args_diet_gcc.reopt │ ├── empty_main_args.c │ └── empty_main_no_args.c ├── hello_world │ ├── .gitignore │ ├── Makefile │ ├── README │ ├── diet_redir.yaml │ ├── goodbye_world.c │ ├── goodbye_world_ubuntu_64_lts_12_05_diet.o │ ├── hello_world.c │ ├── hello_world_example.sh │ ├── hello_world_ubuntu_64_lts_12_04_diet │ ├── hello_world_ubuntu_64_lts_12_04_diet.o │ ├── hello_world_ubuntu_64_lts_12_04_glibc │ ├── hello_world_ubuntu_64_lts_12_04_musl │ ├── hello_world_ubuntu_64_lts_12_04_musl.o │ ├── redir_diet_goodbye_world.sh │ └── test-binaries │ │ ├── test-diet-bad-elf.x86_64-exe │ │ ├── test-diet-good-elf.x86_64-exe │ │ ├── test-diet-reopt.x86_64-exe │ │ └── test-diet-return-0.x86_64-exe ├── libnewt.so.0.52 ├── ls_ubuntu_64 ├── nweb23_static_freebsd ├── picoc │ ├── picoc-clang │ ├── picoc-diet-c99 │ ├── picoc-gcc │ └── picoc.md ├── simple ├── simple.cpp ├── test_1_a ├── test_1_b ├── test_add ├── test_mul ├── tests │ ├── README.md │ ├── fib_test.1234 │ ├── fib_test.123456 │ ├── fib_test.1234_123456.gpr_map │ ├── fib_test.1234_123456.rip_map │ ├── fib_test.c │ ├── identity.gpr_map │ ├── xor-nof.bc_map │ ├── xor-nof.c │ ├── xor-nof.rip_map │ ├── xor-nof1 │ ├── xor-nof2 │ ├── xorshift.1234 │ ├── xorshift.123456 │ ├── xorshift.1234_123456.gpr_map │ ├── xorshift.1234_123456.rip_map │ └── xorshift.c └── thttpd ├── fourmolu.yaml ├── hie.yaml ├── llvm-merge-example-ubuntu ├── Makefile ├── README.md ├── data.c ├── data.h ├── example │ ├── latest.txt │ ├── llvm-latest │ │ ├── _Exit_40268f.ll │ │ ├── _Exit_40268f.s │ │ ├── _IO_feof_unlocked_401d23.ll │ │ ├── _IO_feof_unlocked_401d23.s │ │ ├── __aio_close_402b2f.ll │ │ ├── __aio_close_402b2f.s │ │ ├── __copy_tls_4024e2.ll │ │ ├── __copy_tls_4024e2.s │ │ ├── __do_global_dtors_aux_400210.ll │ │ ├── __do_global_dtors_aux_400210.s │ │ ├── __errno_location_402681.ll │ │ ├── __errno_location_402681.s │ │ ├── __expand_heap_4026e0.ll │ │ ├── __expand_heap_4026e0.s │ │ ├── __fdopen_40284f.ll │ │ ├── __fdopen_40284f.s │ │ ├── __fmodeflags_4029ad.ll │ │ ├── __fmodeflags_4029ad.s │ │ ├── __funcs_on_exit_40083c.ll │ │ ├── __funcs_on_exit_40083c.s │ │ ├── __fwritex_402058.ll │ │ ├── __fwritex_402058.s │ │ ├── __init_libc_40068c.ll │ │ ├── __init_libc_40068c.s │ │ ├── __init_ssp_40068b.ll │ │ ├── __init_ssp_40068b.s │ │ ├── __init_tls_40255b.ll │ │ ├── __init_tls_40255b.s │ │ ├── __init_tp_402496.ll │ │ ├── __init_tp_402496.s │ │ ├── __libc_exit_fini_40083d.ll │ │ ├── __libc_exit_fini_40083d.s │ │ ├── __libc_start_init_4007e2.ll │ │ ├── __libc_start_init_4007e2.s │ │ ├── __libc_start_main_400802.ll │ │ ├── __libc_start_main_400802.s │ │ ├── __lock_4023a7.ll │ │ ├── __lock_4023a7.s │ │ ├── __lockfile_402a2c.ll │ │ ├── __lockfile_402a2c.s │ │ ├── __madvise_401b0a.ll │ │ ├── __madvise_401b0a.s │ │ ├── __malloc0_401860.ll │ │ ├── __malloc0_401860.s │ │ ├── __mremap_401bb6.ll │ │ ├── __mremap_401bb6.s │ │ ├── __munmap_401c4a.ll │ │ ├── __munmap_401c4a.s │ │ ├── __ofl_add_402d6a.ll │ │ ├── __ofl_add_402d6a.s │ │ ├── __ofl_lock_40217e.ll │ │ ├── __ofl_lock_40217e.s │ │ ├── __ofl_unlock_402190.ll │ │ ├── __ofl_unlock_402190.s │ │ ├── __overflow_402ac5.ll │ │ ├── __overflow_402ac5.s │ │ ├── __set_thread_area_402e57.ll │ │ ├── __set_thread_area_402e57.s │ │ ├── __simple_malloc_400860.ll │ │ ├── __simple_malloc_400860.s │ │ ├── __stdio_close_402b32.ll │ │ ├── __stdio_close_402b32.s │ │ ├── __stdio_exit_needed_402eb4.ll │ │ ├── __stdio_exit_needed_402eb4.s │ │ ├── __stdio_read_402b4f.ll │ │ ├── __stdio_read_402b4f.s │ │ ├── __stdio_seek_402bf3.ll │ │ ├── __stdio_seek_402bf3.s │ │ ├── __stdio_write_402c09.ll │ │ ├── __stdio_write_402c09.s │ │ ├── __syscall_ret_4026b0.ll │ │ ├── __syscall_ret_4026b0.s │ │ ├── __toread_402ee9.ll │ │ ├── __toread_402ee9.s │ │ ├── __toread_needs_stdio_exit_402f4f.ll │ │ ├── __toread_needs_stdio_exit_402f4f.s │ │ ├── __towrite_402ce8.ll │ │ ├── __towrite_402ce8.s │ │ ├── __towrite_needs_stdio_exit_402d2f.ll │ │ ├── __towrite_needs_stdio_exit_402d2f.s │ │ ├── __uflow_402d34.ll │ │ ├── __uflow_402d34.s │ │ ├── __unlist_locked_file_401c79.ll │ │ ├── __unlist_locked_file_401c79.s │ │ ├── __unlock_4023e2.ll │ │ ├── __unlock_4023e2.s │ │ ├── __unlockfile_402a80.ll │ │ ├── __unlockfile_402a80.s │ │ ├── __vm_wait_401b1f.ll │ │ ├── __vm_wait_401b1f.s │ │ ├── __wait_40241c.ll │ │ ├── __wait_40241c.s │ │ ├── _start_c_40016a.ll │ │ ├── _start_c_40016a.s │ │ ├── alloc_fwd_4009a0.ll │ │ ├── alloc_fwd_4009a0.ll.out │ │ ├── alloc_rev_400bf0.ll │ │ ├── alloc_rev_400bf0.ll.out │ │ ├── close_file_402e67.ll │ │ ├── close_file_402e67.s │ │ ├── deregister_tm_clones_400190.ll │ │ ├── deregister_tm_clones_400190.s │ │ ├── dummy_40068a.ll │ │ ├── dummy_40068a.s │ │ ├── dummy_401bb5.ll │ │ ├── dummy_401bb5.s │ │ ├── dummy_401c49.ll │ │ ├── dummy_401c49.s │ │ ├── exit_400130.ll │ │ ├── exit_400130.s │ │ ├── fclose_401c7a.ll │ │ ├── fclose_401c7a.s │ │ ├── fflush_401dbf.ll │ │ ├── fflush_401dbf.s │ │ ├── fflush_unlocked_401d55.ll │ │ ├── fflush_unlocked_401d55.s │ │ ├── fgetc_401e7c.ll │ │ ├── fgetc_401e7c.s │ │ ├── fopen64_401ee8.ll │ │ ├── fopen64_401ee8.s │ │ ├── fputc_401f8a.ll │ │ ├── fputc_401f8a.s │ │ ├── fputs_402023.ll │ │ ├── fputs_402023.s │ │ ├── frame_dummy_400230.ll │ │ ├── frame_dummy_400230.s │ │ ├── free_400e40.ll │ │ ├── free_400e40.ll.out │ │ ├── fwrite_402101.ll │ │ ├── fwrite_402101.s │ │ ├── log.txt │ │ ├── main_400603.ll │ │ ├── main_400603.s │ │ ├── malloc_401280.ll │ │ ├── malloc_401280.ll.out │ │ ├── memcpy_402375.ll │ │ ├── memcpy_402375.s │ │ ├── memset_402d93.ll │ │ ├── memset_402d93.s │ │ ├── mmap64_401b20.ll │ │ ├── mmap64_401b20.s │ │ ├── print_tree_400256.ll │ │ ├── print_tree_400256.s │ │ ├── read_tree_4005aa.ll │ │ ├── read_tree_4005aa.s │ │ ├── read_tree_payload_40041e.ll │ │ ├── read_tree_payload_40041e.s │ │ ├── realloc_4018b0.ll │ │ ├── realloc_4018b0.s │ │ ├── really_read_tree_400522.ll │ │ ├── really_read_tree_400522.s │ │ ├── really_write_tree_400335.ll │ │ ├── really_write_tree_400335.s │ │ ├── register_tm_clones_4001d0.ll │ │ ├── register_tm_clones_4001d0.s │ │ ├── strchr_4021a0.ll │ │ ├── strchr_4021a0.s │ │ ├── strchrnul_4021c0.ll │ │ ├── strchrnul_4021c0.s │ │ ├── strcmp_4022c0.ll │ │ ├── strcmp_4022c0.s │ │ ├── strlen_402300.ll │ │ ├── strlen_402300.s │ │ ├── tree_equal_4002a0.ll │ │ ├── tree_equal_4002a0.s │ │ ├── unknown_400120.ll │ │ ├── unknown_400120.s │ │ ├── unknown_400154.ll │ │ ├── unknown_400154.s │ │ ├── unknown_402f54.ll │ │ ├── unknown_402f54.s │ │ ├── write_tree_4003c1.ll │ │ └── write_tree_4003c1.s │ └── tmp │ │ ├── frankentree │ │ ├── original-tree │ │ ├── redirect_F40016a_to__start_c.s │ │ ├── redirect_F400603_to_main.s │ │ ├── redirect_F400802_to___libc_start_main.s │ │ ├── redirect_F40083d_to___libc_exit_fini.s │ │ ├── redirect_F400e40_to_free.s │ │ ├── redirect_F401280_to_malloc.s │ │ └── redirect_F4018b0_to_realloc.s ├── mk.sh └── tree.c ├── llvm-merge-example ├── .gitignore ├── Assembler.hs ├── Makefile ├── README.md ├── data.c ├── data.h ├── mk.sh ├── original-tree ├── original-tree.ll ├── tree.c └── tree.ll ├── llvm-testbed ├── README.md ├── memcmp │ ├── Makefile │ ├── main.c │ └── memcmp_4004ec.ll └── memcpy-and-strlen │ ├── Makefile │ ├── README.md │ ├── generator.c │ ├── main.c │ ├── memcpy_400645.ll │ ├── memcpy_400a28.ll │ ├── reopted-files-from-generator │ ├── memcpy_400645.ll │ └── strlen_4005d0.ll │ ├── reopted-files-from-hello-world │ ├── memcpy_400a28.ll │ └── strlen_4009b0.ll │ ├── strlen_4005d0.ll │ └── strlen_4009b0.ll ├── reopt-explore ├── CommandLine.hs ├── Common.hs ├── LLVM.hs ├── Main_explore.hs ├── Residual.hs └── Residual │ └── Recognizers.hs ├── reopt-relink └── Main_relink.hs ├── reopt.cabal ├── reopt └── Main_reopt.hs ├── reopt_test ├── Main_reopt.hs └── SignalUtils.hs ├── scratch └── shed.h ├── scripts ├── linux_binutils.sh ├── run_graphmod.sh ├── run_reopt.sh ├── run_residuals.sh ├── test_reopt.sh ├── test_reopt_explore.sh ├── test_reopt_with_relink.sh └── unpack_benchmarks.sh ├── src ├── Reopt.hs └── Reopt │ ├── Analysis │ └── Domains │ │ └── DiffEquations.hs │ ├── ArgResolver.hs │ ├── CFG │ ├── FnRep.hs │ ├── FnRep │ │ └── X86.hs │ ├── FunctionCheck.hs │ ├── LLVM.hs │ ├── LLVM │ │ └── X86.hs │ ├── Recovery.hs │ └── StackDepth.hs │ ├── Concrete │ └── BitVector.hs │ ├── ELFArchInfo.hs │ ├── EncodeInvariants.hs │ ├── Events.hs │ ├── Events │ └── Export.hs │ ├── ExternalTools.hs │ ├── FunUseMap.hs │ ├── Hints.hs │ ├── Occam.hs │ ├── PLTParser.hs │ ├── Relinker.hs │ ├── Relinker │ ├── Binary.hs │ ├── Constants.hs │ ├── NewBinary.hs │ ├── NewLayout.hs │ ├── NewSymtab.hs │ ├── Redirection.hs │ ├── Relations.hs │ └── Relocations.hs │ ├── Server.hs │ ├── TypeInference │ ├── ConstraintGen.hs │ ├── DebugTypes.hs │ ├── FunTypeMaps.hs │ ├── Header.hs │ ├── HeaderTypes.hs │ ├── Pretty.hs │ ├── Solver.hs │ └── Solver │ │ ├── Constraints.hs │ │ ├── Finalize.hs │ │ ├── Monad.hs │ │ ├── RowVariables.hs │ │ ├── Solver.hs │ │ ├── TypeVariables.hs │ │ ├── Types.hs │ │ └── UnionFindMap.hs │ ├── Utils │ ├── Dir.hs │ ├── Exit.hs │ ├── Flags.hs │ ├── Folds.hs │ ├── Hex.hs │ └── Printf.hs │ └── X86.hs ├── stats ├── .gitignore ├── README.rst ├── poetry.lock ├── pyproject.toml ├── stats │ ├── __init__.py │ ├── grammatech.py │ ├── main.py │ └── sheets.py └── tests │ ├── __init__.py │ └── test_stats.py ├── support ├── .gitignore ├── Makefile ├── README ├── abi_test.c ├── avx_intrin.512.c ├── llvm_return_test.ll ├── print_csize_info.c ├── print_stackheap_addrs.c ├── print_startup_info │ ├── Makefile │ ├── README │ ├── print_startup_info │ ├── print_startup_info.c │ ├── reopt_print_startup_info.sh │ ├── start.s │ └── write.s ├── test_except │ ├── .gitignore │ ├── Makefile │ └── test_except.cpp └── x86_llvm_asm_examples │ ├── .gitignore │ ├── Makefile │ ├── README.md │ ├── test_movsd.c │ └── test_repstos.c ├── tests ├── Main.hs ├── README.rst ├── ReoptTests.hs ├── TyConstraintTests.hs ├── plan.org └── x64 │ ├── .gitignore │ ├── Makefile │ ├── test-conditional.c │ ├── test-conditional.exe │ ├── test-conditional.s │ ├── test-direct-calls.c │ ├── test-direct-calls.exe │ ├── test-direct-calls.s │ ├── test-indirect-call.c │ ├── test-indirect-call.exe │ ├── test-indirect-call.s │ ├── test-just-exit.c │ ├── test-just-exit.exe │ ├── test-just-exit.s │ ├── test-tail-call.c │ ├── test-tail-call.exe │ ├── test-tail-call.s │ └── util.h ├── tools ├── README.md ├── dump_debug_data │ └── Main.hs ├── dump_vtables │ └── Main.hs ├── reopt-checker │ ├── LICENSE │ ├── README.md │ ├── reopt-checker.cabal │ └── src │ │ └── Main.hs ├── reopt-tools.cabal └── utils │ ├── ConcreteDumpInstr.hs │ ├── cleaner.py │ ├── compare.sh │ ├── concrete-dump.sh │ ├── diffcleaner.py │ ├── dump_bytes.sh │ ├── dump_instr.sh │ ├── llvm-dump.sh │ └── mkbin.sh ├── typegen-test-programs ├── Makefile ├── README.md ├── byte_loop.c ├── make_in_docker.sh ├── mixed_struct_pointer.c ├── nested_mutual_rec_types.c ├── nested_struct_ptr.c ├── nested_struct_ptr.o ├── nested_struct_ptr2.c ├── simple_pointer.c ├── test.h ├── union_argument.c └── union_in_struct.c ├── vcg-test-programs ├── .gitignore ├── Makefile ├── README ├── diet │ ├── libc.a │ └── start.o ├── glibc │ ├── crt1.o │ ├── crti.o │ ├── libc.a │ ├── libgcc.a │ ├── libgcc_eh.a │ └── placeholder_initfini.c ├── nweb │ ├── .gitignore │ ├── Makefile │ ├── README.md │ ├── content │ │ ├── index.html │ │ └── nweb.log │ ├── integration_test.sh │ ├── nweb.h │ ├── nweb23.c │ ├── nweb23.exe │ └── nweb23.manifest ├── test_add.bc ├── test_add.c ├── test_add.manifest ├── test_add_diet_ld.exe ├── test_add_diet_lld.ann ├── test_add_diet_lld.exe ├── test_add_glibc_lld.exe ├── test_add_protos.h ├── test_fib.c ├── test_fib.manifest ├── test_fib_diet_ld.exe ├── test_fib_diet_lld.ann ├── test_fib_diet_lld.exe ├── test_fib_protos.h ├── test_fpadd.c └── test_fpadd_protos.h └── vscode-plugin ├── .eslintignore ├── .eslintrc.json ├── .gitignore ├── .vscode ├── extensions.json ├── launch.json ├── settings.json └── tasks.json ├── .vscodeignore ├── CHANGELOG.md ├── README.md ├── assets ├── codicon-list-tree.png ├── reopt-diagnostics.png ├── reopt-full-window-annotated.png ├── reopt-full-window-project-file.png ├── reopt-full-window-vcg-diagnostics.png ├── reopt-full-window.png ├── reopt-generate-buttons.png ├── reopt-project-buttons.png └── reopt-vcg-diagnostics.png ├── example ├── .gitignore └── test_add_diet_lld.exe ├── package-lock.json ├── package.json ├── reopt-0.0.1.vsix ├── schemas └── rpj-schema.json ├── src ├── activity-webview │ ├── entry-point.tsx │ ├── tsconfig.json │ └── webview.tsx ├── extension │ ├── activity-message-handler.ts │ ├── activity-view-provider.ts │ ├── check-magic-number.ts │ ├── create-reopt-project.ts │ ├── main.ts │ ├── nonce.ts │ ├── open-reopt-project.ts │ ├── reopt-vcg-view-provider.ts │ ├── reopt-vcg.ts │ ├── reopt.ts │ ├── symbol-provider.ts │ ├── tree-data-provider.ts │ ├── tsconfig.json │ └── workspace-addresses.ts ├── reopt-vcg-webview │ ├── entry-point.tsx │ ├── tsconfig.json │ └── webview.tsx ├── shared │ ├── activity-webview-to-extension.ts │ ├── constants.ts │ ├── deserializers.ts │ ├── extension-to-activity-webview.ts │ ├── extension-to-reopt-vcg-webview.ts │ ├── interfaces.ts │ ├── package.json │ ├── project-configuration.ts │ ├── promisified.ts │ ├── reopt-vcg-webview-to-extension.ts │ ├── serializers.ts │ ├── tsconfig.json │ └── workspace-state.ts └── test │ ├── runTest.ts │ └── suite │ ├── extension.test.ts │ └── index.ts ├── tsconfig-common.json ├── tsconfig.json ├── webpack.config.ts └── webview-static ├── activity-webview.css ├── contents.html ├── nweb23.jsons └── webview.css /.gitattributes: -------------------------------------------------------------------------------- 1 | cabal.project.freeze* linguist-generated -------------------------------------------------------------------------------- /.github/workflows/ci.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/.github/workflows/ci.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/README.md -------------------------------------------------------------------------------- /annotations/.gitignore: -------------------------------------------------------------------------------- 1 | .stack-work -------------------------------------------------------------------------------- /annotations/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/annotations/LICENSE -------------------------------------------------------------------------------- /annotations/reopt-vcg-ann.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/annotations/reopt-vcg-ann.cabal -------------------------------------------------------------------------------- /annotations/src/Reopt/VCG/Annotations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/annotations/src/Reopt/VCG/Annotations.hs -------------------------------------------------------------------------------- /annotations/src/Reopt/VCG/SMTParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/annotations/src/Reopt/VCG/SMTParser.hs -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/cabal.project -------------------------------------------------------------------------------- /cabal.project.freeze.ghc.8.10.7: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/cabal.project.freeze.ghc.8.10.7 -------------------------------------------------------------------------------- /cabal.project.freeze.ghc.9.2.8: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/cabal.project.freeze.ghc.9.2.8 -------------------------------------------------------------------------------- /cabal.project.freeze.ghc.9.4.8: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/cabal.project.freeze.ghc.9.4.8 -------------------------------------------------------------------------------- /cabal.project.freeze.ghc.9.6.4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/cabal.project.freeze.ghc.9.6.4 -------------------------------------------------------------------------------- /cabal.project.freeze.ghc.9.8.2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/cabal.project.freeze.ghc.9.8.2 -------------------------------------------------------------------------------- /cabal.project.werror: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/cabal.project.werror -------------------------------------------------------------------------------- /cabal.project.werror-all: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/cabal.project.werror-all -------------------------------------------------------------------------------- /containers/dev-with-builds/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/containers/dev-with-builds/Dockerfile -------------------------------------------------------------------------------- /containers/dev-with-builds/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/containers/dev-with-builds/README.md -------------------------------------------------------------------------------- /containers/dev/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/containers/dev/Dockerfile -------------------------------------------------------------------------------- /containers/eval-with-examples/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/containers/eval-with-examples/Dockerfile -------------------------------------------------------------------------------- /containers/eval-with-examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/containers/eval-with-examples/README.md -------------------------------------------------------------------------------- /containers/eval/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/containers/eval/.gitignore -------------------------------------------------------------------------------- /containers/eval/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/containers/eval/Dockerfile -------------------------------------------------------------------------------- /containers/occam/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/containers/occam/Dockerfile -------------------------------------------------------------------------------- /containers/vcg-dev/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/containers/vcg-dev/Dockerfile -------------------------------------------------------------------------------- /documentation/ArgumentAnalysis.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/documentation/ArgumentAnalysis.md -------------------------------------------------------------------------------- /documentation/DESIGN.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/documentation/DESIGN.md -------------------------------------------------------------------------------- /documentation/Discovery.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/documentation/Discovery.md -------------------------------------------------------------------------------- /documentation/FunctionRecovery.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/documentation/FunctionRecovery.md -------------------------------------------------------------------------------- /documentation/HeaderResolution.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/documentation/HeaderResolution.md -------------------------------------------------------------------------------- /documentation/LLVMBitcodeCompilation.md: -------------------------------------------------------------------------------- 1 | # LLVM Bitcode Compilation 2 | 3 | TODO 4 | -------------------------------------------------------------------------------- /documentation/ModuleConstraintsGeneration.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/documentation/ModuleConstraintsGeneration.md -------------------------------------------------------------------------------- /documentation/Recovery.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/documentation/Recovery.md -------------------------------------------------------------------------------- /examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/Makefile -------------------------------------------------------------------------------- /examples/division_by_zero: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/division_by_zero -------------------------------------------------------------------------------- /examples/division_by_zero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/division_by_zero.c -------------------------------------------------------------------------------- /examples/empty_main/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/empty_main/Makefile -------------------------------------------------------------------------------- /examples/empty_main/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/empty_main/README.md -------------------------------------------------------------------------------- /examples/empty_main/artifacts/make.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/empty_main/artifacts/make.out -------------------------------------------------------------------------------- /examples/empty_main/artifacts/reopt_tmp/empty_main_args_diet_clang.reopt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/empty_main/artifacts/reopt_tmp/empty_main_args_diet_clang.reopt -------------------------------------------------------------------------------- /examples/empty_main/artifacts/reopt_tmp/empty_main_args_diet_gcc.reopt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/empty_main/artifacts/reopt_tmp/empty_main_args_diet_gcc.reopt -------------------------------------------------------------------------------- /examples/empty_main/artifacts/reopt_tmp/empty_main_no_args_diet_clang.reopt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/empty_main/artifacts/reopt_tmp/empty_main_no_args_diet_clang.reopt -------------------------------------------------------------------------------- /examples/empty_main/artifacts/reopt_tmp/empty_main_no_args_diet_gcc.reopt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/empty_main/artifacts/reopt_tmp/empty_main_no_args_diet_gcc.reopt -------------------------------------------------------------------------------- /examples/empty_main/empty_main_args.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/empty_main/empty_main_args.c -------------------------------------------------------------------------------- /examples/empty_main/empty_main_no_args.c: -------------------------------------------------------------------------------- 1 | int main() { return 0; } 2 | -------------------------------------------------------------------------------- /examples/hello_world/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/hello_world/.gitignore -------------------------------------------------------------------------------- /examples/hello_world/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/hello_world/Makefile -------------------------------------------------------------------------------- /examples/hello_world/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/hello_world/README -------------------------------------------------------------------------------- /examples/hello_world/diet_redir.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/hello_world/diet_redir.yaml -------------------------------------------------------------------------------- /examples/hello_world/goodbye_world.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/hello_world/goodbye_world.c -------------------------------------------------------------------------------- /examples/hello_world/goodbye_world_ubuntu_64_lts_12_05_diet.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/hello_world/goodbye_world_ubuntu_64_lts_12_05_diet.o -------------------------------------------------------------------------------- /examples/hello_world/hello_world.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/hello_world/hello_world.c -------------------------------------------------------------------------------- /examples/hello_world/hello_world_example.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/hello_world/hello_world_example.sh -------------------------------------------------------------------------------- /examples/hello_world/hello_world_ubuntu_64_lts_12_04_diet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/hello_world/hello_world_ubuntu_64_lts_12_04_diet -------------------------------------------------------------------------------- /examples/hello_world/hello_world_ubuntu_64_lts_12_04_diet.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/hello_world/hello_world_ubuntu_64_lts_12_04_diet.o -------------------------------------------------------------------------------- /examples/hello_world/hello_world_ubuntu_64_lts_12_04_glibc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/hello_world/hello_world_ubuntu_64_lts_12_04_glibc -------------------------------------------------------------------------------- /examples/hello_world/hello_world_ubuntu_64_lts_12_04_musl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/hello_world/hello_world_ubuntu_64_lts_12_04_musl -------------------------------------------------------------------------------- /examples/hello_world/hello_world_ubuntu_64_lts_12_04_musl.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/hello_world/hello_world_ubuntu_64_lts_12_04_musl.o -------------------------------------------------------------------------------- /examples/hello_world/redir_diet_goodbye_world.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/hello_world/redir_diet_goodbye_world.sh -------------------------------------------------------------------------------- /examples/hello_world/test-binaries/test-diet-bad-elf.x86_64-exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/hello_world/test-binaries/test-diet-bad-elf.x86_64-exe -------------------------------------------------------------------------------- /examples/hello_world/test-binaries/test-diet-good-elf.x86_64-exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/hello_world/test-binaries/test-diet-good-elf.x86_64-exe -------------------------------------------------------------------------------- /examples/hello_world/test-binaries/test-diet-reopt.x86_64-exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/hello_world/test-binaries/test-diet-reopt.x86_64-exe -------------------------------------------------------------------------------- /examples/hello_world/test-binaries/test-diet-return-0.x86_64-exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/hello_world/test-binaries/test-diet-return-0.x86_64-exe -------------------------------------------------------------------------------- /examples/libnewt.so.0.52: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/libnewt.so.0.52 -------------------------------------------------------------------------------- /examples/ls_ubuntu_64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/ls_ubuntu_64 -------------------------------------------------------------------------------- /examples/nweb23_static_freebsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/nweb23_static_freebsd -------------------------------------------------------------------------------- /examples/picoc/picoc-clang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/picoc/picoc-clang -------------------------------------------------------------------------------- /examples/picoc/picoc-diet-c99: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/picoc/picoc-diet-c99 -------------------------------------------------------------------------------- /examples/picoc/picoc-gcc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/picoc/picoc-gcc -------------------------------------------------------------------------------- /examples/picoc/picoc.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/picoc/picoc.md -------------------------------------------------------------------------------- /examples/simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/simple -------------------------------------------------------------------------------- /examples/simple.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/simple.cpp -------------------------------------------------------------------------------- /examples/test_1_a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/test_1_a -------------------------------------------------------------------------------- /examples/test_1_b: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/test_1_b -------------------------------------------------------------------------------- /examples/test_add: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/test_add -------------------------------------------------------------------------------- /examples/test_mul: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/test_mul -------------------------------------------------------------------------------- /examples/tests/README.md: -------------------------------------------------------------------------------- 1 | See :/radss_compare/README.md. 2 | -------------------------------------------------------------------------------- /examples/tests/fib_test.1234: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/tests/fib_test.1234 -------------------------------------------------------------------------------- /examples/tests/fib_test.123456: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/tests/fib_test.123456 -------------------------------------------------------------------------------- /examples/tests/fib_test.1234_123456.gpr_map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/tests/fib_test.1234_123456.gpr_map -------------------------------------------------------------------------------- /examples/tests/fib_test.1234_123456.rip_map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/tests/fib_test.1234_123456.rip_map -------------------------------------------------------------------------------- /examples/tests/fib_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/tests/fib_test.c -------------------------------------------------------------------------------- /examples/tests/identity.gpr_map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/tests/identity.gpr_map -------------------------------------------------------------------------------- /examples/tests/xor-nof.bc_map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/tests/xor-nof.bc_map -------------------------------------------------------------------------------- /examples/tests/xor-nof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/tests/xor-nof.c -------------------------------------------------------------------------------- /examples/tests/xor-nof.rip_map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/tests/xor-nof.rip_map -------------------------------------------------------------------------------- /examples/tests/xor-nof1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/tests/xor-nof1 -------------------------------------------------------------------------------- /examples/tests/xor-nof2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/tests/xor-nof2 -------------------------------------------------------------------------------- /examples/tests/xorshift.1234: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/tests/xorshift.1234 -------------------------------------------------------------------------------- /examples/tests/xorshift.123456: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/tests/xorshift.123456 -------------------------------------------------------------------------------- /examples/tests/xorshift.1234_123456.gpr_map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/tests/xorshift.1234_123456.gpr_map -------------------------------------------------------------------------------- /examples/tests/xorshift.1234_123456.rip_map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/tests/xorshift.1234_123456.rip_map -------------------------------------------------------------------------------- /examples/tests/xorshift.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/tests/xorshift.c -------------------------------------------------------------------------------- /examples/thttpd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/examples/thttpd -------------------------------------------------------------------------------- /fourmolu.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/fourmolu.yaml -------------------------------------------------------------------------------- /hie.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/hie.yaml -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/Makefile -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/README.md -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/data.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/data.c -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/data.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/data.h -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/latest.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/latest.txt -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/_Exit_40268f.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/_Exit_40268f.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/_Exit_40268f.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/_Exit_40268f.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/_IO_feof_unlocked_401d23.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/_IO_feof_unlocked_401d23.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/_IO_feof_unlocked_401d23.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/_IO_feof_unlocked_401d23.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__aio_close_402b2f.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__aio_close_402b2f.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__aio_close_402b2f.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__aio_close_402b2f.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__copy_tls_4024e2.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__copy_tls_4024e2.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__copy_tls_4024e2.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__copy_tls_4024e2.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__do_global_dtors_aux_400210.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__do_global_dtors_aux_400210.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__do_global_dtors_aux_400210.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__do_global_dtors_aux_400210.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__errno_location_402681.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__errno_location_402681.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__errno_location_402681.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__errno_location_402681.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__expand_heap_4026e0.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__expand_heap_4026e0.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__expand_heap_4026e0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__expand_heap_4026e0.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__fdopen_40284f.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__fdopen_40284f.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__fdopen_40284f.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__fdopen_40284f.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__fmodeflags_4029ad.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__fmodeflags_4029ad.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__fmodeflags_4029ad.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__fmodeflags_4029ad.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__funcs_on_exit_40083c.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__funcs_on_exit_40083c.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__funcs_on_exit_40083c.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__funcs_on_exit_40083c.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__fwritex_402058.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__fwritex_402058.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__fwritex_402058.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__fwritex_402058.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__init_libc_40068c.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__init_libc_40068c.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__init_libc_40068c.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__init_libc_40068c.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__init_ssp_40068b.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__init_ssp_40068b.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__init_ssp_40068b.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__init_ssp_40068b.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__init_tls_40255b.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__init_tls_40255b.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__init_tls_40255b.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__init_tls_40255b.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__init_tp_402496.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__init_tp_402496.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__init_tp_402496.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__init_tp_402496.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__libc_exit_fini_40083d.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__libc_exit_fini_40083d.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__libc_exit_fini_40083d.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__libc_exit_fini_40083d.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__libc_start_init_4007e2.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__libc_start_init_4007e2.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__libc_start_init_4007e2.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__libc_start_init_4007e2.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__libc_start_main_400802.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__libc_start_main_400802.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__libc_start_main_400802.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__libc_start_main_400802.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__lock_4023a7.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__lock_4023a7.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__lock_4023a7.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__lock_4023a7.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__lockfile_402a2c.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__lockfile_402a2c.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__lockfile_402a2c.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__lockfile_402a2c.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__madvise_401b0a.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__madvise_401b0a.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__madvise_401b0a.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__madvise_401b0a.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__malloc0_401860.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__malloc0_401860.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__malloc0_401860.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__malloc0_401860.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__mremap_401bb6.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__mremap_401bb6.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__mremap_401bb6.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__mremap_401bb6.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__munmap_401c4a.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__munmap_401c4a.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__munmap_401c4a.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__munmap_401c4a.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__ofl_add_402d6a.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__ofl_add_402d6a.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__ofl_add_402d6a.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__ofl_add_402d6a.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__ofl_lock_40217e.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__ofl_lock_40217e.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__ofl_lock_40217e.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__ofl_lock_40217e.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__ofl_unlock_402190.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__ofl_unlock_402190.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__ofl_unlock_402190.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__ofl_unlock_402190.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__overflow_402ac5.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__overflow_402ac5.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__overflow_402ac5.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__overflow_402ac5.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__set_thread_area_402e57.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__set_thread_area_402e57.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__set_thread_area_402e57.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__set_thread_area_402e57.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__simple_malloc_400860.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__simple_malloc_400860.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__simple_malloc_400860.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__simple_malloc_400860.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__stdio_close_402b32.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__stdio_close_402b32.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__stdio_close_402b32.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__stdio_close_402b32.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__stdio_exit_needed_402eb4.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__stdio_exit_needed_402eb4.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__stdio_exit_needed_402eb4.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__stdio_exit_needed_402eb4.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__stdio_read_402b4f.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__stdio_read_402b4f.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__stdio_read_402b4f.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__stdio_read_402b4f.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__stdio_seek_402bf3.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__stdio_seek_402bf3.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__stdio_seek_402bf3.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__stdio_seek_402bf3.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__stdio_write_402c09.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__stdio_write_402c09.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__stdio_write_402c09.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__stdio_write_402c09.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__syscall_ret_4026b0.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__syscall_ret_4026b0.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__syscall_ret_4026b0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__syscall_ret_4026b0.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__toread_402ee9.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__toread_402ee9.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__toread_402ee9.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__toread_402ee9.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__toread_needs_stdio_exit_402f4f.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__toread_needs_stdio_exit_402f4f.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__toread_needs_stdio_exit_402f4f.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__toread_needs_stdio_exit_402f4f.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__towrite_402ce8.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__towrite_402ce8.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__towrite_402ce8.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__towrite_402ce8.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__towrite_needs_stdio_exit_402d2f.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__towrite_needs_stdio_exit_402d2f.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__towrite_needs_stdio_exit_402d2f.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__towrite_needs_stdio_exit_402d2f.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__uflow_402d34.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__uflow_402d34.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__uflow_402d34.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__uflow_402d34.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__unlist_locked_file_401c79.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__unlist_locked_file_401c79.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__unlist_locked_file_401c79.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__unlist_locked_file_401c79.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__unlock_4023e2.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__unlock_4023e2.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__unlock_4023e2.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__unlock_4023e2.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__unlockfile_402a80.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__unlockfile_402a80.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__unlockfile_402a80.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__unlockfile_402a80.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__vm_wait_401b1f.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__vm_wait_401b1f.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__vm_wait_401b1f.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__vm_wait_401b1f.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__wait_40241c.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__wait_40241c.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/__wait_40241c.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/__wait_40241c.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/_start_c_40016a.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/_start_c_40016a.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/_start_c_40016a.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/_start_c_40016a.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/alloc_fwd_4009a0.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/alloc_fwd_4009a0.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/alloc_fwd_4009a0.ll.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/alloc_fwd_4009a0.ll.out -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/alloc_rev_400bf0.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/alloc_rev_400bf0.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/alloc_rev_400bf0.ll.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/alloc_rev_400bf0.ll.out -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/close_file_402e67.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/close_file_402e67.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/close_file_402e67.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/close_file_402e67.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/deregister_tm_clones_400190.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/deregister_tm_clones_400190.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/deregister_tm_clones_400190.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/deregister_tm_clones_400190.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/dummy_40068a.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/dummy_40068a.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/dummy_40068a.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/dummy_40068a.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/dummy_401bb5.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/dummy_401bb5.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/dummy_401bb5.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/dummy_401bb5.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/dummy_401c49.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/dummy_401c49.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/dummy_401c49.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/dummy_401c49.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/exit_400130.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/exit_400130.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/exit_400130.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/exit_400130.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/fclose_401c7a.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/fclose_401c7a.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/fclose_401c7a.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/fclose_401c7a.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/fflush_401dbf.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/fflush_401dbf.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/fflush_401dbf.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/fflush_401dbf.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/fflush_unlocked_401d55.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/fflush_unlocked_401d55.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/fflush_unlocked_401d55.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/fflush_unlocked_401d55.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/fgetc_401e7c.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/fgetc_401e7c.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/fgetc_401e7c.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/fgetc_401e7c.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/fopen64_401ee8.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/fopen64_401ee8.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/fopen64_401ee8.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/fopen64_401ee8.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/fputc_401f8a.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/fputc_401f8a.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/fputc_401f8a.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/fputc_401f8a.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/fputs_402023.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/fputs_402023.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/fputs_402023.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/fputs_402023.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/frame_dummy_400230.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/frame_dummy_400230.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/frame_dummy_400230.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/frame_dummy_400230.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/free_400e40.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/free_400e40.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/free_400e40.ll.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/free_400e40.ll.out -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/fwrite_402101.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/fwrite_402101.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/fwrite_402101.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/fwrite_402101.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/log.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/log.txt -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/main_400603.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/main_400603.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/main_400603.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/main_400603.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/malloc_401280.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/malloc_401280.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/malloc_401280.ll.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/malloc_401280.ll.out -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/memcpy_402375.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/memcpy_402375.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/memcpy_402375.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/memcpy_402375.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/memset_402d93.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/memset_402d93.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/memset_402d93.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/memset_402d93.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/mmap64_401b20.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/mmap64_401b20.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/mmap64_401b20.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/mmap64_401b20.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/print_tree_400256.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/print_tree_400256.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/print_tree_400256.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/print_tree_400256.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/read_tree_4005aa.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/read_tree_4005aa.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/read_tree_4005aa.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/read_tree_4005aa.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/read_tree_payload_40041e.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/read_tree_payload_40041e.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/read_tree_payload_40041e.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/read_tree_payload_40041e.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/realloc_4018b0.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/realloc_4018b0.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/realloc_4018b0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/realloc_4018b0.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/really_read_tree_400522.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/really_read_tree_400522.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/really_read_tree_400522.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/really_read_tree_400522.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/really_write_tree_400335.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/really_write_tree_400335.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/really_write_tree_400335.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/really_write_tree_400335.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/register_tm_clones_4001d0.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/register_tm_clones_4001d0.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/register_tm_clones_4001d0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/register_tm_clones_4001d0.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/strchr_4021a0.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/strchr_4021a0.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/strchr_4021a0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/strchr_4021a0.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/strchrnul_4021c0.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/strchrnul_4021c0.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/strchrnul_4021c0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/strchrnul_4021c0.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/strcmp_4022c0.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/strcmp_4022c0.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/strcmp_4022c0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/strcmp_4022c0.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/strlen_402300.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/strlen_402300.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/strlen_402300.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/strlen_402300.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/tree_equal_4002a0.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/tree_equal_4002a0.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/tree_equal_4002a0.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/tree_equal_4002a0.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/unknown_400120.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/unknown_400120.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/unknown_400120.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/unknown_400120.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/unknown_400154.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/unknown_400154.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/unknown_400154.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/unknown_400154.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/unknown_402f54.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/unknown_402f54.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/unknown_402f54.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/unknown_402f54.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/write_tree_4003c1.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/write_tree_4003c1.ll -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/llvm-latest/write_tree_4003c1.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/llvm-latest/write_tree_4003c1.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/tmp/frankentree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/tmp/frankentree -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/tmp/original-tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/tmp/original-tree -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/tmp/redirect_F40016a_to__start_c.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/tmp/redirect_F40016a_to__start_c.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/tmp/redirect_F400603_to_main.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/tmp/redirect_F400603_to_main.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/tmp/redirect_F400802_to___libc_start_main.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/tmp/redirect_F400802_to___libc_start_main.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/tmp/redirect_F40083d_to___libc_exit_fini.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/tmp/redirect_F40083d_to___libc_exit_fini.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/tmp/redirect_F400e40_to_free.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/tmp/redirect_F400e40_to_free.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/tmp/redirect_F401280_to_malloc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/tmp/redirect_F401280_to_malloc.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/example/tmp/redirect_F4018b0_to_realloc.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/example/tmp/redirect_F4018b0_to_realloc.s -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/mk.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/mk.sh -------------------------------------------------------------------------------- /llvm-merge-example-ubuntu/tree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example-ubuntu/tree.c -------------------------------------------------------------------------------- /llvm-merge-example/.gitignore: -------------------------------------------------------------------------------- 1 | *.o -------------------------------------------------------------------------------- /llvm-merge-example/Assembler.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example/Assembler.hs -------------------------------------------------------------------------------- /llvm-merge-example/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example/Makefile -------------------------------------------------------------------------------- /llvm-merge-example/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example/README.md -------------------------------------------------------------------------------- /llvm-merge-example/data.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example/data.c -------------------------------------------------------------------------------- /llvm-merge-example/data.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example/data.h -------------------------------------------------------------------------------- /llvm-merge-example/mk.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example/mk.sh -------------------------------------------------------------------------------- /llvm-merge-example/original-tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example/original-tree -------------------------------------------------------------------------------- /llvm-merge-example/original-tree.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example/original-tree.ll -------------------------------------------------------------------------------- /llvm-merge-example/tree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example/tree.c -------------------------------------------------------------------------------- /llvm-merge-example/tree.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-merge-example/tree.ll -------------------------------------------------------------------------------- /llvm-testbed/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-testbed/README.md -------------------------------------------------------------------------------- /llvm-testbed/memcmp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-testbed/memcmp/Makefile -------------------------------------------------------------------------------- /llvm-testbed/memcmp/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-testbed/memcmp/main.c -------------------------------------------------------------------------------- /llvm-testbed/memcmp/memcmp_4004ec.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-testbed/memcmp/memcmp_4004ec.ll -------------------------------------------------------------------------------- /llvm-testbed/memcpy-and-strlen/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-testbed/memcpy-and-strlen/Makefile -------------------------------------------------------------------------------- /llvm-testbed/memcpy-and-strlen/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-testbed/memcpy-and-strlen/README.md -------------------------------------------------------------------------------- /llvm-testbed/memcpy-and-strlen/generator.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-testbed/memcpy-and-strlen/generator.c -------------------------------------------------------------------------------- /llvm-testbed/memcpy-and-strlen/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-testbed/memcpy-and-strlen/main.c -------------------------------------------------------------------------------- /llvm-testbed/memcpy-and-strlen/memcpy_400645.ll: -------------------------------------------------------------------------------- 1 | reopted-files-from-generator/memcpy_400645.ll -------------------------------------------------------------------------------- /llvm-testbed/memcpy-and-strlen/memcpy_400a28.ll: -------------------------------------------------------------------------------- 1 | reopted-files-from-hello-world/memcpy_400a28.ll -------------------------------------------------------------------------------- /llvm-testbed/memcpy-and-strlen/reopted-files-from-generator/memcpy_400645.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-testbed/memcpy-and-strlen/reopted-files-from-generator/memcpy_400645.ll -------------------------------------------------------------------------------- /llvm-testbed/memcpy-and-strlen/reopted-files-from-generator/strlen_4005d0.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-testbed/memcpy-and-strlen/reopted-files-from-generator/strlen_4005d0.ll -------------------------------------------------------------------------------- /llvm-testbed/memcpy-and-strlen/reopted-files-from-hello-world/memcpy_400a28.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-testbed/memcpy-and-strlen/reopted-files-from-hello-world/memcpy_400a28.ll -------------------------------------------------------------------------------- /llvm-testbed/memcpy-and-strlen/reopted-files-from-hello-world/strlen_4009b0.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/llvm-testbed/memcpy-and-strlen/reopted-files-from-hello-world/strlen_4009b0.ll -------------------------------------------------------------------------------- /llvm-testbed/memcpy-and-strlen/strlen_4005d0.ll: -------------------------------------------------------------------------------- 1 | reopted-files-from-generator/strlen_4005d0.ll -------------------------------------------------------------------------------- /llvm-testbed/memcpy-and-strlen/strlen_4009b0.ll: -------------------------------------------------------------------------------- 1 | reopted-files-from-hello-world/strlen_4009b0.ll -------------------------------------------------------------------------------- /reopt-explore/CommandLine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/reopt-explore/CommandLine.hs -------------------------------------------------------------------------------- /reopt-explore/Common.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/reopt-explore/Common.hs -------------------------------------------------------------------------------- /reopt-explore/LLVM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/reopt-explore/LLVM.hs -------------------------------------------------------------------------------- /reopt-explore/Main_explore.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/reopt-explore/Main_explore.hs -------------------------------------------------------------------------------- /reopt-explore/Residual.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/reopt-explore/Residual.hs -------------------------------------------------------------------------------- /reopt-explore/Residual/Recognizers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/reopt-explore/Residual/Recognizers.hs -------------------------------------------------------------------------------- /reopt-relink/Main_relink.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/reopt-relink/Main_relink.hs -------------------------------------------------------------------------------- /reopt.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/reopt.cabal -------------------------------------------------------------------------------- /reopt/Main_reopt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/reopt/Main_reopt.hs -------------------------------------------------------------------------------- /reopt_test/Main_reopt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/reopt_test/Main_reopt.hs -------------------------------------------------------------------------------- /reopt_test/SignalUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/reopt_test/SignalUtils.hs -------------------------------------------------------------------------------- /scratch/shed.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/scratch/shed.h -------------------------------------------------------------------------------- /scripts/linux_binutils.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/scripts/linux_binutils.sh -------------------------------------------------------------------------------- /scripts/run_graphmod.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/scripts/run_graphmod.sh -------------------------------------------------------------------------------- /scripts/run_reopt.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/scripts/run_reopt.sh -------------------------------------------------------------------------------- /scripts/run_residuals.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/scripts/run_residuals.sh -------------------------------------------------------------------------------- /scripts/test_reopt.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/scripts/test_reopt.sh -------------------------------------------------------------------------------- /scripts/test_reopt_explore.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/scripts/test_reopt_explore.sh -------------------------------------------------------------------------------- /scripts/test_reopt_with_relink.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/scripts/test_reopt_with_relink.sh -------------------------------------------------------------------------------- /scripts/unpack_benchmarks.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/scripts/unpack_benchmarks.sh -------------------------------------------------------------------------------- /src/Reopt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt.hs -------------------------------------------------------------------------------- /src/Reopt/Analysis/Domains/DiffEquations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Analysis/Domains/DiffEquations.hs -------------------------------------------------------------------------------- /src/Reopt/ArgResolver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/ArgResolver.hs -------------------------------------------------------------------------------- /src/Reopt/CFG/FnRep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/CFG/FnRep.hs -------------------------------------------------------------------------------- /src/Reopt/CFG/FnRep/X86.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/CFG/FnRep/X86.hs -------------------------------------------------------------------------------- /src/Reopt/CFG/FunctionCheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/CFG/FunctionCheck.hs -------------------------------------------------------------------------------- /src/Reopt/CFG/LLVM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/CFG/LLVM.hs -------------------------------------------------------------------------------- /src/Reopt/CFG/LLVM/X86.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/CFG/LLVM/X86.hs -------------------------------------------------------------------------------- /src/Reopt/CFG/Recovery.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/CFG/Recovery.hs -------------------------------------------------------------------------------- /src/Reopt/CFG/StackDepth.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/CFG/StackDepth.hs -------------------------------------------------------------------------------- /src/Reopt/Concrete/BitVector.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Concrete/BitVector.hs -------------------------------------------------------------------------------- /src/Reopt/ELFArchInfo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/ELFArchInfo.hs -------------------------------------------------------------------------------- /src/Reopt/EncodeInvariants.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/EncodeInvariants.hs -------------------------------------------------------------------------------- /src/Reopt/Events.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Events.hs -------------------------------------------------------------------------------- /src/Reopt/Events/Export.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Events/Export.hs -------------------------------------------------------------------------------- /src/Reopt/ExternalTools.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/ExternalTools.hs -------------------------------------------------------------------------------- /src/Reopt/FunUseMap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/FunUseMap.hs -------------------------------------------------------------------------------- /src/Reopt/Hints.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Hints.hs -------------------------------------------------------------------------------- /src/Reopt/Occam.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Occam.hs -------------------------------------------------------------------------------- /src/Reopt/PLTParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/PLTParser.hs -------------------------------------------------------------------------------- /src/Reopt/Relinker.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Relinker.hs -------------------------------------------------------------------------------- /src/Reopt/Relinker/Binary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Relinker/Binary.hs -------------------------------------------------------------------------------- /src/Reopt/Relinker/Constants.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Relinker/Constants.hs -------------------------------------------------------------------------------- /src/Reopt/Relinker/NewBinary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Relinker/NewBinary.hs -------------------------------------------------------------------------------- /src/Reopt/Relinker/NewLayout.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Relinker/NewLayout.hs -------------------------------------------------------------------------------- /src/Reopt/Relinker/NewSymtab.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Relinker/NewSymtab.hs -------------------------------------------------------------------------------- /src/Reopt/Relinker/Redirection.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Relinker/Redirection.hs -------------------------------------------------------------------------------- /src/Reopt/Relinker/Relations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Relinker/Relations.hs -------------------------------------------------------------------------------- /src/Reopt/Relinker/Relocations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Relinker/Relocations.hs -------------------------------------------------------------------------------- /src/Reopt/Server.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Server.hs -------------------------------------------------------------------------------- /src/Reopt/TypeInference/ConstraintGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/TypeInference/ConstraintGen.hs -------------------------------------------------------------------------------- /src/Reopt/TypeInference/DebugTypes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/TypeInference/DebugTypes.hs -------------------------------------------------------------------------------- /src/Reopt/TypeInference/FunTypeMaps.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/TypeInference/FunTypeMaps.hs -------------------------------------------------------------------------------- /src/Reopt/TypeInference/Header.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/TypeInference/Header.hs -------------------------------------------------------------------------------- /src/Reopt/TypeInference/HeaderTypes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/TypeInference/HeaderTypes.hs -------------------------------------------------------------------------------- /src/Reopt/TypeInference/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/TypeInference/Pretty.hs -------------------------------------------------------------------------------- /src/Reopt/TypeInference/Solver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/TypeInference/Solver.hs -------------------------------------------------------------------------------- /src/Reopt/TypeInference/Solver/Constraints.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/TypeInference/Solver/Constraints.hs -------------------------------------------------------------------------------- /src/Reopt/TypeInference/Solver/Finalize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/TypeInference/Solver/Finalize.hs -------------------------------------------------------------------------------- /src/Reopt/TypeInference/Solver/Monad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/TypeInference/Solver/Monad.hs -------------------------------------------------------------------------------- /src/Reopt/TypeInference/Solver/RowVariables.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/TypeInference/Solver/RowVariables.hs -------------------------------------------------------------------------------- /src/Reopt/TypeInference/Solver/Solver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/TypeInference/Solver/Solver.hs -------------------------------------------------------------------------------- /src/Reopt/TypeInference/Solver/TypeVariables.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/TypeInference/Solver/TypeVariables.hs -------------------------------------------------------------------------------- /src/Reopt/TypeInference/Solver/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/TypeInference/Solver/Types.hs -------------------------------------------------------------------------------- /src/Reopt/TypeInference/Solver/UnionFindMap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/TypeInference/Solver/UnionFindMap.hs -------------------------------------------------------------------------------- /src/Reopt/Utils/Dir.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Utils/Dir.hs -------------------------------------------------------------------------------- /src/Reopt/Utils/Exit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Utils/Exit.hs -------------------------------------------------------------------------------- /src/Reopt/Utils/Flags.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Utils/Flags.hs -------------------------------------------------------------------------------- /src/Reopt/Utils/Folds.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Utils/Folds.hs -------------------------------------------------------------------------------- /src/Reopt/Utils/Hex.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Utils/Hex.hs -------------------------------------------------------------------------------- /src/Reopt/Utils/Printf.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/Utils/Printf.hs -------------------------------------------------------------------------------- /src/Reopt/X86.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/src/Reopt/X86.hs -------------------------------------------------------------------------------- /stats/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/stats/.gitignore -------------------------------------------------------------------------------- /stats/README.rst: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stats/poetry.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/stats/poetry.lock -------------------------------------------------------------------------------- /stats/pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/stats/pyproject.toml -------------------------------------------------------------------------------- /stats/stats/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/stats/stats/__init__.py -------------------------------------------------------------------------------- /stats/stats/grammatech.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/stats/stats/grammatech.py -------------------------------------------------------------------------------- /stats/stats/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/stats/stats/main.py -------------------------------------------------------------------------------- /stats/stats/sheets.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/stats/stats/sheets.py -------------------------------------------------------------------------------- /stats/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stats/tests/test_stats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/stats/tests/test_stats.py -------------------------------------------------------------------------------- /support/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/.gitignore -------------------------------------------------------------------------------- /support/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/Makefile -------------------------------------------------------------------------------- /support/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/README -------------------------------------------------------------------------------- /support/abi_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/abi_test.c -------------------------------------------------------------------------------- /support/avx_intrin.512.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/avx_intrin.512.c -------------------------------------------------------------------------------- /support/llvm_return_test.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/llvm_return_test.ll -------------------------------------------------------------------------------- /support/print_csize_info.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/print_csize_info.c -------------------------------------------------------------------------------- /support/print_stackheap_addrs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/print_stackheap_addrs.c -------------------------------------------------------------------------------- /support/print_startup_info/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/print_startup_info/Makefile -------------------------------------------------------------------------------- /support/print_startup_info/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/print_startup_info/README -------------------------------------------------------------------------------- /support/print_startup_info/print_startup_info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/print_startup_info/print_startup_info -------------------------------------------------------------------------------- /support/print_startup_info/print_startup_info.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/print_startup_info/print_startup_info.c -------------------------------------------------------------------------------- /support/print_startup_info/reopt_print_startup_info.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/print_startup_info/reopt_print_startup_info.sh -------------------------------------------------------------------------------- /support/print_startup_info/start.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/print_startup_info/start.s -------------------------------------------------------------------------------- /support/print_startup_info/write.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/print_startup_info/write.s -------------------------------------------------------------------------------- /support/test_except/.gitignore: -------------------------------------------------------------------------------- 1 | /test_except_static.exe -------------------------------------------------------------------------------- /support/test_except/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/test_except/Makefile -------------------------------------------------------------------------------- /support/test_except/test_except.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/test_except/test_except.cpp -------------------------------------------------------------------------------- /support/x86_llvm_asm_examples/.gitignore: -------------------------------------------------------------------------------- 1 | *.ll 2 | test_movsd -------------------------------------------------------------------------------- /support/x86_llvm_asm_examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/x86_llvm_asm_examples/Makefile -------------------------------------------------------------------------------- /support/x86_llvm_asm_examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/x86_llvm_asm_examples/README.md -------------------------------------------------------------------------------- /support/x86_llvm_asm_examples/test_movsd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/x86_llvm_asm_examples/test_movsd.c -------------------------------------------------------------------------------- /support/x86_llvm_asm_examples/test_repstos.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/support/x86_llvm_asm_examples/test_repstos.c -------------------------------------------------------------------------------- /tests/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/Main.hs -------------------------------------------------------------------------------- /tests/README.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/README.rst -------------------------------------------------------------------------------- /tests/ReoptTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/ReoptTests.hs -------------------------------------------------------------------------------- /tests/TyConstraintTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/TyConstraintTests.hs -------------------------------------------------------------------------------- /tests/plan.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/plan.org -------------------------------------------------------------------------------- /tests/x64/.gitignore: -------------------------------------------------------------------------------- 1 | *.ll 2 | *.blocks 3 | *.fns -------------------------------------------------------------------------------- /tests/x64/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/x64/Makefile -------------------------------------------------------------------------------- /tests/x64/test-conditional.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/x64/test-conditional.c -------------------------------------------------------------------------------- /tests/x64/test-conditional.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/x64/test-conditional.exe -------------------------------------------------------------------------------- /tests/x64/test-conditional.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/x64/test-conditional.s -------------------------------------------------------------------------------- /tests/x64/test-direct-calls.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/x64/test-direct-calls.c -------------------------------------------------------------------------------- /tests/x64/test-direct-calls.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/x64/test-direct-calls.exe -------------------------------------------------------------------------------- /tests/x64/test-direct-calls.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/x64/test-direct-calls.s -------------------------------------------------------------------------------- /tests/x64/test-indirect-call.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/x64/test-indirect-call.c -------------------------------------------------------------------------------- /tests/x64/test-indirect-call.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/x64/test-indirect-call.exe -------------------------------------------------------------------------------- /tests/x64/test-indirect-call.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/x64/test-indirect-call.s -------------------------------------------------------------------------------- /tests/x64/test-just-exit.c: -------------------------------------------------------------------------------- 1 | #include "util.h" 2 | 3 | void _start() { 4 | EXIT(); 5 | } 6 | -------------------------------------------------------------------------------- /tests/x64/test-just-exit.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/x64/test-just-exit.exe -------------------------------------------------------------------------------- /tests/x64/test-just-exit.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/x64/test-just-exit.s -------------------------------------------------------------------------------- /tests/x64/test-tail-call.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/x64/test-tail-call.c -------------------------------------------------------------------------------- /tests/x64/test-tail-call.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/x64/test-tail-call.exe -------------------------------------------------------------------------------- /tests/x64/test-tail-call.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/x64/test-tail-call.s -------------------------------------------------------------------------------- /tests/x64/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tests/x64/util.h -------------------------------------------------------------------------------- /tools/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tools/README.md -------------------------------------------------------------------------------- /tools/dump_debug_data/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tools/dump_debug_data/Main.hs -------------------------------------------------------------------------------- /tools/dump_vtables/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tools/dump_vtables/Main.hs -------------------------------------------------------------------------------- /tools/reopt-checker/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tools/reopt-checker/LICENSE -------------------------------------------------------------------------------- /tools/reopt-checker/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tools/reopt-checker/README.md -------------------------------------------------------------------------------- /tools/reopt-checker/reopt-checker.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tools/reopt-checker/reopt-checker.cabal -------------------------------------------------------------------------------- /tools/reopt-checker/src/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tools/reopt-checker/src/Main.hs -------------------------------------------------------------------------------- /tools/reopt-tools.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tools/reopt-tools.cabal -------------------------------------------------------------------------------- /tools/utils/ConcreteDumpInstr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tools/utils/ConcreteDumpInstr.hs -------------------------------------------------------------------------------- /tools/utils/cleaner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tools/utils/cleaner.py -------------------------------------------------------------------------------- /tools/utils/compare.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tools/utils/compare.sh -------------------------------------------------------------------------------- /tools/utils/concrete-dump.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tools/utils/concrete-dump.sh -------------------------------------------------------------------------------- /tools/utils/diffcleaner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tools/utils/diffcleaner.py -------------------------------------------------------------------------------- /tools/utils/dump_bytes.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tools/utils/dump_bytes.sh -------------------------------------------------------------------------------- /tools/utils/dump_instr.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tools/utils/dump_instr.sh -------------------------------------------------------------------------------- /tools/utils/llvm-dump.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tools/utils/llvm-dump.sh -------------------------------------------------------------------------------- /tools/utils/mkbin.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/tools/utils/mkbin.sh -------------------------------------------------------------------------------- /typegen-test-programs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/typegen-test-programs/Makefile -------------------------------------------------------------------------------- /typegen-test-programs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/typegen-test-programs/README.md -------------------------------------------------------------------------------- /typegen-test-programs/byte_loop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/typegen-test-programs/byte_loop.c -------------------------------------------------------------------------------- /typegen-test-programs/make_in_docker.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/typegen-test-programs/make_in_docker.sh -------------------------------------------------------------------------------- /typegen-test-programs/mixed_struct_pointer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/typegen-test-programs/mixed_struct_pointer.c -------------------------------------------------------------------------------- /typegen-test-programs/nested_mutual_rec_types.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/typegen-test-programs/nested_mutual_rec_types.c -------------------------------------------------------------------------------- /typegen-test-programs/nested_struct_ptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/typegen-test-programs/nested_struct_ptr.c -------------------------------------------------------------------------------- /typegen-test-programs/nested_struct_ptr.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/typegen-test-programs/nested_struct_ptr.o -------------------------------------------------------------------------------- /typegen-test-programs/nested_struct_ptr2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/typegen-test-programs/nested_struct_ptr2.c -------------------------------------------------------------------------------- /typegen-test-programs/simple_pointer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/typegen-test-programs/simple_pointer.c -------------------------------------------------------------------------------- /typegen-test-programs/test.h: -------------------------------------------------------------------------------- 1 | 2 | #define NOINLINE __attribute__((noinline)) 3 | 4 | -------------------------------------------------------------------------------- /typegen-test-programs/union_argument.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/typegen-test-programs/union_argument.c -------------------------------------------------------------------------------- /typegen-test-programs/union_in_struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/typegen-test-programs/union_in_struct.c -------------------------------------------------------------------------------- /vcg-test-programs/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/.gitignore -------------------------------------------------------------------------------- /vcg-test-programs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/Makefile -------------------------------------------------------------------------------- /vcg-test-programs/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/README -------------------------------------------------------------------------------- /vcg-test-programs/diet/libc.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/diet/libc.a -------------------------------------------------------------------------------- /vcg-test-programs/diet/start.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/diet/start.o -------------------------------------------------------------------------------- /vcg-test-programs/glibc/crt1.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/glibc/crt1.o -------------------------------------------------------------------------------- /vcg-test-programs/glibc/crti.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/glibc/crti.o -------------------------------------------------------------------------------- /vcg-test-programs/glibc/libc.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/glibc/libc.a -------------------------------------------------------------------------------- /vcg-test-programs/glibc/libgcc.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/glibc/libgcc.a -------------------------------------------------------------------------------- /vcg-test-programs/glibc/libgcc_eh.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/glibc/libgcc_eh.a -------------------------------------------------------------------------------- /vcg-test-programs/glibc/placeholder_initfini.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/glibc/placeholder_initfini.c -------------------------------------------------------------------------------- /vcg-test-programs/nweb/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/nweb/.gitignore -------------------------------------------------------------------------------- /vcg-test-programs/nweb/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/nweb/Makefile -------------------------------------------------------------------------------- /vcg-test-programs/nweb/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/nweb/README.md -------------------------------------------------------------------------------- /vcg-test-programs/nweb/content/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/nweb/content/index.html -------------------------------------------------------------------------------- /vcg-test-programs/nweb/content/nweb.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/nweb/content/nweb.log -------------------------------------------------------------------------------- /vcg-test-programs/nweb/integration_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/nweb/integration_test.sh -------------------------------------------------------------------------------- /vcg-test-programs/nweb/nweb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/nweb/nweb.h -------------------------------------------------------------------------------- /vcg-test-programs/nweb/nweb23.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/nweb/nweb23.c -------------------------------------------------------------------------------- /vcg-test-programs/nweb/nweb23.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/nweb/nweb23.exe -------------------------------------------------------------------------------- /vcg-test-programs/nweb/nweb23.manifest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/nweb/nweb23.manifest -------------------------------------------------------------------------------- /vcg-test-programs/test_add.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/test_add.bc -------------------------------------------------------------------------------- /vcg-test-programs/test_add.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/test_add.c -------------------------------------------------------------------------------- /vcg-test-programs/test_add.manifest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/test_add.manifest -------------------------------------------------------------------------------- /vcg-test-programs/test_add_diet_ld.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/test_add_diet_ld.exe -------------------------------------------------------------------------------- /vcg-test-programs/test_add_diet_lld.ann: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/test_add_diet_lld.ann -------------------------------------------------------------------------------- /vcg-test-programs/test_add_diet_lld.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/test_add_diet_lld.exe -------------------------------------------------------------------------------- /vcg-test-programs/test_add_glibc_lld.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/test_add_glibc_lld.exe -------------------------------------------------------------------------------- /vcg-test-programs/test_add_protos.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/test_add_protos.h -------------------------------------------------------------------------------- /vcg-test-programs/test_fib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/test_fib.c -------------------------------------------------------------------------------- /vcg-test-programs/test_fib.manifest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/test_fib.manifest -------------------------------------------------------------------------------- /vcg-test-programs/test_fib_diet_ld.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/test_fib_diet_ld.exe -------------------------------------------------------------------------------- /vcg-test-programs/test_fib_diet_lld.ann: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/test_fib_diet_lld.ann -------------------------------------------------------------------------------- /vcg-test-programs/test_fib_diet_lld.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/test_fib_diet_lld.exe -------------------------------------------------------------------------------- /vcg-test-programs/test_fib_protos.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/test_fib_protos.h -------------------------------------------------------------------------------- /vcg-test-programs/test_fpadd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/test_fpadd.c -------------------------------------------------------------------------------- /vcg-test-programs/test_fpadd_protos.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vcg-test-programs/test_fpadd_protos.h -------------------------------------------------------------------------------- /vscode-plugin/.eslintignore: -------------------------------------------------------------------------------- 1 | dist 2 | node_modules 3 | out 4 | -------------------------------------------------------------------------------- /vscode-plugin/.eslintrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/.eslintrc.json -------------------------------------------------------------------------------- /vscode-plugin/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/.gitignore -------------------------------------------------------------------------------- /vscode-plugin/.vscode/extensions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/.vscode/extensions.json -------------------------------------------------------------------------------- /vscode-plugin/.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/.vscode/launch.json -------------------------------------------------------------------------------- /vscode-plugin/.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/.vscode/settings.json -------------------------------------------------------------------------------- /vscode-plugin/.vscode/tasks.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/.vscode/tasks.json -------------------------------------------------------------------------------- /vscode-plugin/.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/.vscodeignore -------------------------------------------------------------------------------- /vscode-plugin/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/CHANGELOG.md -------------------------------------------------------------------------------- /vscode-plugin/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/README.md -------------------------------------------------------------------------------- /vscode-plugin/assets/codicon-list-tree.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/assets/codicon-list-tree.png -------------------------------------------------------------------------------- /vscode-plugin/assets/reopt-diagnostics.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/assets/reopt-diagnostics.png -------------------------------------------------------------------------------- /vscode-plugin/assets/reopt-full-window-annotated.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/assets/reopt-full-window-annotated.png -------------------------------------------------------------------------------- /vscode-plugin/assets/reopt-full-window-project-file.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/assets/reopt-full-window-project-file.png -------------------------------------------------------------------------------- /vscode-plugin/assets/reopt-full-window-vcg-diagnostics.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/assets/reopt-full-window-vcg-diagnostics.png -------------------------------------------------------------------------------- /vscode-plugin/assets/reopt-full-window.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/assets/reopt-full-window.png -------------------------------------------------------------------------------- /vscode-plugin/assets/reopt-generate-buttons.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/assets/reopt-generate-buttons.png -------------------------------------------------------------------------------- /vscode-plugin/assets/reopt-project-buttons.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/assets/reopt-project-buttons.png -------------------------------------------------------------------------------- /vscode-plugin/assets/reopt-vcg-diagnostics.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/assets/reopt-vcg-diagnostics.png -------------------------------------------------------------------------------- /vscode-plugin/example/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/example/.gitignore -------------------------------------------------------------------------------- /vscode-plugin/example/test_add_diet_lld.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/example/test_add_diet_lld.exe -------------------------------------------------------------------------------- /vscode-plugin/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/package-lock.json -------------------------------------------------------------------------------- /vscode-plugin/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/package.json -------------------------------------------------------------------------------- /vscode-plugin/reopt-0.0.1.vsix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/reopt-0.0.1.vsix -------------------------------------------------------------------------------- /vscode-plugin/schemas/rpj-schema.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/schemas/rpj-schema.json -------------------------------------------------------------------------------- /vscode-plugin/src/activity-webview/entry-point.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/activity-webview/entry-point.tsx -------------------------------------------------------------------------------- /vscode-plugin/src/activity-webview/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/activity-webview/tsconfig.json -------------------------------------------------------------------------------- /vscode-plugin/src/activity-webview/webview.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/activity-webview/webview.tsx -------------------------------------------------------------------------------- /vscode-plugin/src/extension/activity-message-handler.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/extension/activity-message-handler.ts -------------------------------------------------------------------------------- /vscode-plugin/src/extension/activity-view-provider.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/extension/activity-view-provider.ts -------------------------------------------------------------------------------- /vscode-plugin/src/extension/check-magic-number.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/extension/check-magic-number.ts -------------------------------------------------------------------------------- /vscode-plugin/src/extension/create-reopt-project.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/extension/create-reopt-project.ts -------------------------------------------------------------------------------- /vscode-plugin/src/extension/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/extension/main.ts -------------------------------------------------------------------------------- /vscode-plugin/src/extension/nonce.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/extension/nonce.ts -------------------------------------------------------------------------------- /vscode-plugin/src/extension/open-reopt-project.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/extension/open-reopt-project.ts -------------------------------------------------------------------------------- /vscode-plugin/src/extension/reopt-vcg-view-provider.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/extension/reopt-vcg-view-provider.ts -------------------------------------------------------------------------------- /vscode-plugin/src/extension/reopt-vcg.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/extension/reopt-vcg.ts -------------------------------------------------------------------------------- /vscode-plugin/src/extension/reopt.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/extension/reopt.ts -------------------------------------------------------------------------------- /vscode-plugin/src/extension/symbol-provider.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/extension/symbol-provider.ts -------------------------------------------------------------------------------- /vscode-plugin/src/extension/tree-data-provider.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/extension/tree-data-provider.ts -------------------------------------------------------------------------------- /vscode-plugin/src/extension/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/extension/tsconfig.json -------------------------------------------------------------------------------- /vscode-plugin/src/extension/workspace-addresses.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/extension/workspace-addresses.ts -------------------------------------------------------------------------------- /vscode-plugin/src/reopt-vcg-webview/entry-point.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/reopt-vcg-webview/entry-point.tsx -------------------------------------------------------------------------------- /vscode-plugin/src/reopt-vcg-webview/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/reopt-vcg-webview/tsconfig.json -------------------------------------------------------------------------------- /vscode-plugin/src/reopt-vcg-webview/webview.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/reopt-vcg-webview/webview.tsx -------------------------------------------------------------------------------- /vscode-plugin/src/shared/activity-webview-to-extension.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/shared/activity-webview-to-extension.ts -------------------------------------------------------------------------------- /vscode-plugin/src/shared/constants.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/shared/constants.ts -------------------------------------------------------------------------------- /vscode-plugin/src/shared/deserializers.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/shared/deserializers.ts -------------------------------------------------------------------------------- /vscode-plugin/src/shared/extension-to-activity-webview.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/shared/extension-to-activity-webview.ts -------------------------------------------------------------------------------- /vscode-plugin/src/shared/extension-to-reopt-vcg-webview.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/shared/extension-to-reopt-vcg-webview.ts -------------------------------------------------------------------------------- /vscode-plugin/src/shared/interfaces.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/shared/interfaces.ts -------------------------------------------------------------------------------- /vscode-plugin/src/shared/package.json: -------------------------------------------------------------------------------- 1 | ../../package.json -------------------------------------------------------------------------------- /vscode-plugin/src/shared/project-configuration.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/shared/project-configuration.ts -------------------------------------------------------------------------------- /vscode-plugin/src/shared/promisified.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/shared/promisified.ts -------------------------------------------------------------------------------- /vscode-plugin/src/shared/reopt-vcg-webview-to-extension.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/shared/reopt-vcg-webview-to-extension.ts -------------------------------------------------------------------------------- /vscode-plugin/src/shared/serializers.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/shared/serializers.ts -------------------------------------------------------------------------------- /vscode-plugin/src/shared/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/shared/tsconfig.json -------------------------------------------------------------------------------- /vscode-plugin/src/shared/workspace-state.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/shared/workspace-state.ts -------------------------------------------------------------------------------- /vscode-plugin/src/test/runTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/test/runTest.ts -------------------------------------------------------------------------------- /vscode-plugin/src/test/suite/extension.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/test/suite/extension.test.ts -------------------------------------------------------------------------------- /vscode-plugin/src/test/suite/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/src/test/suite/index.ts -------------------------------------------------------------------------------- /vscode-plugin/tsconfig-common.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/tsconfig-common.json -------------------------------------------------------------------------------- /vscode-plugin/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/tsconfig.json -------------------------------------------------------------------------------- /vscode-plugin/webpack.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/webpack.config.ts -------------------------------------------------------------------------------- /vscode-plugin/webview-static/activity-webview.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/webview-static/activity-webview.css -------------------------------------------------------------------------------- /vscode-plugin/webview-static/contents.html: -------------------------------------------------------------------------------- 1 | This is the -------------------------------------------------------------------------------- /vscode-plugin/webview-static/nweb23.jsons: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/webview-static/nweb23.jsons -------------------------------------------------------------------------------- /vscode-plugin/webview-static/webview.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/reopt/HEAD/vscode-plugin/webview-static/webview.css --------------------------------------------------------------------------------