Imagen de Portada

Gray-Box Fuzzing in Local Space

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Jonáš, Martin, Strejček, Jan, Trtík, Marek
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report)
por: Jonáš, Martin, et al.
Publicado: (2024)

WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
por: Yang, Chenyuan, et al.
Publicado: (2023)

OverrideFuzz: Semantic-Aware Grammar Fuzzing for Script-Runtime Vulnerabilities
por: Qiu, Yiran
Publicado: (2026)

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
por: Mahathevan, Kabilan, et al.
Publicado: (2026)

Numerical Fuzz: A Type System for Rounding Error Analysis
por: Kellison, Ariel E., et al.
Publicado: (2024)

Fuzzing: Randomness? Reasoning! Efficient Directed Fuzzing via Large Language Models
por: Feng, Xiaotao, et al.
Publicado: (2025)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
por: Xu, Yichen, et al.
Publicado: (2025)

R1-Fuzz: Specializing Language Models for Textual Fuzzing via Reinforcement Learning
por: Lin, Jiayi, et al.
Publicado: (2025)

Fuzzing Processing Pipelines for Zero-Knowledge Circuits
por: Hochrainer, Christoph, et al.
Publicado: (2024)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
por: Rowicki, Radosław Jan, et al.
Publicado: (2025)

Vbox: Efficient Black-Box Serializability Verification
por: Sun, Weihua, et al.
Publicado: (2025)

Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
por: Kong, Ziqiao, et al.
Publicado: (2025)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
por: Li, Feifei, et al.
Publicado: (2026)

RVISmith: Fuzzing Compilers for RVV Intrinsics
por: He, Yibo, et al.
Publicado: (2025)

Once4All: Skeleton-Guided SMT Solver Fuzzing with LLM-Synthesized Generators
por: Sun, Maolin, et al.
Publicado: (2025)

Probing the Design Space: Parallel Versions for Exploratory Programming
por: Beckmann, Tom, et al.
Publicado: (2025)

Deep R Programming
por: Gagolewski, Marek
Publicado: (2022)

Incremental Context-free Grammar Inference in Black Box Settings
por: Li, Feifei, et al.
Publicado: (2024)

Beyond Imprecise Distance Metrics: Trace-Guided Directed Greybox Fuzzing via LLM-Predicted Call Stacks
por: Zhang, Yifan, et al.
Publicado: (2025)

A Modular Program-Transformation Framework for Reducing Specifications to Reachability
por: Beyer, Dirk, et al.
Publicado: (2025)

Zippy -- Generic White-Box Proof Search with Zippers
por: Kappelmann, Kevin
Publicado: (2025)

Minuska: Towards a Formally Verified Programming Language Framework
por: Tušil, Jan, et al.
Publicado: (2024)

Black-Box Adversarial Attacks on LLM-Based Code Completion
por: Jenko, Slobodan, et al.
Publicado: (2024)

Numerical Superoptimization for Library Learning
por: Regehr, Jonas, et al.
Publicado: (2026)

NaN-Propagation: A Novel Method for Sparsity Detection in Black-Box Computational Functions
por: Sharpe, Peter
Publicado: (2025)

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report)
por: Holík, Lukáš, et al.
Publicado: (2025)

Local Type Inference for Context-Free Session Types
por: Almeida, Bernardo, et al.
Publicado: (2025)

Cage: Hardware-Accelerated Safe WebAssembly
por: Fink, Martin, et al.
Publicado: (2024)

State Space Estimation for DPOR-based Model Checkers(Extended Version)
por: Balasubramanian, A. R., et al.
Publicado: (2025)

Collective Allocator Abstraction to Control Object Spatial Locality in C++
por: Hideshima, Takato, et al.
Publicado: (2024)

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
por: Rose, Abhishek, et al.
Publicado: (2024)

Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language
por: Pedersen, Jan, et al.
Publicado: (2025)

Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
por: Derakhshan, Farzaneh, et al.
Publicado: (2025)

LoRe: A Programming Model for Verifiably Safe Local-First Software
por: Haas, Julian, et al.
Publicado: (2023)

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
por: Schröer, Philipp, et al.
Publicado: (2025)

Fully Symbolic Analysis of Loop Locality: Using Imaginary Reuse to Infer Real Performance
por: Zhu, Yifan, et al.
Publicado: (2026)

Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
por: Li, Tianchi, et al.
Publicado: (2026)

depyf: Open the Opaque Box of PyTorch Compiler for Machine Learning Researchers
por: You, Kaichao, et al.
Publicado: (2024)

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
por: Silva, André, et al.
Publicado: (2025)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
por: Beyer, Dirk, et al.
Publicado: (2025)