Il est possible de mathématiquement garantir l’absence de vulnérabilités dans des logiciels. Face aux cyber attaques, toujours croissantes ces méthodes intéresse un public toujours plus large
Recevez des notifications avec des nouvelles, des articles et bien plus encore!
BARCELONE, Espagne, 28 février 2022 /PRNewswire/ — TrustInSoft, un éditeur logiciel d’analyse de code source, présente sa dernière offre pour garantir l’absence de vulnérabilités au Mobile World Congress (MWC), le premier salon des communications mobiles qui se tiendra du 28 février au 3 mars à Barcelone. Le MWC de cette année fait suite aux révélations de l’été dernier sur l’impact des vulnérabilités comme par exemple celles exploitées par Pegasus, qui exploitent des défauts dans le code source pour prendre le contrôle arbitraire des appareils.
L’attaque de WhatsApp en 2018 découlant de l’exploitation d’un dépassement de tampon dans son code source n’est qu’un exemple des vulnérabilités que les pirates malveillants peuvent exploiter dans n’importe quel appareil. Il n’y a pas de meilleure ligne de défense que de protéger le logiciel de l’intérieur en assurant la sécurité de son code source. La dernière offre de TrustInSoft pour les logiciels permet grâce aux méthodes formelles de l’absence de vulnérabilités.
TrustInSoft Analyzer offre une sécurité on ne peut plus robuste aux appareils mobiles ou à tout équipement connecté en détectant les vulnérabilités critiques du code au début du cycle de développement, et en fournissant une garantie mathématique sur l’absence de comportements non définis dans les composants logiciels de bas niveau. Ce dernier outil de test de sécurité d’application (AST) repose sur des méthodes formelles : des techniques mathématiques puissantes qui permettent aux développeurs de prouver l’immunité du code source face aux cyberattaques basées sur le code. L’outil d’analyse de code source TrustInSoft peut aller jusqu’à détecter de manière exhaustive 100 % des comportements non définis tout en réduisant par 4 les coûts de vérification du code, révolutionnant ainsi le processus de développement et de test standard.
Le président de TrustInSoft, Fabrice Derepas, a déclaré : « Le monde d’aujourd’hui tourne autour des logiciels, et nous pouvons faire notre part pour protéger les appareils et empêcher les données de tomber entre les mains des mauvaises personnes en garantissant la sécurité logicielle des appareils à l’aide de la technologie des méthodes formelles dont nous disposons aujourd’hui. »
Visitez TrustInSoft au MWC dans le hall 5, stand B41, ou contactez-les à l’adresse contact@trust-in-soft.com pour plus d’informations.
À propos de TrustInSoft
TrustInSoft participe au marché des tests de sécurité des applications aux côtés de fournisseurs tels que Mathworks, Parasoft, Synopsys et Veracode. TrustInSoft Analyzer est un analyseur de code statique et dynamique hybride qui automatise les méthodes formelles pour garantir mathématiquement la qualité, la sécurité et la sûreté du code C/C++. TrustInSoft a des clients dans le monde entier dans les secteurs de l’automobile, de l’IoT, des télécommunications, des semi-conducteurs, de l’aéronautique et de la défense. La société a reçu des prix et des reconnaissances du NIST, de RSA et de Linux Foundation. Pour plus d’informations, rendez-vous sur : https://trust-in-soft.com/
Contact pour les médias
Ashley Zupkus
press@trust-in-soft.com
