ikos-native 2.1

Name ikos-native
Version 2.1 (cd4b363366180fced9128ece0c03b4215d4f155a)
Summary Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Description
Section base
License NASA
Homepage https://github.com/nasa-sw-vnv/ikos
Recipe file recipes-sca/ikos-native/ikos-native_2.1.bb
Layer meta-sca (thud branch)
Inherits
  • cmake
  • native
  • nopackages
  • relocatable
  • sca-sanity
Dependencies
  • boost-native
  • clang-native
  • cmake-native
  • gmp-native
  • ninja-native
  • python3-native
  • sqlite3-native
PACKAGECONFIG options

Sources

git://github.com/NASA-SW-VnV/ikos.git

Patches

Patch Status
files/96c43af80b7d4d86463ab1cdbd69999d0f761f7e.patch Unknown

Other branches

This recipe in other branches of meta-sca:

Branch Recipe
thud (Yocto Project 2.6) ikos-native 2.1 (this recipe)