GitHub repository: maorkuriel/securibench-micro
Description: Securibench Micro is a benchmark for static analysis tools for security.