GitHub repository: sambacha/SIF
Description: Solidity code instrumentation and analysis framework.