Binary Breakdown

A security-focused tech blog by Alex Benlolo, binary analyst & reverse engineer

Home
Reverse Engineering
Development
About
1. Dark Mode

Tags

Linux Static Dynamic SMT Windows GDB Malware Symbolic Execution Virtualized Binary Patching

Tags

1 page

C++

Using Koi for Symbolic Execution to Solve CrackMes and Find Vulnerabilities

Using Koi for Symbolic Execution to Solve CrackMes and Find Vulnerabilities

© 2025 Binary Breakdown

Built with Hugo
Theme Stack designed by Jimmy