Analysis tools logo
2

IKOS

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

Github:
    14001400401002017
Workflow integration:
  • Type: cli
    cli

Official IKOS Homepage

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

Other

Maintained

Alternative Tools

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