MATE

MATE MATEは、CおよびC++コードのバグの検出に焦点を当てたインタラクティブなプログラム解析ツール群です。 MATEは、コードプロパティグラフ（CPG）を用いてアプリケーション固有の脆弱性解析と低レベルの脆弱性解析を統合し、 実装の詳細とターゲットとなるC/C++プログラムの高レベルセマンティクスの両方に依存する、 高度にアプリケーション固有の脆弱性の発見を可能にします。これらは 実装の詳細とターゲットとなるC/C++プログラムの高レベルセマンティクスの両方に依存します。 詳細については、オンラインドキュメントを参照してください。 謝辞 この資料は、アメリカ空軍および...

joern

Joern Query Database "Joern-Scan" This is the central query database for the open-source code analysis platform Joern. It has two purposes: It provides the batteries required to turn Joern into a ready-to-run code scanning tool. Its queries serve as examples useful for those looking to write thei...

Securing the Dark Matter: A Semantic-Enhanced Neuro-Symbolic Framework for Supply Chain Analysis of Opaque Industrial Software

Automated vulnerability detection in critical-infrastructure software confronts a fundamental barrier: industrial software is routinely deployed as stripped, symbol-free binaries that deprive conventional Software Composition Analysis of the source-level transparency it requires. Existing binary...

Explainable Vulnerability Detection in C/C++ Using Edge-Aware Graph Attention Networks

Detecting security vulnerabilities in source code remains challenging, particularly due to class imbalance in real-world datasets where vulnerable functions are under-represented. Existing learning-based methods often optimise for recall, leading to high false positive rates and reduced usability...

LLMxCPG: Context-Aware Vulnerability Detection through Code Property Graph-Guided Large Language Models

Software vulnerabilities present a persistent security challenge, with over 25,000 new vulnerabilities reported in the Common Vulnerabilities and Exposures CVE database in 2024 alone. While deep learning based approaches show promise for vulnerability detection, recent studies reveal critical...