4 matches found
ConcoLLMic
ConcoLLMic: 에이전틱 콘콜릭 실행 논문 : IEEE S&P 2026 ConcoLLMic은 LLM 에이전트로 구동되는 최초의 언어 및 이론에 구애받지 않는 콘콜릭 실행기입니다. 기존의 언어별 구현이 필요하고 제약 조건 해결에 어려움을 겪는 전통적인 기호 실행 도구와 달리, ConcoLLMic은 다음과 같은 특징을 가집니다: 모든 프로그래밍 언어 및 환경 상호작용과 함께 작동 — C, C++, Python, Java, ... 및 다중 언어 시스템을 지원하며, 추가적인 환경 모델링이 필요 없고 효율적으로 처리합니다. 다양한...
BASICS: Binary Analysis and Stack Integrity Checker System for Buffer Overflow Mitigation
Cyber-Physical Systems have played an essential role in our daily lives, providing critical services such as power and water, whose operability, availability, and reliability must be ensured. The C programming language, prevalent in CPS development, is crucial for system control where reliability...
Insecurity through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts
Most blockchains cannot hide the binary code of programs i.e., smart contracts running on them. To conceal proprietary business logic and to potentially deter attacks, many smart contracts are closed-source and employ layers of obfuscation. However, we demonstrate that such obfuscation can obscur...