Bon je n'ai pas beaucoup cherché, mais je n'ai pas réussi à faire marcher ça sur debian 8 (galère avec le changement d'abi des compilos, puis boost filesystem qui m'envoie chi... à l'exécution).
Je n'ai eu aucun problème sous Debian 8 personnellement. Regarde ce Dockerfile.
(Juste ça ne compile pas avec ninja ?!?)
En effet, je viens de voir ça. Étrange!
J'aurais aimé le passer sur le code du boulot, mais si j'ai bien compris, il n'y a pas de moyen d'analyser des bibliothèques dynamiques ?
Ou alors je n'ai pas trouvé comment passer un entry-point à scan-ikos ?
Malheureusement, on ne peut pas analyser de bibliothèques dynamiques avec ikos.
Par contre, tu peux créer un programme qui va appeler les fonctions de ta bibliothèque de façon arbitraire, et lancer ikos dessus.
[^] # Re: Excellent !
Posté par Maxime Arthaud . En réponse au journal IKOS, un analyseur statique développé à la NASA. Évalué à 1.
Je n'ai eu aucun problème sous Debian 8 personnellement. Regarde ce Dockerfile.
En effet, je viens de voir ça. Étrange!
Malheureusement, on ne peut pas analyser de bibliothèques dynamiques avec ikos.
Par contre, tu peux créer un programme qui va appeler les fonctions de ta bibliothèque de façon arbitraire, et lancer ikos dessus.