CVE-2023-24329-codeql-test

В этом репозитории нет README...

codeql

CodeQL 이 오픈 소스 저장소에는 GitHub 고급 보안 및 GitHub이 전 세계 고객에게 제공하는 기타 애플리케이션 보안 제품을 구동하는 표준 CodeQL 라이브러리와 쿼리가 포함되어 있습니다. CodeQL을 배우고 쿼리를 실행하려면 어떻게 해야 하나요? CodeQL 언어, Visual Studio Code용 CodeQL 확장을 사용한 CodeQL 작성, CodeQL CLI 사용에 대한 광범위한 문서가 있습니다. 기여하기 표준 라이브러리와 표준 검사에 대한 기여를 환영합니다. 새로운 검사에 대한 아이디어나 기존 쿼리를...

vulnhawk

Сканер безопасности кода на базе ИИ, который находит уязвимости, пропущенные Semgrep и CodeQL. Быстрый старт • GitHub Action • Сравнение • Языки • FAQ Проблема Традиционные SAST-инструменты полагаются на сопоставление шаблонов и правила AST. Они отлично справляются с обнаружением известных шаблон...

Vulnhalla

Vulnhalla Автоматизированный анализ CodeQL с классификацией на основе LLM Подробный обзор исследования и мотивации Vulnhalla — в официальном блоге CyberArk Threat Research: Vulnhalla: Выбирая истинные уязвимости из стога сена CodeQL Vulnhalla автоматизирует полный конвейер анализа безопасности: 1...

malwoverview

Malwoverview !Alt...

PcapPlusPlus

⚠️ Внимание: Этот перевод поддерживается и синхронизируется с помощью AI. Он может отличаться от последней английской версии. Если вы обнаружите ошибки, пожалуйста, создайте GitHub issue или отправьте PR...

QLinspector

QLinspector CodeQL로 Java/C 가젯 체인gadget chain 찾기. 자세한 내용은 아티클에서 확인하세요. 설치 저장소를 클론합니다. root@kitploit: $ git clone https://github.com/synacktiv/QLinspector.git 가젯 검색: root@kitploit: $ codeql database analyze log4j --format=sarif-latest --output=log4j.sarif --search-path=./QLinspector/...

TOP

TOP all Top Top TopCodeql TOP すべてのバグバウンティ ペネトレーションテスト CVE-2022- POC Exp の話題 目次 2026年 トップ合計30 2025年 トップ合計30 2024年 トップ合計30 2023年 トップ合計30 2022年 トップ合計30 2021年 トップ合計30 2020年 トップ合計30 2019年 トップ合計30 2018年 トップ合計30 2026 2025 2024 2022 2021 2020 2018 2017 寄付 Wechat Pay| AliPay| Paypal| BTC Pay| BCH Pay...

securitylab

GitHub Security Lab 이곳은 GitHub Security Lab의 주요 git 저장소입니다. 다음과 같은 주요 목적으로 사용합니다: 커뮤니티와 문서에서 보안 연구 및 취약점 공개에 대한 모범 사례를 공유합니다. CodeQL 현상금 요청을 추적하기 위해 이 저장소의 이슈를 사용합니다. 취약점이 수정된 후 일부 개념 증명proof-of-concept 익스플로잇을 게시하는 데 사용합니다. 이러한 PoC는 SecurityExploits 하위 디렉터리에서 찾을 수 있습니다. CodeQL 쿼리 예제는 CodeQLQuerie...

scorecard

OpenSSF Scorecard...

codeql-buffer-overflow-variant

codeql-buffer-overflow-variant pppd의 함수 이름, 호출 깊이, 디스패치 구조를 전혀 공유하지 않는 프로그램에서 CVE-2020-8597 — pppd EAP rhostname 스택 버퍼 오버플로CWE-120 — 의 버그 클래스 를 재현한, 의도적으로 취약한 약 170줄짜리 C 프로그램으로, CodeQL 정적 분석 타깃 으로 사용됩니다. 목표는 일반성 테스트 입니다. pppd 버그를 잡기 위해 작성된 CodeQL 쿼리가 수정 없이 이 프로그램에서도 발동해야 합니다. 그렇다면 그 쿼리는 원본 코드의 형태...

