GitHub repository: trailofbits/optik
Primary language: Python
Description: Optik is a set of tools based on symbolic execution that provide assistance during smart-contract audits