stangls / analyzer Goto Github PK
View Code? Open in Web Editor NEWThis project forked from goblint/analyzer
A fork of the goblint static analysis framework with an interface to external information.
Home Page: https://github.com/goblint/analyzer
License: Other