I built this project to explore how stateful fuzzing can be used to automatically discover accounting vulnerabilities in DeFi smart contracts. The project is a generic ABI-driven stateful fuzzer ...
An AFL-inspired greybox mutation-based fuzzer for DIMACS CNF SAT solvers, developed for the 70024 Software Reliability coursework at Imperial College London. This project combines grammar-aware ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する