SOURCE RECORD · github
Lightweight static analyzer for several programming languages
Open canonical source ↗
Research paper status → · Book status →