Analysis tools logo
2

IKOS

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

Github:
    16641664471182017
Workflow integration:
  • Type: cli
    cli

Official IKOS Homepage

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

Other

Maintained

Alternative Tools

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