Prenons l'exemple de code C suivant. struct foo_t { int bar; }; int my_entry_point(const struct foo_t *foo) { return foo->bar; } Dans notre cas, my_entry_point sera appelé depuis l'assembly, et *foo ici doit être supposé être toujours correct. Exécution avec la ligne de commande ... frama-....
7 oct. 2020 à 13:49
J'exécute une ancienne application appelée ACSLX. Il essaie d'appeler une commande de déplacement DOS, mais comme sh.exe est sur mon chemin, j'obtiens une erreur. sh.exe fait partie de Git et aussi de RTools, que j'ai tous deux installés. Comme vous pouvez le voir, il essaie simplement de déplacer u....
21 août 2018 à 06:15