Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.