Popular repositories Loading

1. awesome-annotation-processing awesome-annotation-processing Public

   Forked from gunnarmorling/awesome-annotation-processing

   A curated list of resources related to the Java annotation processing API (JSR 269)

2. smartbugs smartbugs Public

   Forked from smartbugs/smartbugs

   SmartBugs: A Framework to Analyze Ethereum Smart Contracts

   Python

3. M-Pro M-Pro Public

   Forked from QuanZhang-William/M-Pro

   Mythril Classic: Security analysis tool for Ethereum smart contracts

   HTML

4. SuMo-SOlidity-MUtator SuMo-SOlidity-MUtator Public

   Forked from MorenaBarboni/SuMo-SOlidity-MUtator

   A mutation testing tool for Solidity Smart Contracts

   JavaScript

5. slither slither Public

   Forked from crytic/slither

   Static Analyzer for Solidity and Vyper

   Python

6. gambit gambit Public

   Forked from Certora/gambit

   Using mutations to improve specs and test suites

   Rust