Siyuan Li, Jiayi Zhou, Zhiyuan Xia, Weijie Wang, Yaowen Zheng, Weiran Tang, Hong Li, Hongsong Zhu · 2026 · arXiv
DOI: 10.48550/arXiv.2610.27871 · open-access PDF
إن استخدام الكود في بيئات البرمجيات الحديثة يسهل توزيع سوءات يوم واحد، مما يخلق مخاطر أمنية كبيرة.إن تحديد ما إذا كان هناك سوءات مهم، ولكن الأساليب التقليدية تعاني من الاستخدام المحدود والواقعية، في كثير من الأحيان اعتمادًا على عملية تجميع ضعيفة.في عملنا السنوي، قدمنا Lares، أول إطار مجاني للتحقق من وجود سوءات يجمع بين النماذج الكبيرة (LLMs) مع حلول SMT.
Machine translation (Meta M2M100); the English original follows.
Code reuse in modern software ecosystems facilitates the spread of 1-day vulnerabilities, posing significant security risks. Determining if patches are present is crucial, but traditional methods suffer from limited usability and accuracy, often depending on a fragile compilation process. In our prior work, we introduced Lares, the first compilation-free framework for patch presence testing that combines large language models (LLMs) with SMT solvers. However, Lares treats the LLM and the SMT solver as two separate, parallel decision channels: the symbolic channel (Z3) succeeded in only 20% of
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.27871, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange