Analysis tools logo
1

IKOS

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

Github:
    1322132237942017
Workflow integration:
  • Type: cli
    cli

Official IKOS Homepage

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

Other

Maintained

Similar Tools

  • 2Unibeautify
  • 0vera++
  • 0Veracode
  • 0Undebt
  • -1XCode