├── .gitignore ├── CMakeLists.txt ├── INSTALL ├── LICENSE ├── MAL ├── descriptor │ ├── CMakeLists.txt │ ├── INSTALL │ ├── README │ ├── include │ │ └── rebours │ │ │ └── MAL │ │ │ └── descriptor │ │ │ ├── assumptions.hpp │ │ │ ├── development.hpp │ │ │ ├── dump.hpp │ │ │ ├── endian.hpp │ │ │ ├── file_utils.hpp │ │ │ ├── invariants.hpp │ │ │ ├── msgstream.hpp │ │ │ ├── storage.hpp │ │ │ └── test.hpp │ └── src │ │ ├── dump.cpp │ │ ├── file_utils.cpp │ │ ├── storage.cpp │ │ └── x86_64_Linux │ │ ├── build_register_maps.cpp │ │ ├── build_stack_init_data.cpp │ │ ├── build_stack_sections.cpp │ │ └── build_tls_template.cpp ├── encoder │ ├── CMakeLists.txt │ ├── INSTALL │ ├── README │ ├── include │ │ └── rebours │ │ │ └── MAL │ │ │ └── encoder │ │ │ ├── assumptions.hpp │ │ │ ├── development.hpp │ │ │ ├── encode.hpp │ │ │ ├── endian.hpp │ │ │ ├── invariants.hpp │ │ │ ├── msgstream.hpp │ │ │ └── test.hpp │ └── src │ │ └── encode.cpp ├── loader │ ├── CMakeLists.txt │ ├── INSTALL │ ├── README │ ├── include │ │ └── rebours │ │ │ └── MAL │ │ │ └── loader │ │ │ ├── address.hpp │ │ │ ├── assumptions.hpp │ │ │ ├── buffer_io.hpp │ │ │ ├── dependencies_graph.hpp │ │ │ ├── descriptor.hpp │ │ │ ├── detail │ │ │ ├── abi_loaders.hpp │ │ │ ├── address_fixing.hpp │ │ │ ├── load_elf.hpp │ │ │ ├── load_mach.hpp │ │ │ ├── load_pe.hpp │ │ │ ├── load_props_elf.hpp │ │ │ ├── load_props_mach.hpp │ │ │ ├── load_props_pe.hpp │ │ │ ├── mutable_sections_table.hpp │ │ │ ├── set_file_property.hpp │ │ │ └── std_pair_hash.hpp │ │ │ ├── dump.hpp │ │ │ ├── endian.hpp │ │ │ ├── file_props.hpp │ │ │ ├── file_utils.hpp │ │ │ ├── init_fini.hpp │ │ │ ├── invariants.hpp │ │ │ ├── load.hpp │ │ │ ├── msgstream.hpp │ │ │ ├── platform.hpp │ │ │ ├── relocations.hpp │ │ │ ├── sections_table.hpp │ │ │ ├── special_sections.hpp │ │ │ ├── special_sections │ │ │ ├── elf_tls.hpp │ │ │ ├── exceptions.hpp │ │ │ ├── load_configuration_structure.hpp │ │ │ ├── special_section_properties.hpp │ │ │ └── thread_local_storage_initialisers.hpp │ │ │ ├── to_string.hpp │ │ │ └── warnings.hpp │ ├── src │ │ ├── buffer_io.cpp │ │ ├── dependencies_graph.cpp │ │ ├── descriptor.cpp │ │ ├── detail │ │ │ ├── abi_loaders │ │ │ │ ├── ld_linux_x86_32_so_2.cpp │ │ │ │ └── ld_linux_x86_64_so_2.cpp │ │ │ ├── address_fixing.cpp │ │ │ ├── load_elf.cpp │ │ │ ├── load_elf_32bit.cpp │ │ │ ├── load_elf_64bit.cpp │ │ │ ├── load_mach.cpp │ │ │ ├── load_mach_32bit.cpp │ │ │ ├── load_mach_64bit.cpp │ │ │ ├── load_pe.cpp │ │ │ ├── load_pe_32bit.cpp │ │ │ ├── load_pe_64bit.cpp │ │ │ ├── load_props_elf.cpp │ │ │ ├── load_props_mach.cpp │ │ │ ├── load_props_pe.cpp │ │ │ └── mutable_sections_table.cpp │ │ ├── dump.cpp │ │ ├── file_props.cpp │ │ ├── file_utils.cpp │ │ ├── load.cpp │ │ ├── platform.cpp │ │ ├── relocations.cpp │ │ ├── sections_table.cpp │ │ ├── special_sections.cpp │ │ └── special_sections │ │ │ ├── elf_tls.cpp │ │ │ ├── exceptions.cpp │ │ │ ├── load_configuration_structure.cpp │ │ │ ├── special_section_properties.cpp │ │ │ └── thread_local_storage_initialisers.cpp │ └── tests │ │ ├── data_path.cpp │ │ ├── data_path.hpp │ │ ├── test.hpp │ │ └── test01 │ │ ├── CMakeLists.txt │ │ └── main.cpp ├── prologue │ ├── CMakeLists.txt │ ├── INSTALL │ ├── README │ ├── include │ │ └── rebours │ │ │ └── MAL │ │ │ └── prologue │ │ │ ├── assumptions.hpp │ │ │ ├── builder.hpp │ │ │ ├── development.hpp │ │ │ ├── endian.hpp │ │ │ ├── invariants.hpp │ │ │ ├── msgstream.hpp │ │ │ └── test.hpp │ └── src │ │ ├── builder.cpp │ │ └── builder_x86_64_Linux.cpp ├── recogniser │ ├── CMakeLists.txt │ ├── INSTALL │ ├── README │ ├── include │ │ └── rebours │ │ │ └── MAL │ │ │ └── recogniser │ │ │ ├── assumptions.hpp │ │ │ ├── detail │ │ │ ├── recognise_x86_64_Linux.hpp │ │ │ ├── recognise_x86_64_Linux_syscall_syscall.hpp │ │ │ ├── recognise_x86_64_Linux_syscall_utils.hpp │ │ │ ├── recognition_data.hpp │ │ │ ├── recognition_engine_x86_64_Linux.hpp │ │ │ └── register_info.hpp │ │ │ ├── development.hpp │ │ │ ├── dump.hpp │ │ │ ├── endian.hpp │ │ │ ├── file_utils.hpp │ │ │ ├── invariants.hpp │ │ │ ├── msgstream.hpp │ │ │ ├── recognise.hpp │ │ │ └── test.hpp │ └── src │ │ ├── detail │ │ ├── dump_x86_64_Linux.cpp │ │ ├── recognise_x86_64_Linux.cpp │ │ ├── recognise_x86_64_Linux_syscall_syscall.cpp │ │ ├── recognise_x86_64_Linux_syscall_utils.cpp │ │ ├── recognition_data.cpp │ │ ├── recognition_engine_x86_64_Linux.cpp │ │ └── register_info.cpp │ │ ├── dump.cpp │ │ ├── file_utils.cpp │ │ └── recognise.cpp └── reloader │ ├── CMakeLists.txt │ ├── INSTALL │ ├── README │ ├── include │ └── rebours │ │ └── MAL │ │ └── reloader │ │ ├── assumptions.hpp │ │ ├── development.hpp │ │ ├── endian.hpp │ │ ├── invariants.hpp │ │ ├── msgstream.hpp │ │ ├── reload.hpp │ │ └── test.hpp │ └── src │ └── reload.cpp ├── README.md ├── analysis └── native_execution │ ├── CMakeLists.txt │ ├── INSTALL │ ├── README │ ├── include │ └── rebours │ │ └── analysis │ │ └── native_execution │ │ ├── assumptions.hpp │ │ ├── branching_condition.hpp │ │ ├── development.hpp │ │ ├── dump.hpp │ │ ├── endian.hpp │ │ ├── execute_instruction.hpp │ │ ├── execute_program.hpp │ │ ├── execution_properties.hpp │ │ ├── exploration.hpp │ │ ├── file_utils.hpp │ │ ├── invariants.hpp │ │ ├── msgstream.hpp │ │ ├── recovery_properties.hpp │ │ ├── run.hpp │ │ ├── std_pair_hash.hpp │ │ └── test.hpp │ └── src │ ├── branching_condition.cpp │ ├── choose_next_unexplored_exit.cpp │ ├── close_unexplored_exit.cpp │ ├── compute_input_for_reaching_next_goal.cpp │ ├── execute_instruction.cpp │ ├── execute_program.cpp │ ├── execution_properties.cpp │ ├── file_utils.cpp │ ├── find_next_goal_from_unexplored_exit.cpp │ ├── find_traces_related_to_next_goal.cpp │ ├── merge_recovered_traces.cpp │ ├── natexe_dump.cpp │ ├── recovery_properties.cpp │ ├── run.cpp │ └── setup_next_execution_properties.cpp ├── bitvectors ├── CMakeLists.txt ├── INSTALL ├── README ├── include │ └── rebours │ │ └── bitvectors │ │ ├── assumptions.hpp │ │ ├── detail │ │ ├── execute_shell_command_with_async_pipe.hpp │ │ ├── file_utils.hpp │ │ ├── sat_checking_interruption_function.hpp │ │ └── unique_handles.hpp │ │ ├── endian.hpp │ │ ├── expression.hpp │ │ ├── expression_algo.hpp │ │ ├── expression_io.hpp │ │ ├── invariants.hpp │ │ ├── large_types.hpp │ │ ├── msgstream.hpp │ │ ├── sat_checking.hpp │ │ ├── symbol.hpp │ │ └── test.hpp ├── src │ ├── detail │ │ ├── execute_shell_command_with_async_pipe.cpp │ │ ├── file_utils.cpp │ │ ├── sat_checking_interruption_function.cpp │ │ └── unique_handles.cpp │ ├── expression.cpp │ ├── expression_algo.cpp │ ├── expression_load_smtlib2.cpp │ ├── expression_save_smtlib2.cpp │ ├── large_types.cpp │ ├── sat_checking.cpp │ ├── sat_engine_boolector │ │ └── sat_engine_boolector.cpp │ ├── sat_engine_mathsat5 │ │ └── sat_engine_mathsat5.cpp │ ├── sat_engine_z3 │ │ └── sat_engine_z3.cpp │ └── symbol.cpp └── tests │ ├── communication_with_solver │ ├── CMakeLists.txt │ └── main.cpp │ ├── expressions_io │ ├── CMakeLists.txt │ └── main.cpp │ ├── management_of_expressions │ ├── CMakeLists.txt │ └── main.cpp │ └── management_of_symbols │ ├── CMakeLists.txt │ └── main.cpp ├── data ├── benchmarks │ ├── SOURCES.txt │ └── src │ │ └── loadlibs │ │ ├── CMakeLists.txt │ │ └── src │ │ ├── CMakeLists.txt │ │ ├── dynamic_lib_five │ │ ├── CMakeLists.txt │ │ ├── include │ │ │ └── dynamic_lib_five │ │ │ │ └── functions.hpp │ │ └── src │ │ │ └── functions.cpp │ │ ├── dynamic_lib_four │ │ ├── CMakeLists.txt │ │ ├── include │ │ │ └── dynamic_lib_four │ │ │ │ └── functions.hpp │ │ └── src │ │ │ └── functions.cpp │ │ ├── dynamic_lib_one │ │ ├── CMakeLists.txt │ │ ├── include │ │ │ └── dynamic_lib_one │ │ │ │ └── functions.hpp │ │ └── src │ │ │ └── functions.cpp │ │ ├── dynamic_lib_seven │ │ ├── CMakeLists.txt │ │ ├── include │ │ │ └── dynamic_lib_seven │ │ │ │ └── functions.hpp │ │ └── src │ │ │ └── functions.cpp │ │ ├── dynamic_lib_six │ │ ├── CMakeLists.txt │ │ ├── include │ │ │ └── dynamic_lib_six │ │ │ │ └── functions.hpp │ │ └── src │ │ │ └── functions.cpp │ │ ├── dynamic_lib_three │ │ ├── CMakeLists.txt │ │ ├── include │ │ │ └── dynamic_lib_three │ │ │ │ └── functions.hpp │ │ └── src │ │ │ └── functions.cpp │ │ ├── dynamic_lib_two │ │ ├── CMakeLists.txt │ │ ├── include │ │ │ └── dynamic_lib_two │ │ │ │ └── functions.hpp │ │ └── src │ │ │ └── functions.cpp │ │ ├── import_export.hpp │ │ ├── loadlibs │ │ ├── CMakeLists.txt │ │ └── main.cpp │ │ └── static_lib_one │ │ ├── CMakeLists.txt │ │ ├── include │ │ └── static_lib_one │ │ │ └── functions.hpp │ │ └── src │ │ └── functions.cpp └── tests │ ├── asm │ ├── build.py │ └── src │ │ ├── inc_constant_in_mov.asm │ │ ├── inc_constant_in_mov_2.asm │ │ ├── move_block_of_code.asm │ │ ├── permute_instructions.asm │ │ ├── swap_tiny.asm │ │ └── where_was_i_A.asm │ └── c │ └── src │ ├── DOIF.c │ ├── DOIFex.c │ ├── EQCNT.c │ ├── EQCNTex.c │ ├── HW.c │ ├── HWM.c │ ├── OneLoop.c │ ├── OneLoop.s │ ├── TwoLoops.c │ ├── WinDriver.c │ ├── decode_packets.c │ ├── hello.c │ ├── matrIR.c │ └── matrIR_dyn.c ├── doc └── CFG_recovery │ ├── CFG_recovery.tex │ ├── fig_copy_program.pdf │ ├── fig_copy_program.svg │ ├── fig_prologue_stack_init.pdf │ ├── fig_prologue_stack_init.svg │ ├── fig_schema.pdf │ ├── fig_schema.svg │ ├── fig_schema_chaining.pdf │ ├── fig_schema_chaining.svg │ ├── fig_schema_encoding.pdf │ └── fig_schema_encoding.svg ├── program ├── CMakeLists.txt ├── INSTALL ├── README ├── include │ └── rebours │ │ └── program │ │ ├── assembly.hpp │ │ ├── assumptions.hpp │ │ ├── development.hpp │ │ ├── digraph.hpp │ │ ├── endian.hpp │ │ ├── instruction.hpp │ │ ├── invariants.hpp │ │ ├── large_types.hpp │ │ ├── msgstream.hpp │ │ ├── program.hpp │ │ └── test.hpp └── src │ ├── assembly.cpp │ ├── assembly_instruction.cpp │ ├── assembly_loader.cpp │ ├── assembly_writer.cpp │ ├── instruction.cpp │ ├── large_types.cpp │ └── program.cpp └── tool ├── ldexe ├── CMakeLists.txt ├── INSTALL ├── README ├── include │ └── ldexe │ │ ├── assumptions.hpp │ │ ├── endian.hpp │ │ ├── invariants.hpp │ │ ├── msgstream.hpp │ │ └── test.hpp └── src │ ├── ldexe.cpp │ └── ldexe.py └── natexe ├── CMakeLists.txt ├── INSTALL ├── README ├── include └── natexe │ ├── argparser.hpp │ ├── assumptions.hpp │ ├── development.hpp │ ├── endian.hpp │ ├── file_utils.hpp │ ├── invariants.hpp │ ├── msgstream.hpp │ └── test.hpp └── src ├── argparser.cpp ├── file_utils.cpp └── main.cpp /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/.gitignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/INSTALL -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/LICENSE -------------------------------------------------------------------------------- /MAL/descriptor/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/CMakeLists.txt -------------------------------------------------------------------------------- /MAL/descriptor/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/INSTALL -------------------------------------------------------------------------------- /MAL/descriptor/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/README -------------------------------------------------------------------------------- /MAL/descriptor/include/rebours/MAL/descriptor/assumptions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/include/rebours/MAL/descriptor/assumptions.hpp -------------------------------------------------------------------------------- /MAL/descriptor/include/rebours/MAL/descriptor/development.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/include/rebours/MAL/descriptor/development.hpp -------------------------------------------------------------------------------- /MAL/descriptor/include/rebours/MAL/descriptor/dump.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/include/rebours/MAL/descriptor/dump.hpp -------------------------------------------------------------------------------- /MAL/descriptor/include/rebours/MAL/descriptor/endian.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/include/rebours/MAL/descriptor/endian.hpp -------------------------------------------------------------------------------- /MAL/descriptor/include/rebours/MAL/descriptor/file_utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/include/rebours/MAL/descriptor/file_utils.hpp -------------------------------------------------------------------------------- /MAL/descriptor/include/rebours/MAL/descriptor/invariants.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/include/rebours/MAL/descriptor/invariants.hpp -------------------------------------------------------------------------------- /MAL/descriptor/include/rebours/MAL/descriptor/msgstream.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/include/rebours/MAL/descriptor/msgstream.hpp -------------------------------------------------------------------------------- /MAL/descriptor/include/rebours/MAL/descriptor/storage.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/include/rebours/MAL/descriptor/storage.hpp -------------------------------------------------------------------------------- /MAL/descriptor/include/rebours/MAL/descriptor/test.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/include/rebours/MAL/descriptor/test.hpp -------------------------------------------------------------------------------- /MAL/descriptor/src/dump.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/src/dump.cpp -------------------------------------------------------------------------------- /MAL/descriptor/src/file_utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/src/file_utils.cpp -------------------------------------------------------------------------------- /MAL/descriptor/src/storage.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/src/storage.cpp -------------------------------------------------------------------------------- /MAL/descriptor/src/x86_64_Linux/build_register_maps.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/src/x86_64_Linux/build_register_maps.cpp -------------------------------------------------------------------------------- /MAL/descriptor/src/x86_64_Linux/build_stack_init_data.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/src/x86_64_Linux/build_stack_init_data.cpp -------------------------------------------------------------------------------- /MAL/descriptor/src/x86_64_Linux/build_stack_sections.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/src/x86_64_Linux/build_stack_sections.cpp -------------------------------------------------------------------------------- /MAL/descriptor/src/x86_64_Linux/build_tls_template.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/descriptor/src/x86_64_Linux/build_tls_template.cpp -------------------------------------------------------------------------------- /MAL/encoder/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/encoder/CMakeLists.txt -------------------------------------------------------------------------------- /MAL/encoder/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/encoder/INSTALL -------------------------------------------------------------------------------- /MAL/encoder/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/encoder/README -------------------------------------------------------------------------------- /MAL/encoder/include/rebours/MAL/encoder/assumptions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/encoder/include/rebours/MAL/encoder/assumptions.hpp -------------------------------------------------------------------------------- /MAL/encoder/include/rebours/MAL/encoder/development.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/encoder/include/rebours/MAL/encoder/development.hpp -------------------------------------------------------------------------------- /MAL/encoder/include/rebours/MAL/encoder/encode.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/encoder/include/rebours/MAL/encoder/encode.hpp -------------------------------------------------------------------------------- /MAL/encoder/include/rebours/MAL/encoder/endian.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/encoder/include/rebours/MAL/encoder/endian.hpp -------------------------------------------------------------------------------- /MAL/encoder/include/rebours/MAL/encoder/invariants.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/encoder/include/rebours/MAL/encoder/invariants.hpp -------------------------------------------------------------------------------- /MAL/encoder/include/rebours/MAL/encoder/msgstream.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/encoder/include/rebours/MAL/encoder/msgstream.hpp -------------------------------------------------------------------------------- /MAL/encoder/include/rebours/MAL/encoder/test.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/encoder/include/rebours/MAL/encoder/test.hpp -------------------------------------------------------------------------------- /MAL/encoder/src/encode.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/encoder/src/encode.cpp -------------------------------------------------------------------------------- /MAL/loader/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/CMakeLists.txt -------------------------------------------------------------------------------- /MAL/loader/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/INSTALL -------------------------------------------------------------------------------- /MAL/loader/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/README -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/address.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/address.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/assumptions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/assumptions.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/buffer_io.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/buffer_io.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/dependencies_graph.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/dependencies_graph.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/descriptor.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/descriptor.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/detail/abi_loaders.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/detail/abi_loaders.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/detail/address_fixing.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/detail/address_fixing.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/detail/load_elf.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/detail/load_elf.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/detail/load_mach.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/detail/load_mach.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/detail/load_pe.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/detail/load_pe.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/detail/load_props_elf.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/detail/load_props_elf.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/detail/load_props_mach.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/detail/load_props_mach.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/detail/load_props_pe.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/detail/load_props_pe.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/detail/mutable_sections_table.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/detail/mutable_sections_table.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/detail/set_file_property.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/detail/set_file_property.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/detail/std_pair_hash.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/detail/std_pair_hash.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/dump.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/dump.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/endian.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/endian.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/file_props.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/file_props.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/file_utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/file_utils.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/init_fini.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/init_fini.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/invariants.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/invariants.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/load.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/load.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/msgstream.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/msgstream.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/platform.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/platform.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/relocations.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/relocations.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/sections_table.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/sections_table.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/special_sections.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/special_sections.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/special_sections/elf_tls.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/special_sections/elf_tls.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/special_sections/exceptions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/special_sections/exceptions.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/special_sections/load_configuration_structure.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/special_sections/load_configuration_structure.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/special_sections/special_section_properties.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/special_sections/special_section_properties.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/special_sections/thread_local_storage_initialisers.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/special_sections/thread_local_storage_initialisers.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/to_string.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/to_string.hpp -------------------------------------------------------------------------------- /MAL/loader/include/rebours/MAL/loader/warnings.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/include/rebours/MAL/loader/warnings.hpp -------------------------------------------------------------------------------- /MAL/loader/src/buffer_io.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/buffer_io.cpp -------------------------------------------------------------------------------- /MAL/loader/src/dependencies_graph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/dependencies_graph.cpp -------------------------------------------------------------------------------- /MAL/loader/src/descriptor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/descriptor.cpp -------------------------------------------------------------------------------- /MAL/loader/src/detail/abi_loaders/ld_linux_x86_32_so_2.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/detail/abi_loaders/ld_linux_x86_32_so_2.cpp -------------------------------------------------------------------------------- /MAL/loader/src/detail/abi_loaders/ld_linux_x86_64_so_2.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/detail/abi_loaders/ld_linux_x86_64_so_2.cpp -------------------------------------------------------------------------------- /MAL/loader/src/detail/address_fixing.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/detail/address_fixing.cpp -------------------------------------------------------------------------------- /MAL/loader/src/detail/load_elf.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/detail/load_elf.cpp -------------------------------------------------------------------------------- /MAL/loader/src/detail/load_elf_32bit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/detail/load_elf_32bit.cpp -------------------------------------------------------------------------------- /MAL/loader/src/detail/load_elf_64bit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/detail/load_elf_64bit.cpp -------------------------------------------------------------------------------- /MAL/loader/src/detail/load_mach.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/detail/load_mach.cpp -------------------------------------------------------------------------------- /MAL/loader/src/detail/load_mach_32bit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/detail/load_mach_32bit.cpp -------------------------------------------------------------------------------- /MAL/loader/src/detail/load_mach_64bit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/detail/load_mach_64bit.cpp -------------------------------------------------------------------------------- /MAL/loader/src/detail/load_pe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/detail/load_pe.cpp -------------------------------------------------------------------------------- /MAL/loader/src/detail/load_pe_32bit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/detail/load_pe_32bit.cpp -------------------------------------------------------------------------------- /MAL/loader/src/detail/load_pe_64bit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/detail/load_pe_64bit.cpp -------------------------------------------------------------------------------- /MAL/loader/src/detail/load_props_elf.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/detail/load_props_elf.cpp -------------------------------------------------------------------------------- /MAL/loader/src/detail/load_props_mach.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/detail/load_props_mach.cpp -------------------------------------------------------------------------------- /MAL/loader/src/detail/load_props_pe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/detail/load_props_pe.cpp -------------------------------------------------------------------------------- /MAL/loader/src/detail/mutable_sections_table.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/detail/mutable_sections_table.cpp -------------------------------------------------------------------------------- /MAL/loader/src/dump.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/dump.cpp -------------------------------------------------------------------------------- /MAL/loader/src/file_props.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/file_props.cpp -------------------------------------------------------------------------------- /MAL/loader/src/file_utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/file_utils.cpp -------------------------------------------------------------------------------- /MAL/loader/src/load.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/load.cpp -------------------------------------------------------------------------------- /MAL/loader/src/platform.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/platform.cpp -------------------------------------------------------------------------------- /MAL/loader/src/relocations.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/relocations.cpp -------------------------------------------------------------------------------- /MAL/loader/src/sections_table.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/sections_table.cpp -------------------------------------------------------------------------------- /MAL/loader/src/special_sections.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/special_sections.cpp -------------------------------------------------------------------------------- /MAL/loader/src/special_sections/elf_tls.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/special_sections/elf_tls.cpp -------------------------------------------------------------------------------- /MAL/loader/src/special_sections/exceptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/special_sections/exceptions.cpp -------------------------------------------------------------------------------- /MAL/loader/src/special_sections/load_configuration_structure.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/special_sections/load_configuration_structure.cpp -------------------------------------------------------------------------------- /MAL/loader/src/special_sections/special_section_properties.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/special_sections/special_section_properties.cpp -------------------------------------------------------------------------------- /MAL/loader/src/special_sections/thread_local_storage_initialisers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/src/special_sections/thread_local_storage_initialisers.cpp -------------------------------------------------------------------------------- /MAL/loader/tests/data_path.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/tests/data_path.cpp -------------------------------------------------------------------------------- /MAL/loader/tests/data_path.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/tests/data_path.hpp -------------------------------------------------------------------------------- /MAL/loader/tests/test.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/tests/test.hpp -------------------------------------------------------------------------------- /MAL/loader/tests/test01/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/tests/test01/CMakeLists.txt -------------------------------------------------------------------------------- /MAL/loader/tests/test01/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/loader/tests/test01/main.cpp -------------------------------------------------------------------------------- /MAL/prologue/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/prologue/CMakeLists.txt -------------------------------------------------------------------------------- /MAL/prologue/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/prologue/INSTALL -------------------------------------------------------------------------------- /MAL/prologue/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/prologue/README -------------------------------------------------------------------------------- /MAL/prologue/include/rebours/MAL/prologue/assumptions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/prologue/include/rebours/MAL/prologue/assumptions.hpp -------------------------------------------------------------------------------- /MAL/prologue/include/rebours/MAL/prologue/builder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/prologue/include/rebours/MAL/prologue/builder.hpp -------------------------------------------------------------------------------- /MAL/prologue/include/rebours/MAL/prologue/development.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/prologue/include/rebours/MAL/prologue/development.hpp -------------------------------------------------------------------------------- /MAL/prologue/include/rebours/MAL/prologue/endian.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/prologue/include/rebours/MAL/prologue/endian.hpp -------------------------------------------------------------------------------- /MAL/prologue/include/rebours/MAL/prologue/invariants.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/prologue/include/rebours/MAL/prologue/invariants.hpp -------------------------------------------------------------------------------- /MAL/prologue/include/rebours/MAL/prologue/msgstream.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/prologue/include/rebours/MAL/prologue/msgstream.hpp -------------------------------------------------------------------------------- /MAL/prologue/include/rebours/MAL/prologue/test.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/prologue/include/rebours/MAL/prologue/test.hpp -------------------------------------------------------------------------------- /MAL/prologue/src/builder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/prologue/src/builder.cpp -------------------------------------------------------------------------------- /MAL/prologue/src/builder_x86_64_Linux.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/prologue/src/builder_x86_64_Linux.cpp -------------------------------------------------------------------------------- /MAL/recogniser/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/CMakeLists.txt -------------------------------------------------------------------------------- /MAL/recogniser/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/INSTALL -------------------------------------------------------------------------------- /MAL/recogniser/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/README -------------------------------------------------------------------------------- /MAL/recogniser/include/rebours/MAL/recogniser/assumptions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/include/rebours/MAL/recogniser/assumptions.hpp -------------------------------------------------------------------------------- /MAL/recogniser/include/rebours/MAL/recogniser/detail/recognise_x86_64_Linux.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/include/rebours/MAL/recogniser/detail/recognise_x86_64_Linux.hpp -------------------------------------------------------------------------------- /MAL/recogniser/include/rebours/MAL/recogniser/detail/recognise_x86_64_Linux_syscall_syscall.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/include/rebours/MAL/recogniser/detail/recognise_x86_64_Linux_syscall_syscall.hpp -------------------------------------------------------------------------------- /MAL/recogniser/include/rebours/MAL/recogniser/detail/recognise_x86_64_Linux_syscall_utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/include/rebours/MAL/recogniser/detail/recognise_x86_64_Linux_syscall_utils.hpp -------------------------------------------------------------------------------- /MAL/recogniser/include/rebours/MAL/recogniser/detail/recognition_data.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/include/rebours/MAL/recogniser/detail/recognition_data.hpp -------------------------------------------------------------------------------- /MAL/recogniser/include/rebours/MAL/recogniser/detail/recognition_engine_x86_64_Linux.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/include/rebours/MAL/recogniser/detail/recognition_engine_x86_64_Linux.hpp -------------------------------------------------------------------------------- /MAL/recogniser/include/rebours/MAL/recogniser/detail/register_info.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/include/rebours/MAL/recogniser/detail/register_info.hpp -------------------------------------------------------------------------------- /MAL/recogniser/include/rebours/MAL/recogniser/development.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/include/rebours/MAL/recogniser/development.hpp -------------------------------------------------------------------------------- /MAL/recogniser/include/rebours/MAL/recogniser/dump.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/include/rebours/MAL/recogniser/dump.hpp -------------------------------------------------------------------------------- /MAL/recogniser/include/rebours/MAL/recogniser/endian.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/include/rebours/MAL/recogniser/endian.hpp -------------------------------------------------------------------------------- /MAL/recogniser/include/rebours/MAL/recogniser/file_utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/include/rebours/MAL/recogniser/file_utils.hpp -------------------------------------------------------------------------------- /MAL/recogniser/include/rebours/MAL/recogniser/invariants.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/include/rebours/MAL/recogniser/invariants.hpp -------------------------------------------------------------------------------- /MAL/recogniser/include/rebours/MAL/recogniser/msgstream.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/include/rebours/MAL/recogniser/msgstream.hpp -------------------------------------------------------------------------------- /MAL/recogniser/include/rebours/MAL/recogniser/recognise.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/include/rebours/MAL/recogniser/recognise.hpp -------------------------------------------------------------------------------- /MAL/recogniser/include/rebours/MAL/recogniser/test.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/include/rebours/MAL/recogniser/test.hpp -------------------------------------------------------------------------------- /MAL/recogniser/src/detail/dump_x86_64_Linux.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/src/detail/dump_x86_64_Linux.cpp -------------------------------------------------------------------------------- /MAL/recogniser/src/detail/recognise_x86_64_Linux.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/src/detail/recognise_x86_64_Linux.cpp -------------------------------------------------------------------------------- /MAL/recogniser/src/detail/recognise_x86_64_Linux_syscall_syscall.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/src/detail/recognise_x86_64_Linux_syscall_syscall.cpp -------------------------------------------------------------------------------- /MAL/recogniser/src/detail/recognise_x86_64_Linux_syscall_utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/src/detail/recognise_x86_64_Linux_syscall_utils.cpp -------------------------------------------------------------------------------- /MAL/recogniser/src/detail/recognition_data.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/src/detail/recognition_data.cpp -------------------------------------------------------------------------------- /MAL/recogniser/src/detail/recognition_engine_x86_64_Linux.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/src/detail/recognition_engine_x86_64_Linux.cpp -------------------------------------------------------------------------------- /MAL/recogniser/src/detail/register_info.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/src/detail/register_info.cpp -------------------------------------------------------------------------------- /MAL/recogniser/src/dump.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/src/dump.cpp -------------------------------------------------------------------------------- /MAL/recogniser/src/file_utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/src/file_utils.cpp -------------------------------------------------------------------------------- /MAL/recogniser/src/recognise.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/recogniser/src/recognise.cpp -------------------------------------------------------------------------------- /MAL/reloader/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/reloader/CMakeLists.txt -------------------------------------------------------------------------------- /MAL/reloader/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/reloader/INSTALL -------------------------------------------------------------------------------- /MAL/reloader/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/reloader/README -------------------------------------------------------------------------------- /MAL/reloader/include/rebours/MAL/reloader/assumptions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/reloader/include/rebours/MAL/reloader/assumptions.hpp -------------------------------------------------------------------------------- /MAL/reloader/include/rebours/MAL/reloader/development.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/reloader/include/rebours/MAL/reloader/development.hpp -------------------------------------------------------------------------------- /MAL/reloader/include/rebours/MAL/reloader/endian.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/reloader/include/rebours/MAL/reloader/endian.hpp -------------------------------------------------------------------------------- /MAL/reloader/include/rebours/MAL/reloader/invariants.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/reloader/include/rebours/MAL/reloader/invariants.hpp -------------------------------------------------------------------------------- /MAL/reloader/include/rebours/MAL/reloader/msgstream.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/reloader/include/rebours/MAL/reloader/msgstream.hpp -------------------------------------------------------------------------------- /MAL/reloader/include/rebours/MAL/reloader/reload.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/reloader/include/rebours/MAL/reloader/reload.hpp -------------------------------------------------------------------------------- /MAL/reloader/include/rebours/MAL/reloader/test.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/reloader/include/rebours/MAL/reloader/test.hpp -------------------------------------------------------------------------------- /MAL/reloader/src/reload.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/MAL/reloader/src/reload.cpp -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/README.md -------------------------------------------------------------------------------- /analysis/native_execution/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/CMakeLists.txt -------------------------------------------------------------------------------- /analysis/native_execution/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/INSTALL -------------------------------------------------------------------------------- /analysis/native_execution/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/README -------------------------------------------------------------------------------- /analysis/native_execution/include/rebours/analysis/native_execution/assumptions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/include/rebours/analysis/native_execution/assumptions.hpp -------------------------------------------------------------------------------- /analysis/native_execution/include/rebours/analysis/native_execution/branching_condition.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/include/rebours/analysis/native_execution/branching_condition.hpp -------------------------------------------------------------------------------- /analysis/native_execution/include/rebours/analysis/native_execution/development.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/include/rebours/analysis/native_execution/development.hpp -------------------------------------------------------------------------------- /analysis/native_execution/include/rebours/analysis/native_execution/dump.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/include/rebours/analysis/native_execution/dump.hpp -------------------------------------------------------------------------------- /analysis/native_execution/include/rebours/analysis/native_execution/endian.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/include/rebours/analysis/native_execution/endian.hpp -------------------------------------------------------------------------------- /analysis/native_execution/include/rebours/analysis/native_execution/execute_instruction.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/include/rebours/analysis/native_execution/execute_instruction.hpp -------------------------------------------------------------------------------- /analysis/native_execution/include/rebours/analysis/native_execution/execute_program.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/include/rebours/analysis/native_execution/execute_program.hpp -------------------------------------------------------------------------------- /analysis/native_execution/include/rebours/analysis/native_execution/execution_properties.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/include/rebours/analysis/native_execution/execution_properties.hpp -------------------------------------------------------------------------------- /analysis/native_execution/include/rebours/analysis/native_execution/exploration.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/include/rebours/analysis/native_execution/exploration.hpp -------------------------------------------------------------------------------- /analysis/native_execution/include/rebours/analysis/native_execution/file_utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/include/rebours/analysis/native_execution/file_utils.hpp -------------------------------------------------------------------------------- /analysis/native_execution/include/rebours/analysis/native_execution/invariants.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/include/rebours/analysis/native_execution/invariants.hpp -------------------------------------------------------------------------------- /analysis/native_execution/include/rebours/analysis/native_execution/msgstream.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/include/rebours/analysis/native_execution/msgstream.hpp -------------------------------------------------------------------------------- /analysis/native_execution/include/rebours/analysis/native_execution/recovery_properties.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/include/rebours/analysis/native_execution/recovery_properties.hpp -------------------------------------------------------------------------------- /analysis/native_execution/include/rebours/analysis/native_execution/run.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/include/rebours/analysis/native_execution/run.hpp -------------------------------------------------------------------------------- /analysis/native_execution/include/rebours/analysis/native_execution/std_pair_hash.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/include/rebours/analysis/native_execution/std_pair_hash.hpp -------------------------------------------------------------------------------- /analysis/native_execution/include/rebours/analysis/native_execution/test.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/include/rebours/analysis/native_execution/test.hpp -------------------------------------------------------------------------------- /analysis/native_execution/src/branching_condition.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/src/branching_condition.cpp -------------------------------------------------------------------------------- /analysis/native_execution/src/choose_next_unexplored_exit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/src/choose_next_unexplored_exit.cpp -------------------------------------------------------------------------------- /analysis/native_execution/src/close_unexplored_exit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/src/close_unexplored_exit.cpp -------------------------------------------------------------------------------- /analysis/native_execution/src/compute_input_for_reaching_next_goal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/src/compute_input_for_reaching_next_goal.cpp -------------------------------------------------------------------------------- /analysis/native_execution/src/execute_instruction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/src/execute_instruction.cpp -------------------------------------------------------------------------------- /analysis/native_execution/src/execute_program.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/src/execute_program.cpp -------------------------------------------------------------------------------- /analysis/native_execution/src/execution_properties.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/src/execution_properties.cpp -------------------------------------------------------------------------------- /analysis/native_execution/src/file_utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/src/file_utils.cpp -------------------------------------------------------------------------------- /analysis/native_execution/src/find_next_goal_from_unexplored_exit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/src/find_next_goal_from_unexplored_exit.cpp -------------------------------------------------------------------------------- /analysis/native_execution/src/find_traces_related_to_next_goal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/src/find_traces_related_to_next_goal.cpp -------------------------------------------------------------------------------- /analysis/native_execution/src/merge_recovered_traces.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/src/merge_recovered_traces.cpp -------------------------------------------------------------------------------- /analysis/native_execution/src/natexe_dump.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/src/natexe_dump.cpp -------------------------------------------------------------------------------- /analysis/native_execution/src/recovery_properties.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/src/recovery_properties.cpp -------------------------------------------------------------------------------- /analysis/native_execution/src/run.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/src/run.cpp -------------------------------------------------------------------------------- /analysis/native_execution/src/setup_next_execution_properties.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/analysis/native_execution/src/setup_next_execution_properties.cpp -------------------------------------------------------------------------------- /bitvectors/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/CMakeLists.txt -------------------------------------------------------------------------------- /bitvectors/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/INSTALL -------------------------------------------------------------------------------- /bitvectors/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/README -------------------------------------------------------------------------------- /bitvectors/include/rebours/bitvectors/assumptions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/include/rebours/bitvectors/assumptions.hpp -------------------------------------------------------------------------------- /bitvectors/include/rebours/bitvectors/detail/execute_shell_command_with_async_pipe.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/include/rebours/bitvectors/detail/execute_shell_command_with_async_pipe.hpp -------------------------------------------------------------------------------- /bitvectors/include/rebours/bitvectors/detail/file_utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/include/rebours/bitvectors/detail/file_utils.hpp -------------------------------------------------------------------------------- /bitvectors/include/rebours/bitvectors/detail/sat_checking_interruption_function.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/include/rebours/bitvectors/detail/sat_checking_interruption_function.hpp -------------------------------------------------------------------------------- /bitvectors/include/rebours/bitvectors/detail/unique_handles.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/include/rebours/bitvectors/detail/unique_handles.hpp -------------------------------------------------------------------------------- /bitvectors/include/rebours/bitvectors/endian.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/include/rebours/bitvectors/endian.hpp -------------------------------------------------------------------------------- /bitvectors/include/rebours/bitvectors/expression.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/include/rebours/bitvectors/expression.hpp -------------------------------------------------------------------------------- /bitvectors/include/rebours/bitvectors/expression_algo.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/include/rebours/bitvectors/expression_algo.hpp -------------------------------------------------------------------------------- /bitvectors/include/rebours/bitvectors/expression_io.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/include/rebours/bitvectors/expression_io.hpp -------------------------------------------------------------------------------- /bitvectors/include/rebours/bitvectors/invariants.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/include/rebours/bitvectors/invariants.hpp -------------------------------------------------------------------------------- /bitvectors/include/rebours/bitvectors/large_types.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/include/rebours/bitvectors/large_types.hpp -------------------------------------------------------------------------------- /bitvectors/include/rebours/bitvectors/msgstream.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/include/rebours/bitvectors/msgstream.hpp -------------------------------------------------------------------------------- /bitvectors/include/rebours/bitvectors/sat_checking.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/include/rebours/bitvectors/sat_checking.hpp -------------------------------------------------------------------------------- /bitvectors/include/rebours/bitvectors/symbol.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/include/rebours/bitvectors/symbol.hpp -------------------------------------------------------------------------------- /bitvectors/include/rebours/bitvectors/test.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/include/rebours/bitvectors/test.hpp -------------------------------------------------------------------------------- /bitvectors/src/detail/execute_shell_command_with_async_pipe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/src/detail/execute_shell_command_with_async_pipe.cpp -------------------------------------------------------------------------------- /bitvectors/src/detail/file_utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/src/detail/file_utils.cpp -------------------------------------------------------------------------------- /bitvectors/src/detail/sat_checking_interruption_function.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/src/detail/sat_checking_interruption_function.cpp -------------------------------------------------------------------------------- /bitvectors/src/detail/unique_handles.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/src/detail/unique_handles.cpp -------------------------------------------------------------------------------- /bitvectors/src/expression.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/src/expression.cpp -------------------------------------------------------------------------------- /bitvectors/src/expression_algo.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/src/expression_algo.cpp -------------------------------------------------------------------------------- /bitvectors/src/expression_load_smtlib2.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/src/expression_load_smtlib2.cpp -------------------------------------------------------------------------------- /bitvectors/src/expression_save_smtlib2.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/src/expression_save_smtlib2.cpp -------------------------------------------------------------------------------- /bitvectors/src/large_types.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/src/large_types.cpp -------------------------------------------------------------------------------- /bitvectors/src/sat_checking.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/src/sat_checking.cpp -------------------------------------------------------------------------------- /bitvectors/src/sat_engine_boolector/sat_engine_boolector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/src/sat_engine_boolector/sat_engine_boolector.cpp -------------------------------------------------------------------------------- /bitvectors/src/sat_engine_mathsat5/sat_engine_mathsat5.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/src/sat_engine_mathsat5/sat_engine_mathsat5.cpp -------------------------------------------------------------------------------- /bitvectors/src/sat_engine_z3/sat_engine_z3.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/src/sat_engine_z3/sat_engine_z3.cpp -------------------------------------------------------------------------------- /bitvectors/src/symbol.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/src/symbol.cpp -------------------------------------------------------------------------------- /bitvectors/tests/communication_with_solver/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/tests/communication_with_solver/CMakeLists.txt -------------------------------------------------------------------------------- /bitvectors/tests/communication_with_solver/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/tests/communication_with_solver/main.cpp -------------------------------------------------------------------------------- /bitvectors/tests/expressions_io/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/tests/expressions_io/CMakeLists.txt -------------------------------------------------------------------------------- /bitvectors/tests/expressions_io/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/tests/expressions_io/main.cpp -------------------------------------------------------------------------------- /bitvectors/tests/management_of_expressions/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/tests/management_of_expressions/CMakeLists.txt -------------------------------------------------------------------------------- /bitvectors/tests/management_of_expressions/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/tests/management_of_expressions/main.cpp -------------------------------------------------------------------------------- /bitvectors/tests/management_of_symbols/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/tests/management_of_symbols/CMakeLists.txt -------------------------------------------------------------------------------- /bitvectors/tests/management_of_symbols/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/bitvectors/tests/management_of_symbols/main.cpp -------------------------------------------------------------------------------- /data/benchmarks/SOURCES.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/SOURCES.txt -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/CMakeLists.txt -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/CMakeLists.txt -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_five/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_five/CMakeLists.txt -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_five/include/dynamic_lib_five/functions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_five/include/dynamic_lib_five/functions.hpp -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_five/src/functions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_five/src/functions.cpp -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_four/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_four/CMakeLists.txt -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_four/include/dynamic_lib_four/functions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_four/include/dynamic_lib_four/functions.hpp -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_four/src/functions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_four/src/functions.cpp -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_one/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_one/CMakeLists.txt -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_one/include/dynamic_lib_one/functions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_one/include/dynamic_lib_one/functions.hpp -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_one/src/functions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_one/src/functions.cpp -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_seven/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_seven/CMakeLists.txt -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_seven/include/dynamic_lib_seven/functions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_seven/include/dynamic_lib_seven/functions.hpp -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_seven/src/functions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_seven/src/functions.cpp -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_six/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_six/CMakeLists.txt -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_six/include/dynamic_lib_six/functions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_six/include/dynamic_lib_six/functions.hpp -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_six/src/functions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_six/src/functions.cpp -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_three/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_three/CMakeLists.txt -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_three/include/dynamic_lib_three/functions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_three/include/dynamic_lib_three/functions.hpp -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_three/src/functions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_three/src/functions.cpp -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_two/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_two/CMakeLists.txt -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_two/include/dynamic_lib_two/functions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_two/include/dynamic_lib_two/functions.hpp -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/dynamic_lib_two/src/functions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/dynamic_lib_two/src/functions.cpp -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/import_export.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/import_export.hpp -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/loadlibs/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/loadlibs/CMakeLists.txt -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/loadlibs/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/loadlibs/main.cpp -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/static_lib_one/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/static_lib_one/CMakeLists.txt -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/static_lib_one/include/static_lib_one/functions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/static_lib_one/include/static_lib_one/functions.hpp -------------------------------------------------------------------------------- /data/benchmarks/src/loadlibs/src/static_lib_one/src/functions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/benchmarks/src/loadlibs/src/static_lib_one/src/functions.cpp -------------------------------------------------------------------------------- /data/tests/asm/build.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/asm/build.py -------------------------------------------------------------------------------- /data/tests/asm/src/inc_constant_in_mov.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/asm/src/inc_constant_in_mov.asm -------------------------------------------------------------------------------- /data/tests/asm/src/inc_constant_in_mov_2.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/asm/src/inc_constant_in_mov_2.asm -------------------------------------------------------------------------------- /data/tests/asm/src/move_block_of_code.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/asm/src/move_block_of_code.asm -------------------------------------------------------------------------------- /data/tests/asm/src/permute_instructions.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/asm/src/permute_instructions.asm -------------------------------------------------------------------------------- /data/tests/asm/src/swap_tiny.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/asm/src/swap_tiny.asm -------------------------------------------------------------------------------- /data/tests/asm/src/where_was_i_A.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/asm/src/where_was_i_A.asm -------------------------------------------------------------------------------- /data/tests/c/src/DOIF.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/c/src/DOIF.c -------------------------------------------------------------------------------- /data/tests/c/src/DOIFex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/c/src/DOIFex.c -------------------------------------------------------------------------------- /data/tests/c/src/EQCNT.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/c/src/EQCNT.c -------------------------------------------------------------------------------- /data/tests/c/src/EQCNTex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/c/src/EQCNTex.c -------------------------------------------------------------------------------- /data/tests/c/src/HW.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/c/src/HW.c -------------------------------------------------------------------------------- /data/tests/c/src/HWM.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/c/src/HWM.c -------------------------------------------------------------------------------- /data/tests/c/src/OneLoop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/c/src/OneLoop.c -------------------------------------------------------------------------------- /data/tests/c/src/OneLoop.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/c/src/OneLoop.s -------------------------------------------------------------------------------- /data/tests/c/src/TwoLoops.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/c/src/TwoLoops.c -------------------------------------------------------------------------------- /data/tests/c/src/WinDriver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/c/src/WinDriver.c -------------------------------------------------------------------------------- /data/tests/c/src/decode_packets.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/c/src/decode_packets.c -------------------------------------------------------------------------------- /data/tests/c/src/hello.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/c/src/hello.c -------------------------------------------------------------------------------- /data/tests/c/src/matrIR.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/c/src/matrIR.c -------------------------------------------------------------------------------- /data/tests/c/src/matrIR_dyn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/data/tests/c/src/matrIR_dyn.c -------------------------------------------------------------------------------- /doc/CFG_recovery/CFG_recovery.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/doc/CFG_recovery/CFG_recovery.tex -------------------------------------------------------------------------------- /doc/CFG_recovery/fig_copy_program.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/doc/CFG_recovery/fig_copy_program.pdf -------------------------------------------------------------------------------- /doc/CFG_recovery/fig_copy_program.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/doc/CFG_recovery/fig_copy_program.svg -------------------------------------------------------------------------------- /doc/CFG_recovery/fig_prologue_stack_init.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/doc/CFG_recovery/fig_prologue_stack_init.pdf -------------------------------------------------------------------------------- /doc/CFG_recovery/fig_prologue_stack_init.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/doc/CFG_recovery/fig_prologue_stack_init.svg -------------------------------------------------------------------------------- /doc/CFG_recovery/fig_schema.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/doc/CFG_recovery/fig_schema.pdf -------------------------------------------------------------------------------- /doc/CFG_recovery/fig_schema.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/doc/CFG_recovery/fig_schema.svg -------------------------------------------------------------------------------- /doc/CFG_recovery/fig_schema_chaining.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/doc/CFG_recovery/fig_schema_chaining.pdf -------------------------------------------------------------------------------- /doc/CFG_recovery/fig_schema_chaining.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/doc/CFG_recovery/fig_schema_chaining.svg -------------------------------------------------------------------------------- /doc/CFG_recovery/fig_schema_encoding.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/doc/CFG_recovery/fig_schema_encoding.pdf -------------------------------------------------------------------------------- /doc/CFG_recovery/fig_schema_encoding.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/doc/CFG_recovery/fig_schema_encoding.svg -------------------------------------------------------------------------------- /program/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/CMakeLists.txt -------------------------------------------------------------------------------- /program/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/INSTALL -------------------------------------------------------------------------------- /program/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/README -------------------------------------------------------------------------------- /program/include/rebours/program/assembly.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/include/rebours/program/assembly.hpp -------------------------------------------------------------------------------- /program/include/rebours/program/assumptions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/include/rebours/program/assumptions.hpp -------------------------------------------------------------------------------- /program/include/rebours/program/development.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/include/rebours/program/development.hpp -------------------------------------------------------------------------------- /program/include/rebours/program/digraph.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/include/rebours/program/digraph.hpp -------------------------------------------------------------------------------- /program/include/rebours/program/endian.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/include/rebours/program/endian.hpp -------------------------------------------------------------------------------- /program/include/rebours/program/instruction.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/include/rebours/program/instruction.hpp -------------------------------------------------------------------------------- /program/include/rebours/program/invariants.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/include/rebours/program/invariants.hpp -------------------------------------------------------------------------------- /program/include/rebours/program/large_types.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/include/rebours/program/large_types.hpp -------------------------------------------------------------------------------- /program/include/rebours/program/msgstream.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/include/rebours/program/msgstream.hpp -------------------------------------------------------------------------------- /program/include/rebours/program/program.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/include/rebours/program/program.hpp -------------------------------------------------------------------------------- /program/include/rebours/program/test.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/include/rebours/program/test.hpp -------------------------------------------------------------------------------- /program/src/assembly.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/src/assembly.cpp -------------------------------------------------------------------------------- /program/src/assembly_instruction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/src/assembly_instruction.cpp -------------------------------------------------------------------------------- /program/src/assembly_loader.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/src/assembly_loader.cpp -------------------------------------------------------------------------------- /program/src/assembly_writer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/src/assembly_writer.cpp -------------------------------------------------------------------------------- /program/src/instruction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/src/instruction.cpp -------------------------------------------------------------------------------- /program/src/large_types.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/src/large_types.cpp -------------------------------------------------------------------------------- /program/src/program.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/program/src/program.cpp -------------------------------------------------------------------------------- /tool/ldexe/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/ldexe/CMakeLists.txt -------------------------------------------------------------------------------- /tool/ldexe/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/ldexe/INSTALL -------------------------------------------------------------------------------- /tool/ldexe/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/ldexe/README -------------------------------------------------------------------------------- /tool/ldexe/include/ldexe/assumptions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/ldexe/include/ldexe/assumptions.hpp -------------------------------------------------------------------------------- /tool/ldexe/include/ldexe/endian.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/ldexe/include/ldexe/endian.hpp -------------------------------------------------------------------------------- /tool/ldexe/include/ldexe/invariants.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/ldexe/include/ldexe/invariants.hpp -------------------------------------------------------------------------------- /tool/ldexe/include/ldexe/msgstream.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/ldexe/include/ldexe/msgstream.hpp -------------------------------------------------------------------------------- /tool/ldexe/include/ldexe/test.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/ldexe/include/ldexe/test.hpp -------------------------------------------------------------------------------- /tool/ldexe/src/ldexe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/ldexe/src/ldexe.cpp -------------------------------------------------------------------------------- /tool/ldexe/src/ldexe.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/ldexe/src/ldexe.py -------------------------------------------------------------------------------- /tool/natexe/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/natexe/CMakeLists.txt -------------------------------------------------------------------------------- /tool/natexe/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/natexe/INSTALL -------------------------------------------------------------------------------- /tool/natexe/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/natexe/README -------------------------------------------------------------------------------- /tool/natexe/include/natexe/argparser.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/natexe/include/natexe/argparser.hpp -------------------------------------------------------------------------------- /tool/natexe/include/natexe/assumptions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/natexe/include/natexe/assumptions.hpp -------------------------------------------------------------------------------- /tool/natexe/include/natexe/development.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/natexe/include/natexe/development.hpp -------------------------------------------------------------------------------- /tool/natexe/include/natexe/endian.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/natexe/include/natexe/endian.hpp -------------------------------------------------------------------------------- /tool/natexe/include/natexe/file_utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/natexe/include/natexe/file_utils.hpp -------------------------------------------------------------------------------- /tool/natexe/include/natexe/invariants.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/natexe/include/natexe/invariants.hpp -------------------------------------------------------------------------------- /tool/natexe/include/natexe/msgstream.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/natexe/include/natexe/msgstream.hpp -------------------------------------------------------------------------------- /tool/natexe/include/natexe/test.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/natexe/include/natexe/test.hpp -------------------------------------------------------------------------------- /tool/natexe/src/argparser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/natexe/src/argparser.cpp -------------------------------------------------------------------------------- /tool/natexe/src/file_utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/natexe/src/file_utils.cpp -------------------------------------------------------------------------------- /tool/natexe/src/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trtikm/Rebours/HEAD/tool/natexe/src/main.cpp --------------------------------------------------------------------------------