IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation

  • Posted 3 weeks ago by u1hcw9nx
  • 18 points
https://github.com/NASA-SW-VnV/ikos

1 comments

    Loading..