control-flow-graph

0La chaleur

1Répondre

Construire un graphique de flux de contrôle pour Android APK à partir du code smali

Y at-il des outils là-bas qui analysent le code smali directement pour construire CFG? Je sais que Androguard fait quelque chose de similaire mais il semble utiliser la décompilation sur le fichier ap

1La chaleur

1Répondre

Générateur de graphique de flux de contrôle pour le code en C++

Je suis à la recherche de générateur de flux de contrôle pour le code source écrit en C++. Connaissez-vous un générateur statique open-source? Je voudrais l'utiliser dans mon projet de graduation pour

0La chaleur

1Répondre

Comment suivre un paramètre de méthode?

J'ai essayé de trouver le terme exact pour "suivre le paramètre d'une méthode" pour le langage de programmation Java et j'ai généralement trouvé "l'analyse des souillures", mais je ne sais pas si je s

3La chaleur

1Répondre

Comment récupérer un graphique de flux de contrôle pour le code python?

Je voudrais vider le graphe de flux de contrôle d'un code python donné, similaire à l'option donnée par l'option du compilateur gcc: -fdump-tree-cfg pour le code c. J'ai réussi à obtenir les AST (Abst

0La chaleur

1Répondre

Comment extraire du code source un graphique de flux de contrôle en utilisant Clang?

Au cours des 5 dernières années, j'ai utilisé Gnu Compiler Collection (gcc/g ++), donc je suis un débutant pour clang et je voudrais générer un graphique de flux de contrôle pour le code source C/Obje

1La chaleur

1Répondre

Traversée de graphes acycliques dirigés dans l'application Web Java

Je construis donc une application web dans laquelle vous pouvez construire un graphe orienté où un noeud représentera une opération et l'arête représentera le flux de données entre ces opérations. Don

1La chaleur

1Répondre

Meilleur moyen de visualiser CFG d'une fonction LLVM cassée

J'ai besoin de visualiser le CFG d'une fonction LLVM, que j'ai dans un fichier .ll. Il y a l'outil opt, qui a l'option --view-cfg. Cependant, le problème est que la fonction est cassée, la définition

0La chaleur

1Répondre

Comment générer un fichier CFG pour des fichiers binaires non exécutables

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

0La chaleur

1Répondre

Comment créer un graphique de flux de contrôle avec Soot?

Pendant un moment, j'ai lutté avec la création d'un graphique de flux de contrôle avec Soot et je me suis un peu perdu dans son tutorials. Plutôt que d'utiliser Soot comme un plugin Eclipse, j'ai essa

2La chaleur

1Répondre

Puis-je traduire un AST en SSA, ou dois-je le traduire en CFG puis en SSA?

Puis-je traduire un arbre de syntaxe abstraite directement dans le formulaire SSA, ou dois-je créer un graphique de flux de contrôle, puis créer le formulaire Static Single Assignment à partir de CFG?