trailofbits
Symbolic execution tool
pschanely
An analysis tool for Python that blurs the line between testing and type systems.