et of tools in Python) under a
trench coat.
This is by far not my domain. If anyone is willing to lend a hand, I could
definitely use any help that I can get, but I understand that folks are
busy and everybody wants help.
Cheers,
Ivan
On Thu, 7 Dec 2023 at 16:12, Scott Talbert wrote:
> On
Hi everyone!
I'm currently trying to bring a tool we have at NASA Ames up to speed:
https://github.com/NASA-SW-VnV/ikos
IKOS is a static analyzer for C. I'm really hoping that IKOS can be
included in Debian in the near future.
IKOS is implemented as a C++ library, and a number of python
tools/w
2 matches
Mail list logo
