facebook/SPARTA
@facebookSPARTA ist eine Bibliothek von Softwarekomponenten, die speziell für den Aufbau von Hochleistungs-Statikanalysatoren auf Basis der Theorie der abstrakten Interpretation entwickelt wurde.
Sterne
673
Forks
58
Sprache
C++
Lizenz
MIT
Letzter Push
vor 2 Wochen
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.