MadMax

Gas-related vulnerability detection

P/Taint

Java and Android Taint Analysis

Contract Library

Thorough Decompilation of Smart Contracts

Shooting From the Heap

Ultra-Scalable Static Analysis with Heap Snapshots