├── CMakeLists.txt ├── CompiledDeps └── z3-4.12.2-x64-win │ ├── LICENSE.txt │ ├── bin │ ├── Microsoft.Z3.deps.json │ ├── Microsoft.Z3.dll │ ├── Microsoft.Z3.pdb │ ├── Microsoft.Z3.xml │ ├── com.microsoft.z3.jar │ ├── libz3.dll │ ├── libz3.lib │ ├── libz3java.dll │ ├── libz3java.lib │ ├── msvcp140.dll │ ├── msvcp140_1.dll │ ├── msvcp140_2.dll │ ├── msvcp140_atomic_wait.dll │ ├── msvcp140_codecvt_ids.dll │ ├── python │ │ ├── example.py │ │ └── z3 │ │ │ ├── __init__.py │ │ │ ├── __pycache__ │ │ │ ├── __init__.cpython-39.pyc │ │ │ ├── z3.cpython-39.pyc │ │ │ ├── z3consts.cpython-39.pyc │ │ │ ├── z3core.cpython-39.pyc │ │ │ ├── z3num.cpython-39.pyc │ │ │ ├── z3poly.cpython-39.pyc │ │ │ ├── z3printer.cpython-39.pyc │ │ │ ├── z3rcf.cpython-39.pyc │ │ │ ├── z3types.cpython-39.pyc │ │ │ └── z3util.cpython-39.pyc │ │ │ ├── z3.py │ │ │ ├── z3consts.py │ │ │ ├── z3core.py │ │ │ ├── z3num.py │ │ │ ├── z3poly.py │ │ │ ├── z3printer.py │ │ │ ├── z3rcf.py │ │ │ ├── z3types.py │ │ │ └── z3util.py │ ├── vcomp140.dll │ ├── vcruntime140.dll │ ├── vcruntime140_1.dll │ └── z3.exe │ └── include │ ├── z3++.h │ ├── z3.h │ ├── z3_algebraic.h │ ├── z3_api.h │ ├── z3_ast_containers.h │ ├── z3_fixedpoint.h │ ├── z3_fpa.h │ ├── z3_macros.h │ ├── z3_optimization.h │ ├── z3_polynomial.h │ ├── z3_rcf.h │ ├── z3_spacer.h │ ├── z3_v1.h │ └── z3_version.h ├── LICENSE ├── README.md ├── include ├── Emu.hpp ├── HooksFromEmu.hpp ├── PeLoaderEmu.hpp ├── Phases │ ├── FirstPhase.hpp │ ├── PhasePatcher.hpp │ └── SecondPhase.hpp └── z3 │ ├── z3ASMx64Instructions.hpp │ └── z3states.hpp ├── samples ├── pOP.exe ├── pOPJZ.exe ├── prog1.exe ├── prog1.vmp.exe ├── prog1MsgRet.exe ├── prog1MsgRetDeobfuscate.exe └── prog1P.exe └── src ├── Dynamic-retdec-decompiler.cpp ├── Emu.cpp ├── Hooks ├── FirstPhase │ └── FirstPhase.cpp ├── HooksFromEmu.cpp ├── PhasePatcher.cpp └── SecondPhase │ └── SecondPhase.cpp ├── PeLoaderEmu ├── Work with DLL.cpp └── Work with PE file.cpp ├── README.txt └── z3 └── z3ASMx64Instructions.cpp /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/LICENSE.txt -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/Microsoft.Z3.deps.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/Microsoft.Z3.deps.json -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/Microsoft.Z3.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/Microsoft.Z3.dll -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/Microsoft.Z3.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/Microsoft.Z3.pdb -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/Microsoft.Z3.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/Microsoft.Z3.xml -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/com.microsoft.z3.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/com.microsoft.z3.jar -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/libz3.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/libz3.dll -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/libz3.lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/libz3.lib -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/libz3java.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/libz3java.dll -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/libz3java.lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/libz3java.lib -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/msvcp140.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/msvcp140.dll -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/msvcp140_1.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/msvcp140_1.dll -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/msvcp140_2.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/msvcp140_2.dll -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/msvcp140_atomic_wait.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/msvcp140_atomic_wait.dll -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/msvcp140_codecvt_ids.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/msvcp140_codecvt_ids.dll -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/example.py -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__init__.py -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/__init__.cpython-39.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/__init__.cpython-39.pyc -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/z3.cpython-39.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/z3.cpython-39.pyc -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/z3consts.cpython-39.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/z3consts.cpython-39.pyc -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/z3core.cpython-39.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/z3core.cpython-39.pyc -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/z3num.cpython-39.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/z3num.cpython-39.pyc -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/z3poly.cpython-39.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/z3poly.cpython-39.pyc -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/z3printer.cpython-39.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/z3printer.cpython-39.pyc -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/z3rcf.cpython-39.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/z3rcf.cpython-39.pyc -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/z3types.cpython-39.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/z3types.cpython-39.pyc -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/z3util.cpython-39.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/__pycache__/z3util.cpython-39.pyc -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/z3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/z3.py -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/z3consts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/z3consts.py -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/z3core.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/z3core.py -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/z3num.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/z3num.py -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/z3poly.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/z3poly.py -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/z3printer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/z3printer.py -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/z3rcf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/z3rcf.py -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/z3types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/z3types.py -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/z3util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/python/z3/z3util.py -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/vcomp140.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/vcomp140.dll -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/vcruntime140.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/vcruntime140.dll -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/vcruntime140_1.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/vcruntime140_1.dll -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/bin/z3.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/bin/z3.exe -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/include/z3++.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/include/z3++.h -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/include/z3.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/include/z3.h -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/include/z3_algebraic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/include/z3_algebraic.h -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/include/z3_api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/include/z3_api.h -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/include/z3_ast_containers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/include/z3_ast_containers.h -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/include/z3_fixedpoint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/include/z3_fixedpoint.h -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/include/z3_fpa.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/include/z3_fpa.h -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/include/z3_macros.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/include/z3_macros.h -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/include/z3_optimization.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/include/z3_optimization.h -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/include/z3_polynomial.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/include/z3_polynomial.h -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/include/z3_rcf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/include/z3_rcf.h -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/include/z3_spacer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/include/z3_spacer.h -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/include/z3_v1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/include/z3_v1.h -------------------------------------------------------------------------------- /CompiledDeps/z3-4.12.2-x64-win/include/z3_version.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/CompiledDeps/z3-4.12.2-x64-win/include/z3_version.h -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/README.md -------------------------------------------------------------------------------- /include/Emu.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/include/Emu.hpp -------------------------------------------------------------------------------- /include/HooksFromEmu.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/include/HooksFromEmu.hpp -------------------------------------------------------------------------------- /include/PeLoaderEmu.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/include/PeLoaderEmu.hpp -------------------------------------------------------------------------------- /include/Phases/FirstPhase.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/include/Phases/FirstPhase.hpp -------------------------------------------------------------------------------- /include/Phases/PhasePatcher.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/include/Phases/PhasePatcher.hpp -------------------------------------------------------------------------------- /include/Phases/SecondPhase.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/include/Phases/SecondPhase.hpp -------------------------------------------------------------------------------- /include/z3/z3ASMx64Instructions.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/include/z3/z3ASMx64Instructions.hpp -------------------------------------------------------------------------------- /include/z3/z3states.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/include/z3/z3states.hpp -------------------------------------------------------------------------------- /samples/pOP.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/samples/pOP.exe -------------------------------------------------------------------------------- /samples/pOPJZ.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/samples/pOPJZ.exe -------------------------------------------------------------------------------- /samples/prog1.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/samples/prog1.exe -------------------------------------------------------------------------------- /samples/prog1.vmp.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/samples/prog1.vmp.exe -------------------------------------------------------------------------------- /samples/prog1MsgRet.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/samples/prog1MsgRet.exe -------------------------------------------------------------------------------- /samples/prog1MsgRetDeobfuscate.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/samples/prog1MsgRetDeobfuscate.exe -------------------------------------------------------------------------------- /samples/prog1P.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/samples/prog1P.exe -------------------------------------------------------------------------------- /src/Dynamic-retdec-decompiler.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/src/Dynamic-retdec-decompiler.cpp -------------------------------------------------------------------------------- /src/Emu.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/src/Emu.cpp -------------------------------------------------------------------------------- /src/Hooks/FirstPhase/FirstPhase.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/src/Hooks/FirstPhase/FirstPhase.cpp -------------------------------------------------------------------------------- /src/Hooks/HooksFromEmu.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/src/Hooks/HooksFromEmu.cpp -------------------------------------------------------------------------------- /src/Hooks/PhasePatcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/src/Hooks/PhasePatcher.cpp -------------------------------------------------------------------------------- /src/Hooks/SecondPhase/SecondPhase.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/src/Hooks/SecondPhase/SecondPhase.cpp -------------------------------------------------------------------------------- /src/PeLoaderEmu/Work with DLL.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/src/PeLoaderEmu/Work with DLL.cpp -------------------------------------------------------------------------------- /src/PeLoaderEmu/Work with PE file.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/src/PeLoaderEmu/Work with PE file.cpp -------------------------------------------------------------------------------- /src/README.txt: -------------------------------------------------------------------------------- 1 | SOURCE 2 | -------------------------------------------------------------------------------- /src/z3/z3ASMx64Instructions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Nitr0-G/Rework-part-of-z3-proving/HEAD/src/z3/z3ASMx64Instructions.cpp --------------------------------------------------------------------------------