~/talk

ClearAgent: Agentic Binary Analysis for Effective Vulnerability Detection

Talkat LMPL 2025 · 2025-10-12..10-18· [security, ai-assisted-development]
links:none on file
links:none on file
links:none on file
links:none on file
slides:none on file

ClearAgent builds an agentic binary-analysis pipeline that wires LLMs to a binary language server and a context manager, using a symbolic lifter (plankton) plus Ghidra-style tools to lift binaries to disassembly, IR, and decompiled pseudocode. It iteratively queries those formats, finds 19 CTF-style bugs with comparable results to state-of-the-art agents, reproduces a historical IoT CVE by synthesizing a concrete exploit input, and emits PoC scripts; remaining failure modes include inaccurate IR and unresolved indirect-call targets.

AI-written summary · about

  1. 0:00ClearAgent project intro
  2. 1:26Binary code analysis challenges
  3. 2:29Agentic paradigm for analysis
  4. 3:32Limitations of existing agents
  5. 5:16ClearAgent framework overview
  6. 6:21Binary language server design
  7. 8:07Context manager for exploration
  8. 9:35CTF challenges evaluation
  9. 11:23CVE reproduction case study
  10. 12:30Future directions
  11. 13:11Q&A
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.