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