NASA-SW-VnV/ikos
@NASA-SW-VnVStatischer Analysator für C/C++ basierend auf der Theorie der abstrakten Interpretation.
Sterne
3.163
Forks
220
Sprache
C++
Lizenz
NOASSERTION
Letzter Push
vor 3 Monaten
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.