Pinned Repositories
circom-mutator
Mutation testing tool for circom
ethereum-node-cloud
Terraform scripts to run an Ethereum node on the cloud
fuzzer-evaluation
Evaluating fuzzer effectiveness
fuzzy-fyi
We help protocols improve their invariant tests
guitar-pro-6
Unofficial Guitar Pro 6 docker image for linux
qcl
Quantum Computation Language port from http://tph.tuwien.ac.at/~oemer/qcl.html
redis-roaring
Roaring Bitmaps for Redis
security
Security Reviews and Audit Checklists
solidity-audit-report-generator
Solidity Audit Report Generator
theauditorbook
The Auditor Book
aviggiano's Repositories
aviggiano/redis-roaring
Roaring Bitmaps for Redis
aviggiano/theauditorbook
The Auditor Book
aviggiano/solidity-audit-report-generator
Solidity Audit Report Generator
aviggiano/security
Security Reviews and Audit Checklists
aviggiano/fuzzer-evaluation
Evaluating fuzzer effectiveness
aviggiano/guitar-pro-6
Unofficial Guitar Pro 6 docker image for linux
aviggiano/coypu
Coypu is an open source static analyzer that competes on Code4rena Bot Races. Prizes are held on a community multisig and split amongst all members that contribute to the project.
aviggiano/property-based-testing-benchmark
Property-based testing benchmark
aviggiano/fuzzy-fyi
We help protocols improve their invariant tests
aviggiano/openzeppelin-contracts-upgradeable-v5-footguns
OpenZeppelin Contracts 5.0 Footguns
aviggiano/properties
Pre-built security properties for common Ethereum operations
aviggiano/ethereum-node-cloud
Terraform scripts to run an Ethereum node on the cloud
aviggiano/aave-v3-core
This repository contains the core smart contracts of the Aave V3 protocol.
aviggiano/abi-decode
aviggiano/abracadabra-money-contracts
aviggiano/app.js
GitHub Apps toolset for Node.js
aviggiano/chimera-poc
Chimera POC
aviggiano/DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
aviggiano/forge-crytic-properties-poc
aviggiano/fuzzlib
Solidity Fuzzing Library
aviggiano/ghostly
Solidity Ghost Variables Library
aviggiano/halmos
A symbolic testing tool for EVM smart contracts
aviggiano/hevm
symbolic EVM evaluator
aviggiano/ityfuzz
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
aviggiano/medusa
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
aviggiano/medusa-crash
aviggiano/medusa-libraries
aviggiano/onchain-fuzzing-benchmark
Onchain fuzzing benchmark: running echidna on mainnet
aviggiano/shrinking-mwe
aviggiano/solplot
A Foundry plugin that enables you to plot charts within solidity.