Analyse statique et automatisée de code

Magazine
Marque
MISC
Numéro
123
Mois de parution
septembre 2022
Spécialité(s)


Résumé

À l’ère du numérique, de plus en plus d’aspects de notre vie se voient confiés à des programmes. Les chercheurs et les entreprises mettent sur pied des stratégies pour améliorer la qualité et la sécurité des programmes. Ceci dans le but de minimiser la probabilité d’apparition de bugs et réduire la surface d’attaque par d’éventuelles vulnérabilités. Cet article met en exergue les problèmes liés au développement de code et le besoin d’automatiser les analyses de programmes.


On se propose d’introduire brièvement les challenges actuels liés à l’automatisation de la détection de bugs et vulnérabilités dans le code source de programmes. C’est une thématique importante et d’actualité à l’heure où le code inonde nos vies personnelles et professionnelles. Le code est au cœur des systèmes informatisés, c’est pourquoi, pour éviter la compromission et des conséquences irréversibles, il est crucial d’être proactif et de se protéger en amont.

Nous verrons pourquoi, de manière générale, les applications sont intrinsèquement vulnérables et/ou sujettes à des bugs. Nous décrirons les limitations des techniques manuelles pour détecter des propriétés dans du code et le besoin d’automatisation dans ce secteur. Par la suite, nous introduirons le concept d’analyse statique de code, les avantages et les limitations de cette technique. Enfin, nous tenterons de dresser un aperçu du marché actuel des outils d’analyse...

Cet article est réservé aux abonnés. Il vous reste 95% à découvrir.
S'abonner à Connect
  • Accédez à tous les contenus de Connect en illimité
  • Découvrez des listes de lecture et des contenus Premium
  • Consultez les nouveaux articles en avant-première
Je m'abonne


Article rédigé par

Par le(s) même(s) auteur(s)

Démystification du reverse-engineering d’applications Android

Magazine
Marque
MISC
Numéro
134
Mois de parution
juillet 2024
Spécialité(s)
Résumé

Le marché des smartphones, dominé par le système Android, a rendu les applications mobiles omniprésentes dans notre quotidien. Toutefois, la compréhension de leur fonctionnement interne demeure un mystère pour la majorité des utilisateurs. Mais, est-il nécessaire de savoir comment ces applications fonctionnent ? Que ce soit par simple curiosité ou pour des impératifs de sécurité, comprendre ces applications peut s'avérer utile. Cet article vise à lever le voile sur le reverse-engineering d'applications Android.

Maîtriser le contrôle d'accès en cybersécurité

Magazine
Marque
Linux Pratique
Numéro
143
Mois de parution
mai 2024
Spécialité(s)
Résumé

Dans un monde numérique où chaque clic peut ouvrir des portes ou révéler des secrets, le contrôle d'accès est bien plus qu'un simple jeu de verrous et de clés. C'est une symphonie complexe de permissions et de règles, jouée sur une scène où stratégie et technologie se rencontrent. Entre la souplesse du DAC et la fermeté du MAC, sans oublier les subtilités de l'IA, cet article dévoile les coulisses des systèmes qui gardent nos données en toute sécurité.

Haute disponibilité avec HAProxy et Heartbeat

Magazine
Marque
Linux Pratique
Numéro
143
Mois de parution
mai 2024
Spécialité(s)
Résumé

La haute disponibilité : un des piliers des systèmes d’information. Cet article aborde l'importance de maintenir les systèmes d’information constamment opérationnels. Nous passerons en revue des outils très répandus : HAProxy et Heartbeat. Cet article se veut pratique avec un aperçu des configurations de ces outils pour garantir une infrastructure robuste et résiliente. Ce guide offre ainsi des perspectives clés pour optimiser la continuité des services dans un environnement technologique en rapide évolution.

Les derniers articles Premiums

Les derniers articles Premium

Le combo gagnant de la virtualisation : QEMU et KVM

Magazine
Marque
Contenu Premium
Spécialité(s)
Résumé

C’est un fait : la virtualisation est partout ! Que ce soit pour la flexibilité des systèmes ou bien leur sécurité, l’adoption de la virtualisation augmente dans toutes les organisations depuis des années. Dans cet article, nous allons nous focaliser sur deux technologies : QEMU et KVM. En combinant les deux, il est possible de créer des environnements de virtualisation très robustes.

Brève introduction pratique à ZFS

Magazine
Marque
Contenu Premium
Spécialité(s)
Résumé

Il est grand temps de passer à un système de fichiers plus robuste et performant : ZFS. Avec ses fonctionnalités avancées, il assure une intégrité des données inégalée et simplifie la gestion des volumes de stockage. Il permet aussi de faire des snapshots, des clones, et de la déduplication, il est donc la solution idéale pour les environnements de stockage critiques. Découvrons ensemble pourquoi ZFS est LE choix incontournable pour l'avenir du stockage de données.

Générez votre serveur JEE sur-mesure avec Wildfly Glow

Magazine
Marque
Contenu Premium
Spécialité(s)
Résumé

Et, si, en une ligne de commandes, on pouvait reconstruire son serveur JEE pour qu’il soit configuré, sur mesure, pour les besoins des applications qu’il embarque ? Et si on pouvait aller encore plus loin, en distribuant l’ensemble, assemblé sous la forme d’un jar exécutable ? Et si on pouvait même déployer le tout, automatiquement, sur OpenShift ? Grâce à Wildfly Glow [1], c’est possible ! Tout du moins, pour le serveur JEE open source Wildfly [2]. Démonstration dans cet article.

Les listes de lecture

11 article(s) - ajoutée le 01/07/2020
Clé de voûte d'une infrastructure Windows, Active Directory est l'une des cibles les plus appréciées des attaquants. Les articles regroupés dans cette liste vous permettront de découvrir l'état de la menace, les attaques et, bien sûr, les contre-mesures.
8 article(s) - ajoutée le 13/10/2020
Découvrez les méthodologies d'analyse de la sécurité des terminaux mobiles au travers d'exemples concrets sur Android et iOS.
10 article(s) - ajoutée le 13/10/2020
Vous retrouverez ici un ensemble d'articles sur les usages contemporains de la cryptographie (whitebox, courbes elliptiques, embarqué, post-quantique), qu'il s'agisse de rechercher des vulnérabilités ou simplement comprendre les fondamentaux du domaine.
Voir les 67 listes de lecture

Abonnez-vous maintenant

et profitez de tous les contenus en illimité

Je découvre les offres

Déjà abonné ? Connectez-vous