TY  - RPRT
TI  - Agent-Driven Verification of Memory Safety for liblzma Decoder Components with VST
AU  - Prokhor Shlyakhtun
AU  - Alexander Gryzlov
AU  - Vladimir Kukharenko
AU  - Vasilii Nesterov
AU  - Nikolai Vasiliev
AU  - Kirill Ziborov
AU  - Eugene Zolotarev
AU  - Alex Pokras
PY  - 2026
UR  - https://arxiv.org/abs/2608.29716
ID  - 2608.29716
ER  -