tema

#codeql

2 publicações marcadas com esta tag.

risco médioOS-2026-279 · 2026-08-24

ARQ usa agente de IA para corrigir falsos positivos e negativos em queries do CodeQL e acha bugs reais em libpng e zlib

O framework ARQ refina automaticamente queries do CodeQL para detecção de vulnerabilidades em C/C++, usando um loop de IA que gera programas de teste e compara a execução real deles com o veredito da query, sem precisar de datasets rotulados. O resultado foi um aumento de até 119,8% em verdadeiros positivos, correção de três issues do repositório oficial do CodeQL abertas havia até 27 meses, e a descoberta de dois bugs inéditos em libpng e zlib.

#artigo-cientifico #llm-tooling #analise-estatica #codeql #deteccao-vulnerabilidades

Fonte ↗

risco médioOS-2026-274 · 2026-08-21

Framework com três agentes de IA descobre vulnerabilidades reais em pacotes populares do PyPI

O QRS (Query, Review, Sanitize) é um framework neuro-simbólico que usa três agentes de LLM para gerar, revisar e validar consultas CodeQL automaticamente, em vez de depender de regras curadas manualmente como em ferramentas SAST tradicionais. Aplicado aos 100 pacotes mais baixados do PyPI, o sistema encontrou 41 vulnerabilidades de severidade média a alta, das quais 8 receberam CVEs novos e 4 foram reconhecidas via atualização de documentação.

#sast #descoberta-de-vulnerabilidades #llm #agentes-ia #codeql #artigo-cientifico

Fonte ↗