Is it possible to write a concolic execution engine with Capstone ?

capstone-engine / capstone

Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.

http://www.capstone-engine.org

7.24k stars 1.53k forks source link

Is it possible to write a concolic execution engine with Capstone ? #1678

Open cryptomadco opened 3 years ago

cryptomadco commented 3 years ago

Hey there .

I would like to know, Does capstone provide features to write a concolic execution engine for example for AFL fuzzer ?

If yes, where can I start to know about that ?

Thanks!

aquynh commented 3 years ago

you need instruction semantics, but Capstone does not provide full information.

farmdve commented 3 years ago

you need instruction semantics, but Capstone does not provide full information.

Which semantics are missing specifically? What semantics are required? I am also interested in OP's question.