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).
J'ai réessayé aujourd'hui au boulot (ubuntu 18) aucun souci majeur.
(Juste ça ne compile pas avec ninja ?!?)
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 ?
[^] # Re: Excellent !
Posté par kp . En réponse au journal IKOS, un analyseur statique développé à la NASA. Évalué à 1.
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).
J'ai réessayé aujourd'hui au boulot (ubuntu 18) aucun souci majeur.
(Juste ça ne compile pas avec ninja ?!?)
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 ?