Multiplier trouve plus de bogues plus rapidement

Multiplier offre des capacités de compréhension de code précises et complètes. Pour ce faire, il enregistre les artefacts de compilation dans une base de données, puis les rend accessibles de manière persistante via une API C++ ou Python.

Multiplier met l'accent sur la capacité à identifier de manière unique toutes les entités d'un processus de compilation, y compris les jetons individuels, les nœuds AST et les représentations intermédiaires. Avec Multiplier, un analyste peut identifier des modèles de code d'intérêt sur l'une des représentations, puis restituer avec précision les résultats à des humains sous une forme lisible, ou à des scripts ultérieurs via les identifiants d'entités.

Les API de Multiplier sont étendues et fournissent souvent des informations d'une qualité équivalente ou supérieure à celle d'un compilateur, mais reliées à une granularité de programme entier. Nous aimons dire qu'avec ses API, vous pouvez aller partout depuis n'importe où.

• À propos
  • Comment fonctionnent les autres indexeurs, et pourquoi la méthode habituelle d'indexation du code est insuffisante pour C/C++
  • Pourquoi Multiplier ? Quels défis d'analyse Multiplier résout-il ?
• Utilisation
  • Obtenir et compiler le code
  • Installer une version précompilée
  • Comment indexer une base de code
• Analyses
  • Analyse de variantes regreSSHion d'OpenSSH
  • Analyse de variantes PHP
• Outils Python inclus
  • Navigateur de code Web pour parcourir le code depuis une base de données
  • Regrouper les fonctions par type
• Outils C++ inclus
  • Trouver les appels de fonction dans les listes d'arguments de macros
  • Trouver les représentations divergentes possibles
  • Trouver les utilisations de copy_to_user dans le noyau Linux qui écrasent les membres de tableaux flexibles
  • Trouver les structures de données contenant des pointeurs auto-référentiels, comme les listes chaînées et les arbres
  • Trouver les casts « douteux » circulant vers les arguments de fonction et les sites de retour
  • Extraire une entité, par ex. une fonction, et toutes ses dépendances dans un fichier
  • Surligner une entité spécifique dans son code environnant
  • Surligner toutes les références à une entité
  • Afficher un graphe d'appels
  • Afficher le graphe de références
  • Afficher un graphe reliant le code source, les macros, les jetons analysés et les nœuds AST
  • Afficher le graphe de taint à partir d'une source de taint, en traitant les déréférences mémoire comme des puits de taint
• Utilitaires inclus
  • Trouver les entités dans la base de données à partir d'un nom de symbole
  • Lister tous les fichiers indexés
  • Lister toutes les fonctions indexées
  • Lister toutes les macros indexées
  • Lister toutes les redéclarations d'une entité donnée
  • Lister toutes les structures/unions/classes/énumérations indexées
  • Lister toutes les variables indexées
  • Rechercher dans le code avec des expressions régulières

Licence

Cette recherche a été développée avec le financement de la Defense Advanced Research Projects Agency (DARPA). Les points de vue, opinions et/ou résultats exprimés sont ceux de l'auteur et ne doivent pas être interprétés comme représentant les points de vue ou politiques officiels du Département de la Défense ou du gouvernement des États-Unis.

Déclaration de distribution « A » (Approuvée pour diffusion publique, distribution illimitée).