#区块链#Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
#区块链#Symbolic execution tool
Reverse engineering framework in Python
An analysis tool for Python that blurs the line between testing and type systems.
A unit test-like interface for fuzzing and symbolic execution
The official repository of "ChatDB: Augmenting LLMs with Databases as Their Symbolic Memory".
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
Simplify Ethereum security analysis and testing
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
#区块链#Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
Static deobfuscator for Themida, WinLicense and Code Virtualizer 3.x's mutation-based obfuscation.
Automatic ROPChain Generation
Use angr in the IDA Pro debugger generating a state from the current debug session
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
Seeding fuzzers with symbolic execution
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
PASTIS: Collaborative Fuzzing Framework