├── .gitignore ├── DVM64.sln ├── DVM64 ├── DVM64.csproj ├── Dvm64.cs ├── Explorer │ └── Tracer.cs ├── Extensions │ ├── BitVecExpr.cs │ ├── General.cs │ ├── Instruction.cs │ ├── OpKind.cs │ └── Register.cs ├── Logger.cs ├── Program.cs ├── README.md ├── Settings.cs └── X86 │ ├── BasicBlock.cs │ ├── BlockPassManager.cs │ ├── IBlockPass.cs │ ├── Lifter.cs │ ├── PEMemoryBlockCodeReader.cs │ ├── Passes │ └── BranchCoalesce.cs │ ├── ShellCodeReader.cs │ └── SymbolicExecution │ ├── ExpressionStack.cs │ ├── InstructionTranslate.cs │ ├── OpaquePredicateSolver.cs │ └── RegisterContext.cs ├── DVM64_Tests ├── DVM64_Tests.csproj ├── Helpers │ └── BitVecExpr │ │ └── PopCountTest.cs └── X86 │ └── SymbolicExecution │ └── InstructionTranslate │ ├── TranslateAdcTest.cs │ ├── TranslateAddTest.cs │ ├── TranslateBtTest.cs │ ├── TranslateDivTest.cs │ ├── TranslateEnterTest.cs │ ├── TranslateMiscTest.cs │ ├── TranslateMulTest.cs │ ├── TranslateNegTest.cs │ ├── TranslateNotTest.cs │ ├── TranslatePushTest.cs │ ├── TranslateRotateTest.cs │ ├── TranslateSbbTest.cs │ ├── TranslateSetTest.cs │ ├── TranslateShiftTest.cs │ ├── TranslateStackLoadTest.cs │ ├── TranslateStackStoreTest.cs │ ├── TranslateSubTest.cs │ └── TranslateXorTest.cs ├── LICENSE └── README.md /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/.gitignore -------------------------------------------------------------------------------- /DVM64.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64.sln -------------------------------------------------------------------------------- /DVM64/DVM64.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/DVM64.csproj -------------------------------------------------------------------------------- /DVM64/Dvm64.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/Dvm64.cs -------------------------------------------------------------------------------- /DVM64/Explorer/Tracer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/Explorer/Tracer.cs -------------------------------------------------------------------------------- /DVM64/Extensions/BitVecExpr.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/Extensions/BitVecExpr.cs -------------------------------------------------------------------------------- /DVM64/Extensions/General.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/Extensions/General.cs -------------------------------------------------------------------------------- /DVM64/Extensions/Instruction.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/Extensions/Instruction.cs -------------------------------------------------------------------------------- /DVM64/Extensions/OpKind.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/Extensions/OpKind.cs -------------------------------------------------------------------------------- /DVM64/Extensions/Register.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/Extensions/Register.cs -------------------------------------------------------------------------------- /DVM64/Logger.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/Logger.cs -------------------------------------------------------------------------------- /DVM64/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/Program.cs -------------------------------------------------------------------------------- /DVM64/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/README.md -------------------------------------------------------------------------------- /DVM64/Settings.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/Settings.cs -------------------------------------------------------------------------------- /DVM64/X86/BasicBlock.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/X86/BasicBlock.cs -------------------------------------------------------------------------------- /DVM64/X86/BlockPassManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/X86/BlockPassManager.cs -------------------------------------------------------------------------------- /DVM64/X86/IBlockPass.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/X86/IBlockPass.cs -------------------------------------------------------------------------------- /DVM64/X86/Lifter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/X86/Lifter.cs -------------------------------------------------------------------------------- /DVM64/X86/PEMemoryBlockCodeReader.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/X86/PEMemoryBlockCodeReader.cs -------------------------------------------------------------------------------- /DVM64/X86/Passes/BranchCoalesce.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/X86/Passes/BranchCoalesce.cs -------------------------------------------------------------------------------- /DVM64/X86/ShellCodeReader.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/X86/ShellCodeReader.cs -------------------------------------------------------------------------------- /DVM64/X86/SymbolicExecution/ExpressionStack.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/X86/SymbolicExecution/ExpressionStack.cs -------------------------------------------------------------------------------- /DVM64/X86/SymbolicExecution/InstructionTranslate.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/X86/SymbolicExecution/InstructionTranslate.cs -------------------------------------------------------------------------------- /DVM64/X86/SymbolicExecution/OpaquePredicateSolver.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/X86/SymbolicExecution/OpaquePredicateSolver.cs -------------------------------------------------------------------------------- /DVM64/X86/SymbolicExecution/RegisterContext.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64/X86/SymbolicExecution/RegisterContext.cs -------------------------------------------------------------------------------- /DVM64_Tests/DVM64_Tests.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/DVM64_Tests.csproj -------------------------------------------------------------------------------- /DVM64_Tests/Helpers/BitVecExpr/PopCountTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/Helpers/BitVecExpr/PopCountTest.cs -------------------------------------------------------------------------------- /DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateAdcTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateAdcTest.cs -------------------------------------------------------------------------------- /DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateAddTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateAddTest.cs -------------------------------------------------------------------------------- /DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateBtTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateBtTest.cs -------------------------------------------------------------------------------- /DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateDivTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateDivTest.cs -------------------------------------------------------------------------------- /DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateEnterTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateEnterTest.cs -------------------------------------------------------------------------------- /DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateMiscTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateMiscTest.cs -------------------------------------------------------------------------------- /DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateMulTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateMulTest.cs -------------------------------------------------------------------------------- /DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateNegTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateNegTest.cs -------------------------------------------------------------------------------- /DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateNotTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateNotTest.cs -------------------------------------------------------------------------------- /DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslatePushTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslatePushTest.cs -------------------------------------------------------------------------------- /DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateRotateTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateRotateTest.cs -------------------------------------------------------------------------------- /DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateSbbTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateSbbTest.cs -------------------------------------------------------------------------------- /DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateSetTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateSetTest.cs -------------------------------------------------------------------------------- /DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateShiftTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateShiftTest.cs -------------------------------------------------------------------------------- /DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateStackLoadTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateStackLoadTest.cs -------------------------------------------------------------------------------- /DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateStackStoreTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateStackStoreTest.cs -------------------------------------------------------------------------------- /DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateSubTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateSubTest.cs -------------------------------------------------------------------------------- /DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateXorTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/DVM64_Tests/X86/SymbolicExecution/InstructionTranslate/TranslateXorTest.cs -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kyle-elliott/DVM/HEAD/README.md --------------------------------------------------------------------------------