program-analysis

Débogueur en mode utilisateur open source pour Windows. Optimisé pour l'ingénierie inverse et l'analyse de logiciels malveillants.

Programme pour déterminer les types de fichiers sous Windows, Linux et MacOS.

Triton est une bibliothèque d'analyse binaire dynamique. Construisez vos propres outils d'analyse de programmes, automatisez votre ingénierie inverse, effectuez la vérification de logiciels ou émulez simplement du code.

Mythril est un outil d'analyse de sécurité basé sur l'exécution symbolique pour le bytecode EVM. Il détecte les vulnérabilités de sécurité dans les smart contracts conçus pour Ethereum et d'autres blockchains compatibles EVM.

Framework de rétro-ingénierie et ensemble d'outils en ligne de commande de type UNIX.

Moteur DIE.

Analyseur statique pour C/C++ basé sur la théorie de l'interprétation abstraite.

Identifier rapidement les différences et les similitudes dans le code désassemblé.

Plateforme d'analyse binaire.

Jar Analyzer - Un outil d'analyse GUI pour fichiers JAR, incluant un assistant IA, supportant l'analyse de différences JAR, la recherche de relations d'appel de méthodes, l'analyse DFS de chaînes d'appels, l'analyse de pollution simulant la JVM, la recherche de chaînes, l'analyse de composants Java Web, l'analyse CFG et l'analyse de pile JVM.

Détection de pointe du plagiat et de la collusion dans le code source. Vérifiez le plagiat au sein d'un ensemble de programmes.

Analyse statique de code.

cwe_checker détecte les modèles vulnérables dans les exécutables binaires

Règles de l'édition communautaire de Semgrep, maintenues par Semgrep et la communauté. Utilisation gratuite sous la licence Semgrep Rules.

Devoirs Tai-e pour l'analyse statique de programmes.

L'interface graphique officielle d'angr.

Un framework d'analyse statique basé sur LLVM.

Bibliothèques T.J. Watson pour l'analyse, avec des interfaces pour Java, Android, JavaScript et de nombreuses analyses de programmes statiques courantes.

Comprenez instantanément n'importe quelle base de code. Intelligence système pour bases de code, conçue pour les humains et l'IA.

Une nouvelle version de Soot avec une architecture entièrement remaniée.

Une liste organisée de ressources exceptionnelles liées à LLVM (incluant Clang, etc.).

Une collection complète d'aides-mémoire pour l'ingénierie inverse, l'analyse binaire et les outils de programmation en assembleur. Ce dépôt sert de référence unique pour les chercheurs en sécurité, les ingénieurs inverses et les développeurs bas niveau.

Framework d'analyse binaire en Rust

Un frontal de compilation pour le langage de programmation C.

[LLVM Static Slicer] Analyses de programmes variées, construction de graphes de dépendance et découpage (slicing) de bitcode LLVM.