Analyse Statique

nccgroup/formal_np1sec

Formalizing np1sec using Tamarin and other FM (see https://github.com/equalitie/np1sec)

0xxon/roca

Réimplémentation du vérificateur CVE-2017-15361 en C

titanous/rocacheck

Paquet Go qui vérifie si les clés RSA sont vulnérables à ROCA / CVE-2017-15361

kavgan/vuln_test_repo_public_ruby_gemfile_cve-2016-6317

Détecte les vulnérabilités connues dans les dépendances Ruby Gemfile en recherchant des CVE spécifiques, permettant des contrôles de sécurité…

4w4k3/repy2exe

Un outil de rétro-ingénierie pour les applications py2exe.

ustayready/mavd

Détection de vulnérabilités des applications mobiles

rgielen/struts1filter

Une solution de filtrage des paramètres de requête pour Struts 1 CVE-2014-0114 basée sur le travail d'Alvaro Munoz et de l'équipe HP Fortify.

ehabhussein/ollydbg-binary-execution-visualizer

reverse engineering, visual binary analysis

zenexer/safeshell

Prévenir les vulnérabilités PHP similaires à CVE-2016-10033 et CVE-2016-10045.

calebstewart/peach

Cadre simple de scan de vulnérabilités

openrce/paimei

Un framework de rétro-ingénierie écrit en Python.

monnappa22/limon

Limon est un sandbox développé dans le cadre d'un projet de recherche écrit en Python, qui collecte, analyse et génère automatiquement des rapports…

u-maxx/magento-swf-patched-cve-2011-2461

Version corrigée de uploader.swf et uploaderSingle.swf pour corriger CVE-2011-2461

maldroid/maldrolyzer

Cadre simple pour extraire des données « exploitables » de malwares Android (C&C, numéros de téléphone, etc.)

dpnishant/jsprime

un outil d'analyse statique de sécurité pour JavaScript

ikkisoft/parrotng

ParrotNG est un outil capable d'identifier les applications Adobe Flex (SWF) vulnérables à CVE-2011-2461.

tobyzxj/cve-2015-0235

glibc gethostbyname bug