SymTEE combines AST slicing with LLM-generated KLEE harnesses and mock TEE environments to detect missing input validation, reporting 100% precision and 92.3% recall on 26 vulnerabilities at $0.05 average cost.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
SymTEE combines AST slicing with LLM-generated KLEE harnesses and mock TEE environments to detect missing input validation, reporting 100% precision and 92.3% recall on 26 vulnerabilities at $0.05 average cost.