ViperMonkey
manticore
Our great sponsors
ViperMonkey | manticore | |
---|---|---|
1 | 5 | |
1,023 | 3,634 | |
- | 0.7% | |
2.5 | 3.8 | |
3 days ago | 8 months ago | |
Python | Python | |
- | GNU Affero General Public License v3.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ViperMonkey
manticore
-
A Comprehensive Guide on Web3 Programming Languages and Tools
MythX, Mythril, Manticore, and Echidna are other tools for security audits.
-
Tools to verify solidity code
Symbolic Execution: Manticore
- What is Manticore?
-
Daily General Discussion - October 19, 2021
Trail of Bits releases smart contract analysis tool Manticore v0.1.5 with EVM bytecode support.
- Smart Contract Security for Pentesters
What are some alternatives?
pyWhat - 🐸 Identify anything. pyWhat easily lets you identify emails, IP addresses, and more. Feed it a .pcap file or some text and it'll tell you what it is! 🧙♀️
echidna - Ethereum smart contract fuzzer
unipacker - Automatic and platform-independent unpacker for Windows binaries based on emulation
mythril - Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
macro_pack - macro_pack is a tool by @EmericNasi used to automatize obfuscation and generation of Office documents, VB scripts, shortcuts, and other formats for pentest, demo, and social engineering assessments. The goal of macro_pack is to simplify exploitation, antimalware bypass, and automatize the process from malicious macro and script generation to final document generation. It also provides a lot of helpful features useful for redteam or security research.
slither - Static Analyzer for Solidity and Vyper
oletools - oletools - python tools to analyze MS OLE2 files (Structured Storage, Compound File Binary Format) and MS Office documents, for malware analysis, forensics and debugging.
solc-select - Manage and switch between Solidity compiler versions
verifydump - A tool for verifying that .chd/.rvz disc images match Redump Datfiles
Triton - Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
bind9_parser - Bind9 Parser in Python that can process all of ISC Bind configuration files
nft-generator-py - This tool allows users to generate sets of unique images and metadata using weighted layer collections.