caracal

Caracal Caracal は、Starknet スマートコントラクトの SIERRA 表現に対する静的解析ツールです。 機能 脆弱な Cairo コードを検出する検出器 情報を報告するプリンター テイント解析 データフロー解析フレームワーク Scarb プロジェクトで簡単に実行可能 インストール プリコンパイル済みバイナリ プリコンパイル済みバイナリはリリースページから入手できます。Cairo コンパイラ 1.x.x を使用している場合は v0.1.x のバイナリを、Cairo コンパイラ 2.x.x を使用している場合は v0.2.x を使用してください。 ソースからビルド Ru...

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...

matt.net

Matt.Net NCC Group Plc によりオープンソースとして公開 - http://www.nccgroup.com/ Matt Lewis によって開発、matt dot lewis at nccgroup dot com http://www.github.com/nccgroup/matt.net AGPL のもとで公開されています。詳細については LICENSE を参照してください。 概要 Matt.Net は、Microsoft の CAT.NET コード監査ツールのシンプルな GUI ラッパーです。 指定されたフォルダ内の .NET...

sast-scan-action

Offensive360 SAST 扫描 — GitHub Action 在每次推送或拉取请求时运行完整的 Offensive360 静态应用安全扫描（SAST）。支持 60+ 种语言的深度污点分析和数据流分析，结果以 SARIF 格式呈现于 GitHub 代码扫描 标签页，并为你的流水线提供严重性门禁。 开源免费： 公共仓库可申请免费扫描令牌 — 请参阅 offensive360.com/free-for-open-source。 快速开始 root@kitploit: name: SAST on: push: branches: main pullrequest:...

mcp-server

Offensive360 MCP 服务器 在您的 AI 助手中运行 Offensive360 SAST 扫描。 这个 Model Context Protocol 服务器为 Claude Code、 Claude Desktop、Cursor 以及任何其他 MCP 客户端提供两个工具： 工具| 功能 ---|--- o360scanpath| 压缩本地目录，运行完整的 SAST 扫描（支持 60+ 种语言、污点/数据流分析），返回包含文件/行号、严重级别和修复建议的发现结果 o360scanstatus| 正在运行的扫描的队列位置 向您的助手提问，例如 "使用 Offensive360...

jsonorg-fp3

json.org CVE-2022-45688 誤検知 このプロジェクトには、CVE-2022-45688 が報告されている json.org 依存関係が含まれています。 この依存関係は脆弱なクラスを呼び出していますが、入力データはサニタイズされています（ 文字をカウントする簡単な方法で、生成される DOM ツリーの最大深さを見積もり、それが 1000 未満でなければならないという前提条件を強制することにより）。そのため、この脆弱性を DoS 攻撃に悪用することはできません。 メタデータベースおよびコールグラフベースのソフトウェア構成分析は、どちらも誤検知を生成します。...

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...

vibesec-static

vibesec-static — static vulnerability auditor for Python A si...

How an image could compromise your Mac: understanding an ExifTool vulnerability (CVE-2026-3102)

Introduction ExifTool is a widely adopted utility for reading and writing metadata in image, PDF, audio, and video files. It is available both as a standalone command-line application and as a library that can be embedded in other software. In this article, we break down CVE-2026-3102, an ExifToo...

strix-advanced

⚡ Strix-Advanced AI-Powered Security Testing Platform An...

Demystifying and Detecting Agentic Workflow Injection Vulnerabilities in GitHub Actions

GitHub Actions is increasingly used to deploy LLM-based agents for repository-centric tasks such as issue triage, pull-request review, code modification, and release assistance. These agentic workflows extend traditional CI/CD automation with agentic capabilities but also create a new injection...

DrvEye

drivertool A static-analysis & exploitation-triage toolkit...

vlnr

vlnr: Autonomous Vulnerability Discovery Pipeline !Python 3...

OPENSUSE-SU-2026:20579-1 Security update for gosec

This update for gosec fixes the following issues: Changes in gosec: - Update to version 2.25.0: choredeps: bump google.golang.org/grpc from 1.75.0 to 1.79.3 1617 fix: allow barry action to access secrets on fork PRs 1616 fix: reduce G117 false positives for custom marshalers and transformed value...

Aether Smart Contract Security Analysis Framework 5.0.2

Aether is a Python-based framework for analyzing Solidity smart contracts, generating vulnerability findings, producing Foundry-based proof-of-concept PoC tests, and validating exploits on mainnet forks. It combines Solidity AST parsing, taint analysis, control flow graph analysis, cross-contract...

Aether Smart Contract Security Analysis Framework 6.0

Aether is a Python-based framework for analyzing Solidity smart contracts, generating vulnerability findings, producing Foundry-based proof-of-concept PoC tests, and validating exploits on mainnet forks. It combines Solidity AST parsing, taint analysis, control flow graph analysis, cross-contract...

Exploit for Path Traversal in Publiccms

amihit Am I Hit? -- CVE Impact Analyzer !Gohttps://i...

SentinelX

SentinelX SentinelX — статический анализатор безопасности...

Exploit for Off-by-one Error in Sudo_Project Sudo

ExploitForge - AI-Powered Automatic Exploit Generation !Pyt...

One Signature, Multiple Payments: Demystifying and Detecting Signature Replay Vulnerabilities in Smart Contracts

Smart contracts have significantly advanced blockchain technology, and digital signatures are crucial for reliable verification of contract authority. Through signature verification, smart contracts can ensure that signers possess the required permissions, thus enhancing security and scalability...