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 Требования к сборке...

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