Writing from the Safina team on security testing and source code review: how our tools work underneath, and why we made the decisions we did.https://safina.saen