GitHub repository: muellerberndt/solfuzz
Primary language: JavaScript
Description: Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.