Ponce
Symbolic analysis tool
An IDA Pro plugin that facilitates symbolic execution and taint analysis for reverse engineers
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
2k stars
74 watching
74 forks
Language: C++
last commit: 6 months ago idaida-pluginidaprosymbolic-execution
Related projects:
| Repository | Description | Stars |
|---|---|---|
 arizvisa/ida-minsc | Provides a scripting interface to IDAPython's features for reverse engineering | 320 |
 patois/idacyber | An interactive data visualization plugin for IDA Pro | 288 |
 antelcat/ida_copilot | An IDA Pro plugin that integrates the capabilities of ChatGPT to aid in reverse engineering and analysis | 149 |
 naim94a/lumen | A private server for IDA Pro reverse-engineering tools that stores function signatures and provides an HTTP API for querying the database. | 941 |
 anatolikalysch/vmattack | A plugin for IDA Pro that helps reverse engineers analyze and deobfuscate virtualization-based packed binaries | 816 |
 secrary/ida-scripts | Scripts and plugins for analyzing and manipulating data in IDA Pro | 93 |
 danielplohmann/idascope | An extension for IDA Pro reverse engineering software that provides tools and functionality to simplify analysis of malware and Windows applications. | 110 |
 hasherezade/ida_ifl | Provides an interactive way to navigate function references in IDA Pro | 426 |
 virustotal/vt-ida-plugin | An IDA Pro plugin that searches for similar code, strings, or sequences of bytes using VirusTotal's web services. | 155 |
 onethawt/idaplugins-list | A curated collection of plugins for reverse engineering and analysis tools IDA PRO | 3,582 |
 cisco-talos/ghida | A plugin that integrates Ghidra decompiler into IDA Pro to provide a GUI-based reverse engineering tool | 781 |
 nalen98/angryghidra | An integration tool for Ghidra and Angr to facilitate binary analysis and symbolic execution in Java projects. | 562 |
 1111joe1111/ida_ea | A set of tools and aids for reverse engineering and exploitation in IDA Pro | 415 |
 herosi/cto | An IDA plugin for creating and analyzing function call graphs of malware | 328 |
 dga-mi-ssi/yaco | Tool for collaborative reverse-engineering on IDA databases | 316 |