抽象解釈理論に基づいた高性能な静的解析器を構築するために特別に設計されたソフトウェアコンポーネントライブラリ、SPARTA
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。
