GitHub repository: secure-software-engineering/secucheck-core
Primary language: Java
Description: Taint Analysis on top of Soot.