├── .github └── workflows │ ├── ci.yml │ └── python-package.yml ├── .gitignore ├── .gitmodules ├── BUILDING.md ├── CMakeLists.txt ├── CMakePresets.json ├── CONTRIBUTING.md ├── Dockerfile ├── HACKING.md ├── LICENCE ├── PACKAGING.md ├── README.md ├── Version.txt ├── bindings ├── bindings.cmake ├── packaging │ ├── Dockerfile │ ├── pyproject.toml │ ├── setup.cfg │ └── setup.py └── python │ ├── py_arch.cpp │ ├── py_config.cpp │ ├── py_constraint.cpp │ ├── py_cpu.cpp │ ├── py_engine.cpp │ ├── py_env.cpp │ ├── py_env_EVM.cpp │ ├── py_event.cpp │ ├── py_filesystem.cpp │ ├── py_info.cpp │ ├── py_loader.cpp │ ├── py_maat.cpp │ ├── py_memory.cpp │ ├── py_path.cpp │ ├── py_process.cpp │ ├── py_serialization.cpp │ ├── py_settings.cpp │ ├── py_solver.cpp │ ├── py_stats.cpp │ ├── py_value.cpp │ ├── python_bindings.hpp │ └── util.cpp ├── cmake ├── coverage.cmake ├── dev-mode.cmake ├── folders.cmake ├── install-config.cmake.in ├── install-rules.cmake ├── modules │ ├── FindGMP.cmake │ └── FindZ3.cmake ├── open-cpp-coverage.cmake.example ├── prelude.cmake ├── project-is-top-level.cmake ├── pytest.cmake ├── variables.cmake └── windows-set-path.cmake ├── generate └── src │ └── include │ └── maat │ └── config.hpp.in ├── resources └── maat_logo.png ├── src ├── arch │ ├── arch_EVM.cpp │ ├── arch_X86.cpp │ ├── lifter.cpp │ └── register_aliases.cpp ├── engine │ ├── callother.cpp │ ├── engine.cpp │ ├── event.cpp │ ├── info.cpp │ ├── logger.cpp │ ├── path.cpp │ ├── settings.cpp │ ├── snapshot.cpp │ └── symbol.cpp ├── env │ ├── abi.cpp │ ├── emulated_libs │ │ └── libc.cpp │ ├── emulated_syscalls │ │ └── linux_syscalls.cpp │ ├── env.cpp │ ├── env_EVM.cpp │ ├── env_linux.cpp │ ├── filesystem.cpp │ └── library.cpp ├── expression │ ├── constraint.cpp │ ├── expression.cpp │ ├── number.cpp │ ├── simplification.cpp │ ├── value.cpp │ ├── value_set.cpp │ └── varcontext.cpp ├── include │ └── maat │ │ ├── arch.hpp │ │ ├── callother.hpp │ │ ├── constraint.hpp │ │ ├── cpu.hpp │ │ ├── engine.hpp │ │ ├── env │ │ ├── env.hpp │ │ ├── env_EVM.hpp │ │ ├── filesystem.hpp │ │ ├── filesystem_internal.hpp │ │ ├── library.hpp │ │ ├── os.hpp │ │ └── syscall.hpp │ │ ├── event.hpp │ │ ├── exception.hpp │ │ ├── expression.hpp │ │ ├── info.hpp │ │ ├── ir.hpp │ │ ├── lifter.hpp │ │ ├── loader.hpp │ │ ├── logger.hpp │ │ ├── maat.hpp │ │ ├── memory.hpp │ │ ├── memory_page.hpp │ │ ├── number.hpp │ │ ├── path.hpp │ │ ├── pinst.hpp │ │ ├── process.hpp │ │ ├── saved_mem_state.hpp │ │ ├── serialization_helpers.hpp │ │ ├── serializer.hpp │ │ ├── settings.hpp │ │ ├── simplification.hpp │ │ ├── sleigh_interface.hpp │ │ ├── snapshot.hpp │ │ ├── solver.hpp │ │ ├── stats.hpp │ │ ├── symbol.hpp │ │ ├── types.hpp │ │ ├── util.hpp │ │ ├── value.hpp │ │ └── varcontext.hpp ├── ir │ ├── asm_inst.cpp │ ├── cpu.cpp │ ├── instruction.cpp │ └── ir_cache.cpp ├── loader │ ├── loader.cpp │ ├── loader_EVM.cpp │ ├── loader_lief.cpp │ └── loader_lief_elf.cpp ├── memory │ ├── memory.cpp │ ├── memory_map.cpp │ └── symbolic_memory.cpp ├── serialization │ ├── deserializer.cpp │ ├── serialization_helpers.cpp │ └── serializer.cpp ├── solver │ ├── solver.cpp │ └── solver_z3.cpp └── third-party │ ├── keccak │ ├── sha3.cpp │ └── sha3.hpp │ ├── murmur3 │ ├── murmur3.c │ └── murmur3.h │ └── sleigh │ ├── licencing │ ├── LICENCE.txt │ └── ghidra │ │ ├── DISCLAIMER.md │ │ ├── LICENSE │ │ └── NOTICE │ ├── native │ ├── .gitignore │ ├── reg_translator.cpp │ └── sleigh_interface.cpp │ └── processors │ ├── .gitignore │ ├── EVM │ └── data │ │ └── languages │ │ ├── EVM.pspec │ │ └── EVM.slaspec │ └── x86 │ └── data │ ├── languages │ ├── adx.sinc │ ├── avx.sinc │ ├── avx2.sinc │ ├── avx2_manual.sinc │ ├── avx_manual.sinc │ ├── bmi1.sinc │ ├── bmi2.sinc │ ├── cet.sinc │ ├── clwb.sinc │ ├── fma.sinc │ ├── ia.sinc │ ├── lzcnt.sinc │ ├── macros.sinc │ ├── mpx.sinc │ ├── old │ │ ├── x86RealV1.lang │ │ ├── x86RealV1.trans │ │ ├── x86V1.lang │ │ ├── x86V1.trans │ │ ├── x86_64bit_v1.lang │ │ ├── x86_64bit_v1.trans │ │ ├── x86smmV1.lang │ │ └── x86smmV1.trans │ ├── pclmulqdq.sinc │ ├── rdrand.sinc │ ├── rdseed.sinc │ ├── sgx.sinc │ ├── sha.sinc │ ├── smx.sinc │ ├── x86-16-real.pspec │ ├── x86-16.cspec │ ├── x86-16.gdis │ ├── x86-16.pspec │ ├── x86-64-gcc.cspec │ ├── x86-64-win.cspec │ ├── x86-64.dwarf │ ├── x86-64.pspec │ ├── x86-64.slaspec │ ├── x86.dwarf │ ├── x86.ldefs │ ├── x86.opinion │ ├── x86.pspec │ ├── x86.slaspec │ ├── x86borland.cspec │ ├── x86delphi.cspec │ ├── x86gcc.cspec │ └── x86win.cspec │ ├── manuals │ └── x86.idx │ └── patterns │ ├── patternconstraints.xml │ ├── x86-16_default_patterns.xml │ ├── x86-64gcc_patterns.xml │ ├── x86-64win_patterns.xml │ ├── x86delphi_patterns.xml │ ├── x86gcc_patterns.xml │ └── x86win_patterns.xml └── tests ├── CMakeLists.txt ├── adv-tests ├── test_all.cpp ├── test_coverage.cpp ├── test_evm.cpp ├── test_hash.cpp ├── test_hash_solving.cpp ├── test_serialization.cpp └── test_solve_symptr.cpp ├── find-package ├── CMakeLists.txt └── src │ └── main.cpp ├── python-tests ├── test_linux_x64.py └── test_linux_x86.py ├── resources ├── linux_libs_64 │ ├── ld-linux-x86-64.so.2 │ └── libc.so.6 ├── md5 │ ├── md5.c │ ├── md5.elf │ ├── md5_0x08048960_546.bin │ ├── memcpy_0x0806ae50_115.bin │ └── rodata_0x80ab000_0x2fff.bin ├── plaintext_pwd │ ├── check.bin │ ├── plaintext_password │ └── plaintext_password.c ├── simple_algo_1 │ └── simple_algo_1.c ├── simple_algo_2 │ ├── simple_algo_2 │ └── simple_algo_2.c ├── simple_algo_3 │ ├── simple_algo_3 │ └── simple_algo_3.c ├── smart_contracts │ ├── HelloWorld.bin │ ├── HelloWorld.sol │ ├── SimpleConstructor.bin │ ├── SimpleConstructor.sol │ ├── Sqrt.bin │ └── Sqrt.sol ├── symbolic_ptr_binaries │ ├── sym_read_1 │ ├── sym_read_1.c │ ├── sym_rw_1 │ ├── sym_rw_1.c │ ├── sym_write_1 │ ├── sym_write_1.c │ ├── sym_write_2 │ └── sym_write_2.c ├── x64_elf │ └── crackme1 ├── x86_elf │ ├── cat │ ├── crackme_vm │ ├── echo │ ├── grep │ ├── gzip │ ├── ls │ ├── mv │ └── tar ├── x86_pe │ ├── hello_world.exe │ └── notepad │ │ ├── SciLexer.dll │ │ └── notepad++.exe └── xored_pwd │ ├── check.bin │ ├── xored_password │ ├── xored_password.c │ └── xored_password_arm64 └── unit-tests ├── test_all.cpp ├── test_archEVM.cpp ├── test_archX64.cpp ├── test_archX86.cpp ├── test_event.cpp ├── test_expression.cpp ├── test_ir.cpp ├── test_loader.cpp ├── test_memory.cpp ├── test_serialization.cpp ├── test_simplification.cpp ├── test_snapshot.cpp ├── test_solver.cpp └── test_symbolic_memory.cpp /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/python-package.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/.github/workflows/python-package.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/.gitmodules -------------------------------------------------------------------------------- /BUILDING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/BUILDING.md -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /CMakePresets.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/CMakePresets.json -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/Dockerfile -------------------------------------------------------------------------------- /HACKING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/HACKING.md -------------------------------------------------------------------------------- /LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/LICENCE -------------------------------------------------------------------------------- /PACKAGING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/PACKAGING.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/README.md -------------------------------------------------------------------------------- /Version.txt: -------------------------------------------------------------------------------- 1 | 0.6.8 -------------------------------------------------------------------------------- /bindings/bindings.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/bindings.cmake -------------------------------------------------------------------------------- /bindings/packaging/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/packaging/Dockerfile -------------------------------------------------------------------------------- /bindings/packaging/pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/packaging/pyproject.toml -------------------------------------------------------------------------------- /bindings/packaging/setup.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/packaging/setup.cfg -------------------------------------------------------------------------------- /bindings/packaging/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/packaging/setup.py -------------------------------------------------------------------------------- /bindings/python/py_arch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_arch.cpp -------------------------------------------------------------------------------- /bindings/python/py_config.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_config.cpp -------------------------------------------------------------------------------- /bindings/python/py_constraint.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_constraint.cpp -------------------------------------------------------------------------------- /bindings/python/py_cpu.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_cpu.cpp -------------------------------------------------------------------------------- /bindings/python/py_engine.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_engine.cpp -------------------------------------------------------------------------------- /bindings/python/py_env.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_env.cpp -------------------------------------------------------------------------------- /bindings/python/py_env_EVM.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_env_EVM.cpp -------------------------------------------------------------------------------- /bindings/python/py_event.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_event.cpp -------------------------------------------------------------------------------- /bindings/python/py_filesystem.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_filesystem.cpp -------------------------------------------------------------------------------- /bindings/python/py_info.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_info.cpp -------------------------------------------------------------------------------- /bindings/python/py_loader.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_loader.cpp -------------------------------------------------------------------------------- /bindings/python/py_maat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_maat.cpp -------------------------------------------------------------------------------- /bindings/python/py_memory.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_memory.cpp -------------------------------------------------------------------------------- /bindings/python/py_path.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_path.cpp -------------------------------------------------------------------------------- /bindings/python/py_process.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_process.cpp -------------------------------------------------------------------------------- /bindings/python/py_serialization.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_serialization.cpp -------------------------------------------------------------------------------- /bindings/python/py_settings.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_settings.cpp -------------------------------------------------------------------------------- /bindings/python/py_solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_solver.cpp -------------------------------------------------------------------------------- /bindings/python/py_stats.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_stats.cpp -------------------------------------------------------------------------------- /bindings/python/py_value.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/py_value.cpp -------------------------------------------------------------------------------- /bindings/python/python_bindings.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/python_bindings.hpp -------------------------------------------------------------------------------- /bindings/python/util.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/bindings/python/util.cpp -------------------------------------------------------------------------------- /cmake/coverage.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/cmake/coverage.cmake -------------------------------------------------------------------------------- /cmake/dev-mode.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/cmake/dev-mode.cmake -------------------------------------------------------------------------------- /cmake/folders.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/cmake/folders.cmake -------------------------------------------------------------------------------- /cmake/install-config.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/cmake/install-config.cmake.in -------------------------------------------------------------------------------- /cmake/install-rules.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/cmake/install-rules.cmake -------------------------------------------------------------------------------- /cmake/modules/FindGMP.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/cmake/modules/FindGMP.cmake -------------------------------------------------------------------------------- /cmake/modules/FindZ3.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/cmake/modules/FindZ3.cmake -------------------------------------------------------------------------------- /cmake/open-cpp-coverage.cmake.example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/cmake/open-cpp-coverage.cmake.example -------------------------------------------------------------------------------- /cmake/prelude.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/cmake/prelude.cmake -------------------------------------------------------------------------------- /cmake/project-is-top-level.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/cmake/project-is-top-level.cmake -------------------------------------------------------------------------------- /cmake/pytest.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/cmake/pytest.cmake -------------------------------------------------------------------------------- /cmake/variables.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/cmake/variables.cmake -------------------------------------------------------------------------------- /cmake/windows-set-path.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/cmake/windows-set-path.cmake -------------------------------------------------------------------------------- /generate/src/include/maat/config.hpp.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/generate/src/include/maat/config.hpp.in -------------------------------------------------------------------------------- /resources/maat_logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/resources/maat_logo.png -------------------------------------------------------------------------------- /src/arch/arch_EVM.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/arch/arch_EVM.cpp -------------------------------------------------------------------------------- /src/arch/arch_X86.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/arch/arch_X86.cpp -------------------------------------------------------------------------------- /src/arch/lifter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/arch/lifter.cpp -------------------------------------------------------------------------------- /src/arch/register_aliases.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/arch/register_aliases.cpp -------------------------------------------------------------------------------- /src/engine/callother.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/engine/callother.cpp -------------------------------------------------------------------------------- /src/engine/engine.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/engine/engine.cpp -------------------------------------------------------------------------------- /src/engine/event.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/engine/event.cpp -------------------------------------------------------------------------------- /src/engine/info.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/engine/info.cpp -------------------------------------------------------------------------------- /src/engine/logger.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/engine/logger.cpp -------------------------------------------------------------------------------- /src/engine/path.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/engine/path.cpp -------------------------------------------------------------------------------- /src/engine/settings.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/engine/settings.cpp -------------------------------------------------------------------------------- /src/engine/snapshot.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/engine/snapshot.cpp -------------------------------------------------------------------------------- /src/engine/symbol.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/engine/symbol.cpp -------------------------------------------------------------------------------- /src/env/abi.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/env/abi.cpp -------------------------------------------------------------------------------- /src/env/emulated_libs/libc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/env/emulated_libs/libc.cpp -------------------------------------------------------------------------------- /src/env/emulated_syscalls/linux_syscalls.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/env/emulated_syscalls/linux_syscalls.cpp -------------------------------------------------------------------------------- /src/env/env.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/env/env.cpp -------------------------------------------------------------------------------- /src/env/env_EVM.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/env/env_EVM.cpp -------------------------------------------------------------------------------- /src/env/env_linux.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/env/env_linux.cpp -------------------------------------------------------------------------------- /src/env/filesystem.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/env/filesystem.cpp -------------------------------------------------------------------------------- /src/env/library.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/env/library.cpp -------------------------------------------------------------------------------- /src/expression/constraint.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/expression/constraint.cpp -------------------------------------------------------------------------------- /src/expression/expression.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/expression/expression.cpp -------------------------------------------------------------------------------- /src/expression/number.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/expression/number.cpp -------------------------------------------------------------------------------- /src/expression/simplification.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/expression/simplification.cpp -------------------------------------------------------------------------------- /src/expression/value.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/expression/value.cpp -------------------------------------------------------------------------------- /src/expression/value_set.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/expression/value_set.cpp -------------------------------------------------------------------------------- /src/expression/varcontext.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/expression/varcontext.cpp -------------------------------------------------------------------------------- /src/include/maat/arch.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/arch.hpp -------------------------------------------------------------------------------- /src/include/maat/callother.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/callother.hpp -------------------------------------------------------------------------------- /src/include/maat/constraint.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/constraint.hpp -------------------------------------------------------------------------------- /src/include/maat/cpu.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/cpu.hpp -------------------------------------------------------------------------------- /src/include/maat/engine.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/engine.hpp -------------------------------------------------------------------------------- /src/include/maat/env/env.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/env/env.hpp -------------------------------------------------------------------------------- /src/include/maat/env/env_EVM.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/env/env_EVM.hpp -------------------------------------------------------------------------------- /src/include/maat/env/filesystem.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/env/filesystem.hpp -------------------------------------------------------------------------------- /src/include/maat/env/filesystem_internal.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/env/filesystem_internal.hpp -------------------------------------------------------------------------------- /src/include/maat/env/library.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/env/library.hpp -------------------------------------------------------------------------------- /src/include/maat/env/os.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/env/os.hpp -------------------------------------------------------------------------------- /src/include/maat/env/syscall.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/env/syscall.hpp -------------------------------------------------------------------------------- /src/include/maat/event.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/event.hpp -------------------------------------------------------------------------------- /src/include/maat/exception.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/exception.hpp -------------------------------------------------------------------------------- /src/include/maat/expression.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/expression.hpp -------------------------------------------------------------------------------- /src/include/maat/info.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/info.hpp -------------------------------------------------------------------------------- /src/include/maat/ir.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/ir.hpp -------------------------------------------------------------------------------- /src/include/maat/lifter.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/lifter.hpp -------------------------------------------------------------------------------- /src/include/maat/loader.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/loader.hpp -------------------------------------------------------------------------------- /src/include/maat/logger.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/logger.hpp -------------------------------------------------------------------------------- /src/include/maat/maat.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/maat.hpp -------------------------------------------------------------------------------- /src/include/maat/memory.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/memory.hpp -------------------------------------------------------------------------------- /src/include/maat/memory_page.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/memory_page.hpp -------------------------------------------------------------------------------- /src/include/maat/number.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/number.hpp -------------------------------------------------------------------------------- /src/include/maat/path.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/path.hpp -------------------------------------------------------------------------------- /src/include/maat/pinst.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/pinst.hpp -------------------------------------------------------------------------------- /src/include/maat/process.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/process.hpp -------------------------------------------------------------------------------- /src/include/maat/saved_mem_state.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/saved_mem_state.hpp -------------------------------------------------------------------------------- /src/include/maat/serialization_helpers.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/serialization_helpers.hpp -------------------------------------------------------------------------------- /src/include/maat/serializer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/serializer.hpp -------------------------------------------------------------------------------- /src/include/maat/settings.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/settings.hpp -------------------------------------------------------------------------------- /src/include/maat/simplification.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/simplification.hpp -------------------------------------------------------------------------------- /src/include/maat/sleigh_interface.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/sleigh_interface.hpp -------------------------------------------------------------------------------- /src/include/maat/snapshot.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/snapshot.hpp -------------------------------------------------------------------------------- /src/include/maat/solver.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/solver.hpp -------------------------------------------------------------------------------- /src/include/maat/stats.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/stats.hpp -------------------------------------------------------------------------------- /src/include/maat/symbol.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/symbol.hpp -------------------------------------------------------------------------------- /src/include/maat/types.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/types.hpp -------------------------------------------------------------------------------- /src/include/maat/util.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/util.hpp -------------------------------------------------------------------------------- /src/include/maat/value.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/value.hpp -------------------------------------------------------------------------------- /src/include/maat/varcontext.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/include/maat/varcontext.hpp -------------------------------------------------------------------------------- /src/ir/asm_inst.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/ir/asm_inst.cpp -------------------------------------------------------------------------------- /src/ir/cpu.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/ir/cpu.cpp -------------------------------------------------------------------------------- /src/ir/instruction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/ir/instruction.cpp -------------------------------------------------------------------------------- /src/ir/ir_cache.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/ir/ir_cache.cpp -------------------------------------------------------------------------------- /src/loader/loader.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/loader/loader.cpp -------------------------------------------------------------------------------- /src/loader/loader_EVM.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/loader/loader_EVM.cpp -------------------------------------------------------------------------------- /src/loader/loader_lief.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/loader/loader_lief.cpp -------------------------------------------------------------------------------- /src/loader/loader_lief_elf.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/loader/loader_lief_elf.cpp -------------------------------------------------------------------------------- /src/memory/memory.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/memory/memory.cpp -------------------------------------------------------------------------------- /src/memory/memory_map.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/memory/memory_map.cpp -------------------------------------------------------------------------------- /src/memory/symbolic_memory.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/memory/symbolic_memory.cpp -------------------------------------------------------------------------------- /src/serialization/deserializer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/serialization/deserializer.cpp -------------------------------------------------------------------------------- /src/serialization/serialization_helpers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/serialization/serialization_helpers.cpp -------------------------------------------------------------------------------- /src/serialization/serializer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/serialization/serializer.cpp -------------------------------------------------------------------------------- /src/solver/solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/solver/solver.cpp -------------------------------------------------------------------------------- /src/solver/solver_z3.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/solver/solver_z3.cpp -------------------------------------------------------------------------------- /src/third-party/keccak/sha3.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/keccak/sha3.cpp -------------------------------------------------------------------------------- /src/third-party/keccak/sha3.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/keccak/sha3.hpp -------------------------------------------------------------------------------- /src/third-party/murmur3/murmur3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/murmur3/murmur3.c -------------------------------------------------------------------------------- /src/third-party/murmur3/murmur3.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/murmur3/murmur3.h -------------------------------------------------------------------------------- /src/third-party/sleigh/licencing/LICENCE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/licencing/LICENCE.txt -------------------------------------------------------------------------------- /src/third-party/sleigh/licencing/ghidra/DISCLAIMER.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/licencing/ghidra/DISCLAIMER.md -------------------------------------------------------------------------------- /src/third-party/sleigh/licencing/ghidra/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/licencing/ghidra/LICENSE -------------------------------------------------------------------------------- /src/third-party/sleigh/licencing/ghidra/NOTICE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/licencing/ghidra/NOTICE -------------------------------------------------------------------------------- /src/third-party/sleigh/native/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/native/.gitignore -------------------------------------------------------------------------------- /src/third-party/sleigh/native/reg_translator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/native/reg_translator.cpp -------------------------------------------------------------------------------- /src/third-party/sleigh/native/sleigh_interface.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/native/sleigh_interface.cpp -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/.gitignore: -------------------------------------------------------------------------------- 1 | *.manifest 2 | *.gradle 3 | -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/EVM/data/languages/EVM.pspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/EVM/data/languages/EVM.pspec -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/EVM/data/languages/EVM.slaspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/EVM/data/languages/EVM.slaspec -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/adx.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/adx.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/avx.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/avx.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/avx2.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/avx2.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/avx2_manual.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/avx2_manual.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/avx_manual.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/avx_manual.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/bmi1.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/bmi1.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/bmi2.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/bmi2.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/cet.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/cet.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/clwb.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/clwb.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/fma.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/fma.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/ia.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/ia.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/lzcnt.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/lzcnt.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/macros.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/macros.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/mpx.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/mpx.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/old/x86RealV1.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/old/x86RealV1.lang -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/old/x86RealV1.trans: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/old/x86RealV1.trans -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/old/x86V1.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/old/x86V1.lang -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/old/x86V1.trans: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/old/x86V1.trans -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/old/x86_64bit_v1.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/old/x86_64bit_v1.lang -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/old/x86_64bit_v1.trans: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/old/x86_64bit_v1.trans -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/old/x86smmV1.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/old/x86smmV1.lang -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/old/x86smmV1.trans: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/old/x86smmV1.trans -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/pclmulqdq.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/pclmulqdq.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/rdrand.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/rdrand.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/rdseed.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/rdseed.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/sgx.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/sgx.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/sha.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/sha.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/smx.sinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/smx.sinc -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/x86-16-real.pspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/x86-16-real.pspec -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/x86-16.cspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/x86-16.cspec -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/x86-16.gdis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/x86-16.gdis -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/x86-16.pspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/x86-16.pspec -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/x86-64-gcc.cspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/x86-64-gcc.cspec -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/x86-64-win.cspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/x86-64-win.cspec -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/x86-64.dwarf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/x86-64.dwarf -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/x86-64.pspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/x86-64.pspec -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/x86-64.slaspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/x86-64.slaspec -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/x86.dwarf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/x86.dwarf -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/x86.ldefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/x86.ldefs -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/x86.opinion: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/x86.opinion -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/x86.pspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/x86.pspec -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/x86.slaspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/x86.slaspec -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/x86borland.cspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/x86borland.cspec -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/x86delphi.cspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/x86delphi.cspec -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/x86gcc.cspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/x86gcc.cspec -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/languages/x86win.cspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/languages/x86win.cspec -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/manuals/x86.idx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/manuals/x86.idx -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/patterns/patternconstraints.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/patterns/patternconstraints.xml -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/patterns/x86-16_default_patterns.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/patterns/x86-16_default_patterns.xml -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/patterns/x86-64gcc_patterns.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/patterns/x86-64gcc_patterns.xml -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/patterns/x86-64win_patterns.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/patterns/x86-64win_patterns.xml -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/patterns/x86delphi_patterns.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/patterns/x86delphi_patterns.xml -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/patterns/x86gcc_patterns.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/patterns/x86gcc_patterns.xml -------------------------------------------------------------------------------- /src/third-party/sleigh/processors/x86/data/patterns/x86win_patterns.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/src/third-party/sleigh/processors/x86/data/patterns/x86win_patterns.xml -------------------------------------------------------------------------------- /tests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/CMakeLists.txt -------------------------------------------------------------------------------- /tests/adv-tests/test_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/adv-tests/test_all.cpp -------------------------------------------------------------------------------- /tests/adv-tests/test_coverage.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/adv-tests/test_coverage.cpp -------------------------------------------------------------------------------- /tests/adv-tests/test_evm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/adv-tests/test_evm.cpp -------------------------------------------------------------------------------- /tests/adv-tests/test_hash.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/adv-tests/test_hash.cpp -------------------------------------------------------------------------------- /tests/adv-tests/test_hash_solving.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/adv-tests/test_hash_solving.cpp -------------------------------------------------------------------------------- /tests/adv-tests/test_serialization.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/adv-tests/test_serialization.cpp -------------------------------------------------------------------------------- /tests/adv-tests/test_solve_symptr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/adv-tests/test_solve_symptr.cpp -------------------------------------------------------------------------------- /tests/find-package/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/find-package/CMakeLists.txt -------------------------------------------------------------------------------- /tests/find-package/src/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/find-package/src/main.cpp -------------------------------------------------------------------------------- /tests/python-tests/test_linux_x64.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/python-tests/test_linux_x64.py -------------------------------------------------------------------------------- /tests/python-tests/test_linux_x86.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/python-tests/test_linux_x86.py -------------------------------------------------------------------------------- /tests/resources/linux_libs_64/ld-linux-x86-64.so.2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/linux_libs_64/ld-linux-x86-64.so.2 -------------------------------------------------------------------------------- /tests/resources/linux_libs_64/libc.so.6: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/linux_libs_64/libc.so.6 -------------------------------------------------------------------------------- /tests/resources/md5/md5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/md5/md5.c -------------------------------------------------------------------------------- /tests/resources/md5/md5.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/md5/md5.elf -------------------------------------------------------------------------------- /tests/resources/md5/md5_0x08048960_546.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/md5/md5_0x08048960_546.bin -------------------------------------------------------------------------------- /tests/resources/md5/memcpy_0x0806ae50_115.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/md5/memcpy_0x0806ae50_115.bin -------------------------------------------------------------------------------- /tests/resources/md5/rodata_0x80ab000_0x2fff.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/md5/rodata_0x80ab000_0x2fff.bin -------------------------------------------------------------------------------- /tests/resources/plaintext_pwd/check.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/plaintext_pwd/check.bin -------------------------------------------------------------------------------- /tests/resources/plaintext_pwd/plaintext_password: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/plaintext_pwd/plaintext_password -------------------------------------------------------------------------------- /tests/resources/plaintext_pwd/plaintext_password.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/plaintext_pwd/plaintext_password.c -------------------------------------------------------------------------------- /tests/resources/simple_algo_1/simple_algo_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/simple_algo_1/simple_algo_1.c -------------------------------------------------------------------------------- /tests/resources/simple_algo_2/simple_algo_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/simple_algo_2/simple_algo_2 -------------------------------------------------------------------------------- /tests/resources/simple_algo_2/simple_algo_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/simple_algo_2/simple_algo_2.c -------------------------------------------------------------------------------- /tests/resources/simple_algo_3/simple_algo_3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/simple_algo_3/simple_algo_3 -------------------------------------------------------------------------------- /tests/resources/simple_algo_3/simple_algo_3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/simple_algo_3/simple_algo_3.c -------------------------------------------------------------------------------- /tests/resources/smart_contracts/HelloWorld.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/smart_contracts/HelloWorld.bin -------------------------------------------------------------------------------- /tests/resources/smart_contracts/HelloWorld.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/smart_contracts/HelloWorld.sol -------------------------------------------------------------------------------- /tests/resources/smart_contracts/SimpleConstructor.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/smart_contracts/SimpleConstructor.bin -------------------------------------------------------------------------------- /tests/resources/smart_contracts/SimpleConstructor.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/smart_contracts/SimpleConstructor.sol -------------------------------------------------------------------------------- /tests/resources/smart_contracts/Sqrt.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/smart_contracts/Sqrt.bin -------------------------------------------------------------------------------- /tests/resources/smart_contracts/Sqrt.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/smart_contracts/Sqrt.sol -------------------------------------------------------------------------------- /tests/resources/symbolic_ptr_binaries/sym_read_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/symbolic_ptr_binaries/sym_read_1 -------------------------------------------------------------------------------- /tests/resources/symbolic_ptr_binaries/sym_read_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/symbolic_ptr_binaries/sym_read_1.c -------------------------------------------------------------------------------- /tests/resources/symbolic_ptr_binaries/sym_rw_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/symbolic_ptr_binaries/sym_rw_1 -------------------------------------------------------------------------------- /tests/resources/symbolic_ptr_binaries/sym_rw_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/symbolic_ptr_binaries/sym_rw_1.c -------------------------------------------------------------------------------- /tests/resources/symbolic_ptr_binaries/sym_write_1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/symbolic_ptr_binaries/sym_write_1 -------------------------------------------------------------------------------- /tests/resources/symbolic_ptr_binaries/sym_write_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/symbolic_ptr_binaries/sym_write_1.c -------------------------------------------------------------------------------- /tests/resources/symbolic_ptr_binaries/sym_write_2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/symbolic_ptr_binaries/sym_write_2 -------------------------------------------------------------------------------- /tests/resources/symbolic_ptr_binaries/sym_write_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/symbolic_ptr_binaries/sym_write_2.c -------------------------------------------------------------------------------- /tests/resources/x64_elf/crackme1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/x64_elf/crackme1 -------------------------------------------------------------------------------- /tests/resources/x86_elf/cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/x86_elf/cat -------------------------------------------------------------------------------- /tests/resources/x86_elf/crackme_vm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/x86_elf/crackme_vm -------------------------------------------------------------------------------- /tests/resources/x86_elf/echo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/x86_elf/echo -------------------------------------------------------------------------------- /tests/resources/x86_elf/grep: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/x86_elf/grep -------------------------------------------------------------------------------- /tests/resources/x86_elf/gzip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/x86_elf/gzip -------------------------------------------------------------------------------- /tests/resources/x86_elf/ls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/x86_elf/ls -------------------------------------------------------------------------------- /tests/resources/x86_elf/mv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/x86_elf/mv -------------------------------------------------------------------------------- /tests/resources/x86_elf/tar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/x86_elf/tar -------------------------------------------------------------------------------- /tests/resources/x86_pe/hello_world.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/x86_pe/hello_world.exe -------------------------------------------------------------------------------- /tests/resources/x86_pe/notepad/SciLexer.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/x86_pe/notepad/SciLexer.dll -------------------------------------------------------------------------------- /tests/resources/x86_pe/notepad/notepad++.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/x86_pe/notepad/notepad++.exe -------------------------------------------------------------------------------- /tests/resources/xored_pwd/check.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/xored_pwd/check.bin -------------------------------------------------------------------------------- /tests/resources/xored_pwd/xored_password: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/xored_pwd/xored_password -------------------------------------------------------------------------------- /tests/resources/xored_pwd/xored_password.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/xored_pwd/xored_password.c -------------------------------------------------------------------------------- /tests/resources/xored_pwd/xored_password_arm64: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/resources/xored_pwd/xored_password_arm64 -------------------------------------------------------------------------------- /tests/unit-tests/test_all.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/unit-tests/test_all.cpp -------------------------------------------------------------------------------- /tests/unit-tests/test_archEVM.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/unit-tests/test_archEVM.cpp -------------------------------------------------------------------------------- /tests/unit-tests/test_archX64.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/unit-tests/test_archX64.cpp -------------------------------------------------------------------------------- /tests/unit-tests/test_archX86.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/unit-tests/test_archX86.cpp -------------------------------------------------------------------------------- /tests/unit-tests/test_event.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/unit-tests/test_event.cpp -------------------------------------------------------------------------------- /tests/unit-tests/test_expression.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/unit-tests/test_expression.cpp -------------------------------------------------------------------------------- /tests/unit-tests/test_ir.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/unit-tests/test_ir.cpp -------------------------------------------------------------------------------- /tests/unit-tests/test_loader.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/unit-tests/test_loader.cpp -------------------------------------------------------------------------------- /tests/unit-tests/test_memory.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/unit-tests/test_memory.cpp -------------------------------------------------------------------------------- /tests/unit-tests/test_serialization.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/unit-tests/test_serialization.cpp -------------------------------------------------------------------------------- /tests/unit-tests/test_simplification.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/unit-tests/test_simplification.cpp -------------------------------------------------------------------------------- /tests/unit-tests/test_snapshot.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/unit-tests/test_snapshot.cpp -------------------------------------------------------------------------------- /tests/unit-tests/test_solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/unit-tests/test_solver.cpp -------------------------------------------------------------------------------- /tests/unit-tests/test_symbolic_memory.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/maat/HEAD/tests/unit-tests/test_symbolic_memory.cpp --------------------------------------------------------------------------------