En général, les projets utilisant IKOS en interne tournent sur un système d'exploitation temps réel.
En pratique, rien ne t'empêche d'utiliser IKOS pour un système sur bare metal. Dans ce cas, il te faudra probablement utiliser l'option --no-libc lors de l'analyse.
[^] # Re: Une bonne nouvelle pour les fans de microcontrôleur ?
Posté par Maxime Arthaud . En réponse au journal IKOS, un analyseur statique développé à la NASA. Évalué à 6. Dernière modification le 15 décembre 2018 à 01:11.
En général, les projets utilisant IKOS en interne tournent sur un système d'exploitation temps réel.
En pratique, rien ne t'empêche d'utiliser IKOS pour un système sur bare metal. Dans ce cas, il te faudra probablement utiliser l'option --no-libc lors de l'analyse.