ConcoLLMic

ConcoLLMic: エージェントによるコンコリック実行 論文 : IEEE S&P 2026 ConcoLLMicは、LLMエージェントを活用した、言語・理論に依存しない初のコンコリック実行ツールです。従来の、言語固有の実装を必要とし制約解決に苦労するシンボリック実行ツールとは異なり、ConcoLLMicは： あらゆるプログラミング言語および環境との相互作用に対応 — C、C++、Python、Java、...、さらにはマルチ言語システムをサポート。追加の環境モデリングは不要で、効率的に処理します。 多様な制約理論を処理 —...

Angora

Angora Angora 是一个基于变异的覆盖引导模糊测试器。Angora 的主要目标是通过求解路径约束来提升分支覆盖率，而无需借助符号执行。 已发表论文 Arxiv: Angora: Efficient Fuzzing by Principled Search, S&P 2018. 构建 Angora 构建依赖 Linux-amd64（已在 Ubuntu 16.04/18.04 和 Debian Buster 上测试） Rust stable（= 1.31），可通过 rustup 获取 LLVM 4.0.0 - 12.0.1：运行 PREFIX=/path-to-install...

SysFuSS: System-Level Firmware Fuzzing with Selective Symbolic Execution

Firmware serves as the critical interface between hardware and software in computing systems, making any bugs or vulnerabilities particularly dangerous as they can cause catastrophic system failures. While fuzzing is a promising approach for identifying design flaws and security vulnerabilities,...

MultiFuzz: a Dense Retrieval-Based Multi-Agent System for Network Protocol Fuzzing

Traditional protocol fuzzing techniques, such as those employed by AFL-based systems, often lack effectiveness due to a limited semantic understanding of complex protocol grammars and rigid seed mutation strategies. Recent works, such as ChatAFL, have integrated Large Language Models LLMs to guid...

Huawei HarmonyOS 处理逻辑错误漏洞

Huawei HarmonyOS is an operating system from Huawei China. It provides a full-scenario distributed operating system based on a microkernel. A Processing Logic Error vulnerability exists in Huawei HarmonyOS, which arises from improper implementation of processing logic or incomplete branch coverag...