GitHub repository: mipt-cs/pathfinder
Primary language: C++
Description: CFL-R-based static analysis tool