Metadata-Version: 2.4
Name: ikos
Version: 3.5
Summary: A static analyzer for C/C++ programs
Home-page: https://github.com/NASA-SW-VnV/ikos
Author: NASA
Author-email: ikos@lists.nasa.gov
License: NOSA 1.3
Dynamic: author
Dynamic: author-email
Dynamic: home-page
Dynamic: license
Dynamic: summary
