项目描述 ：
The goblint static analysis framework

高级语言： OCaml

项目主页： https://goblint.in.tum.de

项目地址: git://github.com/goblint/analyzer.git

创建时间： 2011-07-18T15:10:56Z
项目社区：https://github.com/goblint/analyzer
开源协议：MIT License
下载