0
Je souhaite générer un graphique de flux de contrôle pour les fichiers binaires non exécutables. L'objectif est d'effectuer une analyse statique sur les fichiers binaires générés du noyau Linux. Y a-t-il un outil qui peut le faire? Les outils que j'ai trouvés en effectuant une recherche sont uniquement pour les fichiers exécutables. J'utilise obj-dump pour désassembler le binaire en assembly. Actuellement, j'effectue l'analyse sur les blocs de base de l'assemblage, mais dans cette méthode, je ne peux pas garantir que tous les chemins d'exécution sont couverts.Comment générer un fichier CFG pour des fichiers binaires non exécutables
Le noyau Linux est un exécutable ELF standard compressé et compressé dans un fichier bzImage qui décompresse le noyau qui y est stocké. Vous pouvez soit obtenir le noyau "vmlinux" non compressé qui a produit le fichier "vmlinuz" que vous essayez d'analyser ou l'extraire du fichier vmlinuz. –
Merci. Cependant, je veux analyser les fichiers individuels du noyau (fichier .o créé en compilation, exemple linux/mm/mmap.o) – Dragonight
Vous pouvez convertir un fichier objet en un exécutable en utilisant 'ld --unresolved-symbols = ignore- all', bien que cela résoudra toutes les fonctions externes à la même adresse: 0. –