CodeSonar Binary


CodeSonar
  • Secteurs d'activité : IT - Systèmes d'informations , Avionique , Spatial , Automobile , Ferroviaire , Médical , Nucléaire , Autres Industries
  • Langages : Assembleur
  • Fournisseur : GRAMMATECH

CodeSonar pour binaires x86/x64/ARM, outil unique d’analyse statique de code binaire, permet l’étude de librairies tierces précompilées, y compris si vous n’en avez pas le code source !

CodeSonar pour binaires x86/x64/ARM

CodeSonar Binary intègre un désassembleur de code x86/X64/ARM, puis analyse directement le code assembleur obtenu. La technologie ne reposant pas sur les informations de débogage ni sur les tables de symboles, tout exécutable binaire (.exe, .dll, .so, .bin, …), stripped ou non, peut être analysé, vous permettant d’effectuer un audit de sûreté ou de cybersécurité sans l’aide d’une société tierce !

De plus, lorsqu’un binaire est incorporé à votre projet, le mixed mode vous permet d’analyser en même temps le binaire ainsi que votre propre code source : comprenez comment votre application interagit avec les librairies tierces, quels impacts celles-ci peuvent avoir sur votre propre code et comment les maitriser, et visualisez le graphe d’appel complet de votre système (incluant à la fois votre code source et le code binaire) !
Exemples de détections:
  • Dépassements de tableaux (buffers overrun / underrun),
  • Injection de commande / SQL,
  • Deadlock,
  • Division par zéro,
  • Double libération,

  • Libération de pointeur nul,
  • Déréférencement de pointeur nul,
  • Débordement d’entiers,
  • Utilisation après libération,

A propos de GrammaTech

CodeSonar est édité par la société américaine GrammaTech, l’un des pionniers mondiaux dans le développement d’outils d’Assurance Qualité logiciel et de cybersécurité. Depuis plus de 20 ans, GrammaTech a massivement investi en Recherche et Développement, en partenariat avec des universités (Cornell, University of Wisconsin) et organismes gouvernementaux (AFRL-Rome, Air Force Research Laboratory, DARPA, US Department of Homeland Security, NASA, US Army, …), sur les trois thèmes suivants :
  • Software Assurance – Assurance Qualité Logiciel : nouvelles technologies pour analyser et corriger les logiciels afin d’assurer l’intégrité de l’exécution et prévenir les bugs et failles ;
  • Sofware Hardening – Durcissement du logiciel : technologies exclusivement axées sur la résilience du système.
  • Autonomic Computing – Informatique autonome: fournir aux systèmes logiciels la possibilité de se «protéger soi-même».
Investissements annuels de la société GrammaTech en R&D

La société ISIT est le représentant exclusif de la société GrammaTech en France, Belgique francophone, Suisse francophone, Espagne, Portugal, Italie et Afrique du Nord, et assure le support technique et les formations CodeSonar en français et anglais.

Vous souhaitez en savoir plus ?

Produits associés

CodeSonar Source

CodeSonar

CodeSonar est un outil d’analyse statique avancée pour codes sources C, C++ et Java, et binaires x86, x64 et ARM, fonctionnant dans les environnements Windows, Linux, Mac OS X, FreeBSD et Solaris.


En savoir +

Formation outil CodeSonar

Formation outil Codesonar

Les tests représentent une des phases les plus importantes du cycle de développement d’un logiciel. Définir une stratégie de test et de validation est la garantie d’une amélioration de la qualité des logiciels


En savoir +