Analyse Statique | Kitploit

z3

z3prover/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…

static-analysiscryptographybinary-analysis+2

12.5kil y a 3h 18m

mariana-trench

facebook/mariana-trench

Un outil d'analyse statique orienté sécurité pour les applications Android et Java.

android-securitystatic-analysisvulnerability-analysis+2

1.2kil y a 5h 55m

SkillSpector

nvidia/skillspector

Scanneur de sécurité pour les compétences des agents IA. Détectez les vulnérabilités, les schémas malveillants, les risques de sécurité, les…

static-analysisvulnerability-scannersdynamic-analysis-sandboxing+8

14.5kil y a 7h 18m

cve-lite-cli

owasp/cve-lite-cli

Scanner de vulnérabilités de dépendances JS/TS rapide et adapté aux développeurs, avec analyse locale des lockfiles, correspondance OSV, visibilité…

static-analysisvulnerability-scannerscode-analysis+5

663il y a 7h 33m

checkov

bridgecrewio/checkov

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…

static-analysisvulnerability-scannerscontainer-security+6

8.9kil y a 8h 23m

rscrypto

loadingalias/rscrypto

Rust crypto w/ zero default deps: BLAKE3, Ed25519/X25519, hashes, MACs, KDFs, AEADs, and checksums w/ full SIMD/ASM acceleration

static-analysisencryption-decryption-toolshash-analysis+3

36il y a 8h 43m

JSONPath

jsonpath-plus/jsonpath

A fork of JSONPath from http://goessner.net/articles/JsonPath/

general-purpose-utilitiesstatic-analysiscode-analysis+2

1.2kil y a 9h 44m

Detect-It-Easy

horsicq/detect-it-easy

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

reconnaissancestatic-analysisvulnerability-analysis+7

11.3kil y a 9h 56m

ImHex

werwolv/imhex

🔍 Un éditeur hexadécimal pour les rétro-ingénieurs, les programmeurs et les personnes qui tiennent à leur rétine lorsqu'ils travaillent à 3 heures…

static-analysismemory-forensicshash-analysis+8

54.4kil y a 10h 29m

pmd

pmd/pmd

Un analyseur de code statique multilingue extensible.

static-analysisstatic-code-analysiscode-analysis

5.5kil y a 10h 53m

secretlint

secretlint/secretlint

Outil de linting enfichable pour éviter de commiter des identifiants.

static-analysiscode-analysisdevsecops+1

1.4kil y a 11h 26m

MCPwner

pigyon/mcpwner

Serveur Model Context Protocol pour la découverte autonome de vulnérabilités

penetration-testing-frameworksreconnaissancestatic-analysis+6

53il y a 11h 44m

kin

firelock-ai/kin

The system of record for AI-written software. A persistent graph of entities, relationships, changes, and provenance, so humans and AI agents see…

static-analysiscode-analysisdevsecops+4

44il y a 11h 57m

HydraDragonAntivirus

hydradragonantivirus/hydradragonantivirus

Analyse dynamique et statique avec analyse malware en temps réel et antivirus pour Windows, incluant XDR open source (3 projets EDR), ClamAV, YARA-X,…

static-analysisdynamic-analysis-sandboxingids-ips-evasion+2

223il y a 12h 25m

pefile

erocarrera/pefile

pefile est un module Python pour lire et travailler avec les fichiers PE (Portable Executable)

static-analysisvulnerability-analysisreverse-engineering+3

2.1kil y a 12h 46m

appsec-agent

owasp/appsec-agent

Un package TypeScript qui fournit des agents propulsés par l'IA pour les tâches de sécurité applicative (AppSec), construit sur les modèles de pointe.

static-analysisvulnerability-analysiscode-analysis+5

7il y a 13h 53m

muad-dib

dnszlsk/muad-dib

Détection en temps réel des menaces sur la chaîne d'approvisionnement npm/PyPI. Analyse des chaînes comportementales, analyse AST, flux IOC et moteur…

ioc-managementstatic-analysisvulnerability-scanners+8

15il y a 14h 23m

skills

trailofbits/skills

Compétences de Trail of Bits Claude Code pour la recherche en sécurité, la détection de vulnérabilités et les workflows d'audit

static-analysisvulnerability-analysiscode-analysis+8

6.5kil y a 15h 2m