Amoco is a cutting-edge Python package designed for the symbolic analysis of binaries, streamlining the decoding process across various architectures.
It provides a robust framework for instruction semantics and a flexible execution model to handle both concrete and symbolic values efficiently.
Amoco’s ongoing development promises to expand its capabilities, making it an indispensable tool for developers and security researchers alike.
Amoco is a python package dedicated to symbolic analysis of binaries.
It features:
Amoco is still work in progress. See Todo for a list of features to be merged from develop branch or to be more thoroughly implemented.
Some components of amoco are still in the process of being pushed to the release branch or further developed. More precisely:
Contributions to fulfill uncomplete/unimplemented parts are welcome.
The default Qt stylesheet is inspired by the excellent QDarkStyleSheet and uses most of its icons through the QResource API made available from the generated rc_icons.py module:
<pyenv>/lib/python3.<x>/site-packages/PySide6/rcc -g python icons.qrc > rc_icons.py
For more information click here.
Playwright-MCP (Model Context Protocol) is a cutting-edge tool designed to bridge the gap between AI…
JBDev is a specialized development tool designed to streamline the creation and debugging of jailbreak…
The Kereva LLM Code Scanner is an innovative static analysis tool tailored for Python applications…
Nuclei-Templates-Labs is a dynamic and comprehensive repository designed for security researchers, learners, and organizations to…
SSH-Stealer and RunAs-Stealer are malicious tools designed to stealthily harvest SSH credentials, enabling attackers to…
Control flow flattening is a common obfuscation technique used by OLLVM (Obfuscator-LLVM) to transform executable…