Data flow analysis for x86-64 ELF binaries based on symbolic execution. 🔎
Primary LanguageRustMIT LicenseMIT