Codeanalyse: Facebook gibt SPARTA als Open Source frei from Heise's blog

Hinter dem Akronym verbirgt sich eine Library für die statische Codeanalyse auf Basis abstrakter Interpretation. Sie steht Entwicklern nun quelloffen bereit.

Source: https://www.heise.de/meldung/Codeanalyse-Facebook-gibt-SPARTA-als-Open-Source-frei-4316420.html?wt_mc=rss.ho.beitrag.rss