gosec

gosec - Go-Sicherheitsprüfer Untersucht Quellcode auf Sicherheitsprobleme durch Scannen der Go AST- und SSA-Code-Darstellung. Kurzlinks GitHub Action Lokale Installation Schnellstart Häufige Verwendungsmuster Regeln auswählen Ausgabeformate Funktionen Musterbasierte Regeln zum Erkennen häufiger...

smalien

Smalien Smalien ist ein Werkzeug zur Analyse von Informationsflüssen und zur Erkennung von Informationslecks für Android-Anwendungsanalysten. Smalien führt statische Taint-Analyse von Android-Anwendungen auf einem Linux-Rechner sowie dynamische Taint-Analyse, Erkennung von Informationslecks durch...

capstone

Capstone Engine !TIP Welcome to join our community group! Capstone is a disassembly framework with the target of becoming the ultimate disasm engine for binary analysis and reversing in the security community. Created by Nguyen Anh Quynh, then developed and maintained by a small community, Capsto...

Argus

Argus Questo repository contiene il codice per il nostro articolo USENIX Security '23 "ARGUS: A Framework for Staged Static Taint Analysis of GitHub Workflows and Actions". Argus è uno strumento completo di analisi della sicurezza progettato specificamente per GitHub Actions. Costruito con...

caracal

Caracal Caracal è uno strumento di analisi statica sulla rappresentazione SIERRA per smart contract Starknet. Caratteristiche Rilevatori per individuare codice Cairo vulnerabile Stampanti per riportare informazioni Analisi taint Framework di analisi del flusso di dati Facile da eseguire in proget...

caracal

Caracal Caracal is a static analyzer tool over the SIERRA representation for Starknet smart contracts. Features Detectors to detect vulnerable Cairo code Printers to report information Taint analysis Data flow analysis framework Easy to run in Scarb projects Installation Precompiled binaries...

jsonorg-fp3

json.org CVE-2022-45688 falso positivo Il progetto contiene una dipendenza json.org con CVE-2022-45688. Il progetto invoca sì la classe vulnerabile, ma i dati di input vengono sanificati con un semplice metodo che conta i caratteri , stimando quindi la profondità massima dell'albero DOM da genera...

matt.net

Matt.Net Rilasciato come open source da NCC Group Plc - http://www.nccgroup.com/ Sviluppato da Matt Lewis, matt dot lewis at nccgroup dot com http://www.github.com/nccgroup/matt.net Rilasciato sotto licenza AGPL. Consultare LICENSE per maggiori informazioni. Panoramica Matt.Net è una semplice...

Ponce

Ponce Ponce ausgesprochen 'poN θe pon-they ist ein IDA Pro Plugin, das Benutzern die Möglichkeit bietet, Taint-Analyse und symbolische Ausführung an Binärdateien auf einfache und intuitive Weise durchzuführen. Mit Ponce sind Sie nur einen Klick davon entfernt, die volle Leistung modernster...

bincat

Introduzione Cos'è BinCAT? BinCAT è un toolkit di analisi del codice binario statico , progettato per aiutare i reverse engineer, direttamente da IDA o usando Python per l'automazione. Caratteristiche: analisi dei valori registri e memoria analisi del taint ricostruzione e propagazione dei tipi...

BootStomp

BootStomp BootStomp ist ein Bug-Finder für Bootloader. Er sucht nach zwei verschiedenen Bug-Klassen: Speicherkorruptions- und Zustandsspeicher-Schwachstellen. Weitere Informationen finden Sie im BootStomp-Papier unter...

pyt

.. image:: https://travis-ci.org/python-security/pyt.svg?branch=master :target: https://travis-ci.org/python-security/pyt .. image:: https://readthedocs.org/projects/pyt/badge/?version=latest :target: http://pyt.readthedocs.io/en/latest/?badge=latest .. image::...

DECAF

DECAF DECAF acronimo di Dynamic Executable Code Analysis Framework è una piattaforma di analisi binaria basata su QEMU. DECAF++ DECAF++, la nuova versione di DECAF, l'analisi del taint è circa 2 volte più veloce, rendendolo, al meglio delle nostre conoscenze, il framework di analisi dinamica del...

DakshSCRA v0.38-beta

Daksh SCRA Source Code Review Assist root@kitploit: Author: - Debasis Mohanty [email protected] - Twitter / X: @coffeensecurity - www.coffeeandsecurity.com About Daksh SCRA Daksh SCRA Source Code Review Assist tool is built to enhance the efficiency of the source code review process, providi...

testing-handbook

Guide de test de Trail of Bits Le Guide de test de Trail of Bits est une ressource destinée aux développeurs et aux professionnels de la sécurité pour configurer, optimiser et automatiser de nombreux outils d'analyse statique et dynamique que nous utilisons chez Trail of Bits. Aperçu du Guide de...

CVE-2021-44228

Tai-e für CVE-2021-44228 Dies ist ein Beispielprojekt, das Tai-e nutzt, um die Log4Shell-Schwachstelle auch bekannt als CVE-2021-44228 und ihre Trigger-Pfade zu identifizieren. Zugehöriges Video auf Chinesisch: https://www.bilibili.com/video/BV1dV411F781 Erste Schritte Klonen Sie dieses Repositor...

mole

Mole Mole è un plugin per Binary Ninja progettato per identificare percorsi di esecuzione interessanti nei binari. Esegue backward slicing sulle variabili usando il Medium Level Intermediate Language MLIL di Binary Ninja in forma Static Single Assignment SSA, costituendo la base per un'analisi...

opentaint

Il motore open source di taint analysis per l'era dell'IA Taint analysis formale per la sicurezza delle applicazioni — trova ciò che i motori di AST-pattern matching non rilevano, consente agli agenti LLM di applicare vulnerabilità come regole, scala dove nessuno dei due può farlo da solo. Englis...

maat

About Maat is an open-source Dynamic Symbolic Execution and Binary Analysis framework. It provides various functionalities such as symbolic execution, taint analysis, constraint solving, binary loading, environment simulation, and leverages Ghidra's sleigh library for assembly lifting:...

lava

LAVA: Large Scale Automated Vulnerability Addition Evaluating and improving bug-finding tools is currently difficult due to a shortage of ground truth corpora i.e., software that has known bugs with triggering inputs. LAVA attempts to solve this problem by automatically injecting bugs into...