
z3
Solveur SMT haute performance pour la démonstration automatique de théorèmes, la résolution de contraintes et la vérification de programmes. Prend en…

Solveur SMT haute performance pour la démonstration automatique de théorèmes, la résolution de contraintes et la vérification de programmes. Prend en…

Le couteau suisse de la correspondance de motifs

Framework de désassemblage multi-architecture offrant une API légère et thread-safe pour l'analyse binaire, le rétro-ingénierie et la recherche de…

Un scanner de vulnérabilités pour les images de conteneurs et les systèmes de fichiers

DOMPurify - un sanitiseur XSS uniquement DOM, ultra-rapide et ultra-tolérant, pour HTML, MathML et SVG. DOMPurify fonctionne avec une configuration…

Scanner de vulnérabilités basé sur des agents pour les bases de code à grande échelle. Utilise des LLM pour trouver des problèmes de sécurité…

Développement d'exploits et rétro-ingénierie simplifiés avec GDB et LLDB

Assistant de rétro-ingénierie propulsé par l'IA qui fait le pont entre IDA Pro et les modèles de langage via MCP.

Analyse statique des vulnérabilités pour les conteneurs

Une suite de rétro-ingénierie pour Jar Java 8+ et Android APK (Décompilateur, Éditeur, Débogueur et plus)

Une plateforme d'analyse binaire puissante et conviviale !

Plateforme de qualité de code et d'analyse statique avec des quality gates, une analyse multi-langages et des règles orientées sécurité pour détecter…

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

Outil d'analyse statique pour l'infrastructure en tant que code qui détecte les mauvaises configurations cloud, les vulnérabilités et les secrets…

Outil CLI et bibliothèque pour générer une nomenclature logicielle à partir d'images de conteneurs et de systèmes de fichiers.

Compétences en modélisation des menaces, scan, tri, correction, plus un harnais de scan autonome que vous pouvez /customize

Un analyseur statique de vulnérabilités de sécurité pour les applications Ruby on Rails

Renaissance non officielle du célèbre débogueur et éditeur d'assemblage .NET, dnSpy