项目作者: NASA-SW-VnV

项目描述 :
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
高级语言: C++
项目地址: git://github.com/NASA-SW-VnV/ikos.git
创建时间: 2017-10-17T18:55:29Z
项目社区:https://github.com/NASA-SW-VnV/ikos

开源协议:Other

下载