tcpreplay

Tcpreplay...

C0deVari4nt

C0deVari4nt Описание C0deVari4nt — это инструмент для анализа вариантов и визуализации, который проверяет кодовые базы на наличие схожих уязвимостей. Он использует CodeQL — семантический движок анализа кода, для выполнения запросов к коду на основе шаблонов запросов CodeQL, управляемых...

autoharness

AutoHarness 제작: Akshat Parikh 이 도구는 무엇인가요? AutoHarness는 퍼징 하니스를 자동으로 생성하는 도구입니다. 이 아이디어는 현재 퍼징 코드베이스에서 발생하는 문제에서 비롯되었습니다. 큰 코드베이스에는 수천 개의 함수와 코드 조각이 있으며, 이들은 라이브러리 깊숙이 내장되어 있습니다. 스마트 퍼저가 해당 코드 경로에 도달하는 것은 매우 어렵거나 때로는 불가능합니다. oss-fuzz와 같은 대규모 퍼징 프로젝트에서도 여전히 퍼징으로 커버되지 않는 코드베이스 부분이 있습니다. 따라서 이 프로그램은...

slides

슬라이드 컨퍼런스| 연도| 제목| 설명 ---|---|---|--- Zer0Con| 2023| CodeQL + DTrace = 💧🐞 in XNU| CodeQL을 사용해 XNU에서 여러 메모리 정보 노출을 찾는 방법...

CVE-2026-89725 media: cec: stm32: prevent out-of-bounds write on RX overflow

In the Linux kernel, the following vulnerability has been resolved: media: cec: stm32: prevent out-of-bounds write on RX overflow stm32rxdone appends each received CEC byte to rxmsg.msg using rxmsg.len as the write index, incrementing it on every RXBR receive-byte-ready interrupt without checking...

ipmap

English readme • 简体中文 readme • 正體中文 readme • Lengua española readme • Deutsche readme • Svenska readme • 한국어 readme • Français readme • हिन्दी readme • Português readme • • • • • • •...

qlcoder

QLCoder CodeQL 쿼리 합성을 위한 에이전트 기반 프레임워크 목차 개요 설치 Docker 권장 네이티브 Linux 사용법 빠른 시작 개발 도구 예시 논문 환경 기여 팀 인용 관련 프로젝트 개요 QLCoder는 LLM을 사용하여 취약점 탐지를 위한 종단 간 CodeQL 쿼리를 합성하는 프레임워크입니다. 기존 CVE의 메타데이터, LLM, 코딩 에이전트가 주어지면 QLCoder는 기존 CVE를 탐지하기 위한 CodeQL 쿼리를 반복적으로 합성합니다. 시작 쿼리는 diff의 추출된 AST로 채워진 CodeQL 경로 쿼리...

codeql-sample-polkit

-- coding: utf-8 - - polkit pkexec 버그 개요 이 저장소는 CodeQL을 사용하여 polkit pkexec 버그를 분석합니다. 다음을 포함합니다: 데이터베이스 구축 지침 결과 데이터베이스 이 버그를 찾는 접근 방식을 보여주는 일련의 쿼리 완료된 작업: polkit 소스 / 데이터베이스 구축 취약한 소스에 대한 codeql 쿼리 CFG 설명 남은 작업: 패치된 소스도 처리하도록 codeql 쿼리 개선 명령줄 지침 버그 Polkit pkexec 버그...

CVE-2022-2869-detector

CVE-2022-2869 CodeQL 탐지기 이 프로젝트는 CVE-2022-2869의 근본 취약점부호 없는 뺄셈이 산술 연산 전에 충분한 하한/순서 가드를 설정하지 않아 언더플로가 발생할 수 있는 문제에 대한 일반적인 CodeQL 탐지기를 구현합니다. 이 버전이 이전 쿼리와 다른 이유 이 탐지기는 tiffcrop.c, 함수 이름 또는 변수 이름을 하드코딩하는 대신 근본 원인CWE-191 을 의도적으로 보고합니다. 가드 추론이 제어 흐름/범위 분석에 기반한 CodeQL의 표준 Overflow 라이브러리를 사용합니다. 제어 흐름 ...