GitHub repository: tudo-aqua/securibench-micro
Primary language: Java
Description: Securibench Micro is a benchmark for static analysis tools for security.