montyly Goto Github PK

adversarial-robustness-toolbox

awesome-web3-ai-security

binnavi-gueb

Version of Binnavi used for the thesis "Finding the needle in the heap : combining binary analysis techniques to trigger use-after-free"

blockchain-papers

A curated list of academic blockchain-related papers

bran

A static analysis framework for EVM bytecode

brownie

A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine.

building-secure-contracts

Guidelines and training material to write secure smart contracts

ctf-challenges

CTF Challenges

ctf-challs

Here are the challenges (including sources) of the GreHack CTF.

ethereum_formal_verification_overview

Overview of the formal verification projects in the Ethereum ecosystem.

evil-jar

evil jar attack technical post-mortem

forge-std

Forge Standard Library is a collection of helpful contracts for use with forge and foundry. It leverages forge's cheatcodes to make writing tests easier and faster, while improving the UX of cheatcodes. For more in-depth usage examples checkout the tests.

forge-template

Forkable template to get you started with Foundry's Forge

foundry-collision

foundry-collision-version

gueb

issisp-2018

manticore

Symbolic execution tool

manticore-examples

Example Manticore scripts

mdbook

Create book from markdown files. Like Gitbook but implemented in Rust

nightfall

EY's Nightfall protocols for private transactions on the Ethereum blockchain using zk-snarks

publications

Josselin Feist publications and research projects

publications-1

Publications from Trail of Bits

pylint

It's not just a linter that annoys you!

ropgadget

This tool lets you search your gadgets on your binaries to facilitate your ROP exploitation. ROPgadget supports ELF, PE and Mach-O format on x86, x64, ARM, ARM64, PowerPC, SPARC and MIPS architectures.

screpair

set-protocol-contracts

🎛 Set Protocol Smart Contracts

slither

Static Analyzer for Solidity

slither-scripts

Auditing scripts for Slither (https://github.com/trailofbits/slither)

smart-contract-audits

Smart Contract security audit reports