symexec

x86

Basic x86 Symbolic Execution for educational purposes

How to download and setup symexec

Open terminal and run command

git clone https://github.com/sciencemanx/symexec.git

git clone is used to create a copy or clone of symexec repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with symexec https://github.com/sciencemanx/symexec/archive/master.zip

Or simply clone symexec with SSH

[email protected]:sciencemanx/symexec.git

If you have some problems with symexec

You may open issue on symexec support forum (system) here: https://github.com/sciencemanx/symexec/issues

Similar to symexec repositories

Here you may see symexec alternatives and analogs

x64dbg reactos edb-debugger zydis RE-for-beginners mandibule v86 capstone plasma unicorn asmjit mcsema barf-project VisualMASM keystone SmallerC bap rappel reicast-emulator likwid steed keypatch x86-assembly-cheat reverse-engineering-reference-manual cross arm_now FlingOS mnist-android-tensorflow y86 The_Holy_Book_of_X86