ConcoLLMic

ConcoLLMic: 에이전틱 콘콜릭 실행 논문 : IEEE S&P 2026 ConcoLLMic은 LLM 에이전트로 구동되는 최초의 언어 및 이론에 구애받지 않는 콘콜릭 실행기입니다. 기존의 언어별 구현이 필요하고 제약 조건 해결에 어려움을 겪는 전통적인 기호 실행 도구와 달리, ConcoLLMic은 다음과 같은 특징을 가집니다: 모든 프로그래밍 언어 및 환경 상호작용과 함께 작동 — C, C++, Python, Java, ... 및 다중 언어 시스템을 지원하며, 추가적인 환경 모델링이 필요 없고 효율적으로 처리합니다. 다양한...

Angora

Angora Angora는 변이mutation 기반 커버리지 가이드 퍼저입니다. Angora의 주요 목표는 기호 실행symbolic execution 없이 경로 제약 조건을 해결하여 브랜치 커버리지를 높이는 것입니다. 발표 논문 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을...

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