slither

Slither, l'analizzatore statico di smart contract Unisciti a Empire Hacking Slack - Discussioni e supporto Slither è un framework di analisi statica per Solidity e Vyper scritto in Python3. Esegue una suite di rilevatori di vulnerabilità, stampa informazioni visive sui dettagli dei contratti e...

brakeman

Brakeman Brakeman è uno strumento di analisi statica che controlla le applicazioni Ruby on Rails per vulnerabilità di sicurezza. Installazione Utilizzando RubyGems: root@kitploit: gem install brakeman Utilizzando Bundler: root@kitploit: group :development do gem 'brakeman', require: false end...

clair

Clair Nota : Il ramo main potrebbe trovarsi in uno stato instabile o addirittura rotto durante lo sviluppo. Si prega di utilizzare releases invece del ramo main per ottenere binari stabili. Clair è un progetto open source per l'static analysis delle vulnerabilità nei contenitori applicativi...

phpstan

PHPStan - PHP Static Analysis Tool PHPStan focuses on finding errors in your code without actually running it. It catches whole classes of bugs even before you write tests for the code. It moves PHP closer to compiled languages in the sense that the correctness of each line of the code can be...

phpstan

PHPStan - Strumento di Analisi Statica PHP PHPStan si concentra sulla ricerca di errori nel tuo codice senza effettivamente eseguirlo. Rileva intere classi di bug ancor prima di scrivere test per il codice. Avvicina PHP ai linguaggi compilati nel senso che la correttezza di ogni riga di codice pu...

uefi_retool

uefiretool A tool for UEFI firmware reverse engineering. UEFI firmware analysis with uefiretool script Usage: Copy idaplugin/uefianalyser.py script and idaplugin/uefianalyser directory to IDA plugins directory Edit config.json file PEDIR is a directory that contains all executable images from the...

pyre-check

!WARNING Dieses Repository ist archiviert Dieses Repository wird nicht mehr gepflegt und wurde archiviert. Typprüfung: Pyre wurde durch Pyrefly ersetzt, unseren Typechecker und Sprachserver der nächsten Generation. Sicherheitsanalyse Pysa: Pysa wurde in ein eigenes Repository unter...

pyre-check

!WARNING This Repository Is Archived This repository is no longer maintained and has been archived. Type checking: Pyre has been replaced by Pyrefly, our next-generation Python typechecker and language server. Security analysis Pysa: Pysa has moved to its own repository at github.com/facebook/Pys...

flare-qdb

FireEye Labs Query-Oriented Debugger flare-qdb is a command-line and scriptable Python-based tool for evaluating and manipulating native program state. It uses Vivisect to set a breakpoint on each queried instruction and executes Python code when hit. flare-qdb frees the analyst to take a nonline...

ApkAnalyser

Copyright C 2012 Sony Mobile Communications AB Il presente file fa parte di ApkAnalyser. Concesso in licenza secondo l'Apache License, Versione 2.0 la "Licenza"; non puoi utilizzare questo file se non in conformità con la Licenza. Puoi ottenere una copia della Licenza all'indirizzo: root@kitploit...

gradle-static-analysis-plugin

DEPRECATO Plugin di analisi statica per Gradle ⚠️ Un fork di questo progetto è mantenuto su https://github.com/GradleUp/static-analysis-plugin/ Si prega di migrare utilizzando l'ID del plugin com.gradleup.static-analysis. Un plugin Gradle per applicare facilmente la stessa configurazione di...

octopus

Octopus Un enorme ringraziamento a QuoScient per aver sponsorizzato questo progetto. Octopus è un framework di analisi della sicurezza per moduli WebAssembly e Smart Contract Blockchain. Lo scopo di Octopus è quello di fornire un modo semplice per analizzare moduli WebAssembly chiusi e bytecode d...

paimei

PaiMei è un framework di reverse engineering composto da molteplici componenti estensibili. Il framework può essere essenzialmente considerato un coltellino svizzero per il reverse engineer e si è già dimostrato efficace per un'ampia gamma di attività sia statiche che dinamiche, come assistenza a...

glasgo

Glasgo Ferramenta de Análise Estática O repositório oficial deste projeto foi movido para Github-ttarvis/glasgo. Projeto Esta é uma ferramenta de análise estática escrita em Go para código Go. Ela encontrará problemas de segurança e alguns problemas de correção que podem ter implicações de...

lightweight_static_analysis

Analisi statica leggera Questa repo contiene il codice PoC per un talk di ShellCon 2019, "Rolling Your Own: How to Write Custom, Lightweight Static Analysis Tools" slides. In sintesi, questa repo dimostra alcuni esempi concreti di come puoi costruire interessanti analisi statiche usando strumenti...

SecretScrub

SecretScrub SecretScrub eliminerà tutti i tuoi sporchi segreti hardcoded. Questo script elabora i file nel formato SARIF generato da vari strumenti di analisi statica. Lo strumento esegue la scansione di una directory nel file system e oscura tutte le occorrenze di segreti rilevate nei file SARIF...

action-octoscan

📦 :octocat: action octoscan Una GitHub Action che esegue una scansione di sicurezza delle tue GitHub Actions. Questa action si basa su octoscan 🤸 Utilizzo Personalizzazione input output Permessi 🤸 Utilizzo Ecco un esempio base di come usare questa action. Funziona sia per gli eventi push che...

jackhammer

Jackhammer: One Security vulnerability assessment/management tool to solve all the security team problems. What is Jackhammer? Jackhammer is a collaboration tool built with an aim of bridging the gap between Security team vs dev team, QA team and being a facilitator for TPM to understand and trac...

Malware-Analysis-Follina-CVE-2022-30190

Malware-Analysis-Follina-CVE-2022-30190 Analisi Statica del Malware – Sfruttamento di Follina CVE-2022-30190 Indagine su un documento Microsoft Word maligno Durante una sessione pratica di analisi malware su Kali Linux, mi sono imbattuto in un file sospetto chiamato sample.doc. Ho deciso di...

VulTriage

一种基于大语言模型和静态代码分析的智能漏洞检测框架，支持多数据集评估和消融研究。 📋 目录 介绍 主要特性 系统要求 快速开始 使用方法 数据集与模型 常见问题 介绍 本项目是一个基于GPT-4o和BGE-M3模型的智能漏洞检测框架，结合了： 静态结构分析 ：控制流图（CFG）、数据流图（DFG）、抽象语法树（AST） 检索增强生成（RAG） ：基于CWE知识库的漏洞模式匹配 代码理解 ：使用大语言模型进行语义分析 成对/单样本检测 ：支持多种评估模式 主要特性 ✅ 支持PrimeVul和Kotlin数据集 ✅ 集成CWE漏洞知识库检索 ✅ 可配置消融研究 ✅ 实时指标追踪 ✅...