Analysis tools logo
2

IKOS

A sound static analyzer for C/C++ code based on LLVM.

Github:
    1382138239982017
Workflow integration:
  • Type: cli
    cli

Official IKOS Homepage

https://github.com/nasa-sw-vnv/ikos

Other

Maintained

Alternative Tools

  • 3Unibeautify
  • 1Understand
  • 0vera++
  • 0Veracode
  • -1XCode