Aura is a static analysis framework developed as a response to the ever-increasing threat of malicious packages and vulnerable code published...
DECAF++, the new version of DECAF, taint analysis is around 2X faster making it the fastest, to the best of our...
A powerful framework for network traffic analysis and security monitoring.Key Features — Documentation — Getting Started — Development — License Follow...
Slither is a Solidity static analysis framework written in Python 3. It runs a suite of vulnerability detectors, prints visual information about...