Défauts de comportement du micrologiciel · Composants logiciels opaques · Protocoles et formats inconnus · Mettre à jour l'incertitude de la chaîne
Ce que nous résolvons
Lorsque le système est opaque, les décisions d'ingénierie doivent provenir d'artefacts, de comportements et de preuves.
Nous examinons les images de micrologiciels, les binaires, les installateurs, les pilotes et les progiciels pour reconstruire ce que fait le système, comment il communique, ce qu'il stocke…
Carte de comportement · Connaissances techniques récupérées · Résultats de sécurité
Ce que vous obtenez
Carte de comportement. Connaissances techniques récupérées. Résultats de sécurité.
Carte de comportement pour les composants micrologiciels ou logiciels et leurs limites.
Carte de comportement pour les composants micrologiciels ou logiciels et leurs limites
Connaissances techniques récupérées sur les protocoles, les formats, l'état et les interfaces
Résultats de sécurité avec contexte d'exploitabilité et orientation des mesures correctives
Clarté médico-légale pour les artefacts, mises à jour ou comportements d'exécution suspects
Ingénierie inverse statique · Analyse dynamique · Recherche sur les protocoles et la sécurité · Résultats typiques
Méthodes et couverture
Ingénierie inverse statique covers déballage du micrologiciel, récupération de la structure binaire et identification des composants · Désassemblage, décompilation, analyse de flux de contrôle et reconstruction…
Ingénierie inverse statique Déballage du micrologiciel, récupération de la structure binaire et…
Analyse dynamique Traçage d'exécution, débogage, instrumentation et capture de comportement
Recherche sur les protocoles et la sécurité Inférence de protocole à partir des binaires, du trafic…
Résultats typiques Une boîte noire transformée en carte technique