Static Analyzer for Solidity and Vyper

Adversarial Robustness Toolbox (ART) - Python Library for Machine Learning Security - Evasion, Poisoning, Extraction, Inference - Red and Blue Teams

Symbolic execution tool

Driller: augmenting AFL with symbolic execution!

Repository for community provided Binary Ninja plugins

Machine Learning for Computer Security

A python utility to flatten Solidity code with imports into a single file.

Scripts for Binary Ninja

IDA plugin for reverse-engineering and dynamic interactions with the Binsec platform

Example Manticore scripts