csienslab / ProMutator
ProMutator: Detecting Vulnerable Price Oracles in DeFi by Mutated Transactions
☆40Updated 3 years ago
Alternatives and similar repositories for ProMutator:
Users that are interested in ProMutator are comparing it to the libraries listed below
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 3 years ago
- ☆37Updated 10 months ago
- Barebones Solidity smart contract fuzzer☆94Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- proof first, evm specific smt solver☆69Updated 2 years ago
- ☆90Updated 4 years ago
- Repository containing past audit reports☆53Updated last year
- Identify flashloan bots in multiple chains☆34Updated 2 years ago
- Experimental tool to ease the review of smart contracts upgrades☆78Updated last year
- ☆91Updated 10 months ago
- EVM ByteCode To Opcode Disassembler☆61Updated 4 months ago
- A Foundry template to compile and test Huff contracts.☆52Updated 2 years ago
- Minimal bytecode peephole optimizer☆126Updated 2 months ago
- ☆40Updated 2 years ago
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆122Updated 2 years ago
- ☆108Updated last week
- My solutions to https://ctf.paradigm.xyz/☆62Updated 2 years ago
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- A smart contract security search utility☆74Updated 3 months ago
- ☆63Updated last year
- A collection of gas optimizations for the EVM.☆92Updated 2 years ago
- Cross-Contract Reentrancy Demo☆26Updated 3 years ago
- Hands on Blockchain☆43Updated last year
- ☆99Updated 2 years ago
- ☆47Updated last year
- SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.☆90Updated last year
- Eclectic notes on static analysis and compilers☆47Updated 2 years ago
- Contracts for my flashloan workshop/lecture at UPenn☆77Updated 2 years ago
- Vyper Based Capture The Flag Challenges☆35Updated 2 years ago
- Writeup for solved challenges in Paradigm CTF 2022☆76Updated 2 years ago