Lu Maltsis · 2026 · ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH)
DOI: 10.1145/3837729.3839574 · cited by 0 works (OpenAlex) · open-access PDF
Fuzzing tìm thấy lỗi bằng cách kiểm tra hành vi phần mềm với khối lượng đầu vào cao. Để tạo đầu vào có giá trị ngữ nghĩa cho các mục tiêu khác nhau, fuzzers truyền thống đòi hỏi nỗ lực kỹ thuật đáng kể. Các cách tiếp cận fuzzing dựa trên LLM có thể được điều chỉnh để tạo đầu vào cho một loạt các phần mềm nhưng giới thiệu các vấn đề mới: mỗi bài kiểm tra cần một truy vấn LLM, hy sinh tốc độ của fuzzing truyền thống. Chúng tôi giới thiệu Typed Template Fuzzing (TTF). Nó sử dụng LLMs trong một bước xử lý trước để tạo ra các mẫu mã hóa thông tin ngữ nghĩa của các tập tin hạt giống. Các mẫu này cho phép đột biến nhận thức ngữ nghĩa mà không cần phân tích, kiểm tra kiểu, hoặc các truy vấn LLM hơn nữa. Chúng tôi đã triển khai TTF trong công cụ Typos của chúng
Machine translation (Meta M2M100); the English original follows.
Fuzzing finds bugs by testing software behavior with high volumes of input. To create semantically valid inputs for different targets, traditional fuzzers require significant engineering effort. LLM-based fuzzing approaches can be adapted to create inputs for a wide range of software but introduce new issues: every test needs an LLM query, sacrificing the speed of traditional fuzzing. We introduce Typed Template Fuzzing (TTF). It uses LLMs in a preprocessing step to create templates which encode semantic information of seed files. These templates enable semantically-aware mutations without the need for a parser, type-checker, or further LLM queries. We have implemented TTF in our tool Typos. Using Typos we have run a five-month fuzzing campaign, finding 97 previously undiscovered bugs. Typos achieves a 94.7% rate of valid inputs across a wide range of formats including SMT-LIB2, C, C++, Go, Rust, SystemVerilog, Scala, Java, and domain-specific libraries such as PyTorch and Qiskit.
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
Topics: Fuzz testing, Computer science, Preprocessor, Template, Software, Programming language
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.31342, 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