Re: Comment vérifier qu’un hôte debian est apte (!) à exécuter tout logiciel fourni ?
On 5/18/23 11:37, RogerT wrote:
Le besoin est beaucoup plus simple que ça.
Le programme en C (ou autre) est livré compilé pour les deux
architectures possibles x86_64 et aarch64. C’est essentiellement du
contrôle de flot autour de fonctions/commandes disponibles après
installation (automatisée) via apt.
Le problème rencontré est que l’utilisateur ne veut aucune
intervention extérieure et n’est pas compétent pour configurer
parfaitement un hôte debian afin d’exécuter tout logiciel fourni.
Je dois donc travailler à tâtons.
Il s'agit donc de créer une distribution derivée de Debian et distribuée
sur clef USB.
Il me semble que si on vise à obtenir une clef robuste, qui boote sur la
plupart des différents modèles de PC x86_64, c'est plusieurs semaines ou
mois de travail.
Pour l'architecture aarch64, prévoir autant de travail en plus.
Et les limitations théoriques du théorème de Rice sont rapidement
atteintes (le nombre de fonctions de la libc qui sont "Turing complètes"
est époustouflant.... Beaucoup de programmes C simples font directement
ou indirectement du fork/execve ou du dlopen ou popen ou system).
Je n'ose pas évoquer la possibilité de faire face à des virus
informatiques -qui existent aussi sous Linux-
Bon courage.
Librement
--
Basile Starynkevitch <basile@starynkevitch.net>
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
Reply to: