Targeted Fuzzing for Unsafe Rust Code: Leveraging Selective Instrumentation
Fuente:
arXiv
Guardado en:
| Autores principales: | Paaßen, David, Giesen, Jens-Rene, Davi, Lucas |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Fuzz on the Beach: Fuzzing Solana Smart Contracts
por: Smolka, Sven, et al.
Publicado: (2023)
por: Smolka, Sven, et al.
Publicado: (2023)
HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts
por: Giesen, Jens-Rene, et al.
Publicado: (2022)
por: Giesen, Jens-Rene, et al.
Publicado: (2022)
SandCell: Sandboxing Rust Beyond Unsafe Code
por: Zhang, Jialun, et al.
Publicado: (2025)
por: Zhang, Jialun, et al.
Publicado: (2025)
SseRex: Practical Symbolic Execution of Solana Smart Contracts
por: Cloosters, Tobias, et al.
Publicado: (2026)
por: Cloosters, Tobias, et al.
Publicado: (2026)
Defying the Odds: Solana's Unexpected Resilience in Spite of the Security Challenges Faced by Developers
por: Andreina, Sébastien, et al.
Publicado: (2024)
por: Andreina, Sébastien, et al.
Publicado: (2024)
Rust and Go directed fuzzing with LibAFL-DiFuzz
por: Mezhuev, Timofey, et al.
Publicado: (2026)
por: Mezhuev, Timofey, et al.
Publicado: (2026)
Fast Summary-based Whole-program Analysis to Identify Unsafe Memory Accesses in Rust
por: Zhou, Jie, et al.
Publicado: (2023)
por: Zhou, Jie, et al.
Publicado: (2023)
SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
por: Braunsdorf, Oliver, et al.
Publicado: (2025)
por: Braunsdorf, Oliver, et al.
Publicado: (2025)
LiteRSan: Lightweight Memory Safety Via Rust-specific Program Analysis and Selective Instrumentation
por: Xia, Tianrou, et al.
Publicado: (2025)
por: Xia, Tianrou, et al.
Publicado: (2025)
SoK: Where to Fuzz? Assessing Target Selection Methods in Directed Fuzzing
por: Weissberg, Felix, et al.
Publicado: (2025)
por: Weissberg, Felix, et al.
Publicado: (2025)
Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust
por: Gülmez, Merve, et al.
Publicado: (2023)
por: Gülmez, Merve, et al.
Publicado: (2023)
SynFuzz: Leveraging Fuzzing of Netlist to Detect Synthesis Bugs
por: Saravanan, Raghul, et al.
Publicado: (2025)
por: Saravanan, Raghul, et al.
Publicado: (2025)
Toward Unbiased Multiple-Target Fuzzing with Path Diversity
por: Rong, Huanyao, et al.
Publicado: (2023)
por: Rong, Huanyao, et al.
Publicado: (2023)
FuzzBox: Blending Fuzzing into Emulation for Binary-Only Embedded Targets
por: Cesarano, Carmine, et al.
Publicado: (2025)
por: Cesarano, Carmine, et al.
Publicado: (2025)
Enhancing Fuzz Testing Efficiency through Automated Fuzz Target Generation
por: Tran, Chi Thien
Publicado: (2026)
por: Tran, Chi Thien
Publicado: (2026)
MirrorFuzz: Leveraging LLM and Shared Bugs for Deep Learning Framework APIs Fuzzing
por: Ou, Shiwen, et al.
Publicado: (2025)
por: Ou, Shiwen, et al.
Publicado: (2025)
ReFuzz: Reusing Tests for Processor Fuzzing with Contextual Bandits
por: Chen, Chen, et al.
Publicado: (2025)
por: Chen, Chen, et al.
Publicado: (2025)
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
por: Michael, Alexandra E., et al.
Publicado: (2022)
por: Michael, Alexandra E., et al.
Publicado: (2022)
GoldenFuzz: Generative Golden Reference Hardware Fuzzing
por: Wu, Lichao, et al.
Publicado: (2025)
por: Wu, Lichao, et al.
Publicado: (2025)
EmbedFuzz: High Speed Fuzzing Through Transplantation
por: Hofhammer, Florian, et al.
Publicado: (2024)
por: Hofhammer, Florian, et al.
Publicado: (2024)
CuFuzz: Hardening CUDA Programs through Transformation and Fuzzing
por: Singh, Saurabh, et al.
Publicado: (2026)
por: Singh, Saurabh, et al.
Publicado: (2026)
G-Fuzz: A Directed Fuzzing Framework for gVisor
por: Li, Yuwei, et al.
Publicado: (2024)
por: Li, Yuwei, et al.
Publicado: (2024)
Following Dragons: Code Review-Guided Fuzzing
por: Luu, Viet Hoang, et al.
Publicado: (2026)
por: Luu, Viet Hoang, et al.
Publicado: (2026)
Poster: Machine Learning for Vulnerability Detection as Target Oracle in Automated Fuzz Driver Generation
por: Castiglione, Gianpietro, et al.
Publicado: (2025)
por: Castiglione, Gianpietro, et al.
Publicado: (2025)
SysFuSS: System-Level Firmware Fuzzing with Selective Symbolic Execution
por: Tharindu, Dakshina, et al.
Publicado: (2026)
por: Tharindu, Dakshina, et al.
Publicado: (2026)
zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits
por: Takahashi, Hideaki, et al.
Publicado: (2025)
por: Takahashi, Hideaki, et al.
Publicado: (2025)
LibAFL-DiFuzz: Advanced Architecture Enabling Directed Fuzzing
por: Parygina, Darya, et al.
Publicado: (2024)
por: Parygina, Darya, et al.
Publicado: (2024)
deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses
por: Androutsopoulos, Georgios, et al.
Publicado: (2025)
por: Androutsopoulos, Georgios, et al.
Publicado: (2025)
FuzzSense: Towards A Modular Fuzzing Framework for Autonomous Driving Software
por: Roberts, Andrew, et al.
Publicado: (2025)
por: Roberts, Andrew, et al.
Publicado: (2025)
E-FuzzEdge: Optimizing Embedded Device Security with Scalable In-Place Fuzzing
por: Rusconi, Davide, et al.
Publicado: (2025)
por: Rusconi, Davide, et al.
Publicado: (2025)
WhisperFuzz: White-Box Fuzzing for Detecting and Locating Timing Vulnerabilities in Processors
por: Borkar, Pallavi, et al.
Publicado: (2024)
por: Borkar, Pallavi, et al.
Publicado: (2024)
An Empirical Security Evaluation of LLM-Generated Cryptographic Rust Code
por: Elsayed, Mohamed, et al.
Publicado: (2026)
por: Elsayed, Mohamed, et al.
Publicado: (2026)
Hybrid Approach to Directed Fuzzing
por: Parygina, Darya, et al.
Publicado: (2025)
por: Parygina, Darya, et al.
Publicado: (2025)
Fuzzing BusyBox: Leveraging LLM and Crash Reuse for Embedded Bug Unearthing
por: Asmita, et al.
Publicado: (2024)
por: Asmita, et al.
Publicado: (2024)
SAFuzz: Semantic-Guided Adaptive Fuzzing for LLM-Generated Code
por: Yang, Ziyi, et al.
Publicado: (2026)
por: Yang, Ziyi, et al.
Publicado: (2026)
Prompt Fuzzing for Fuzz Driver Generation
por: Lyu, Yunlong, et al.
Publicado: (2023)
por: Lyu, Yunlong, et al.
Publicado: (2023)
KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
por: Liu, Yuwei, et al.
Publicado: (2026)
por: Liu, Yuwei, et al.
Publicado: (2026)
Fuzzing at Scale: The Untold Story of the Scheduler
por: Nikolic, Ivica, et al.
Publicado: (2024)
por: Nikolic, Ivica, et al.
Publicado: (2024)
Bringing Rust to Safety-Critical Systems in Space
por: Seidel, Lukas, et al.
Publicado: (2024)
por: Seidel, Lukas, et al.
Publicado: (2024)
NecoFuzz: Effective Fuzzing of Nested Virtualization via Fuzz-Harness Virtual Machines
por: Ishii, Reima, et al.
Publicado: (2025)
por: Ishii, Reima, et al.
Publicado: (2025)
Ejemplares similares
-
Fuzz on the Beach: Fuzzing Solana Smart Contracts
por: Smolka, Sven, et al.
Publicado: (2023) -
HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts
por: Giesen, Jens-Rene, et al.
Publicado: (2022) -
SandCell: Sandboxing Rust Beyond Unsafe Code
por: Zhang, Jialun, et al.
Publicado: (2025) -
SseRex: Practical Symbolic Execution of Solana Smart Contracts
por: Cloosters, Tobias, et al.
Publicado: (2026) -
Defying the Odds: Solana's Unexpected Resilience in Spite of the Security Challenges Faced by Developers
por: Andreina, Sébastien, et al.
Publicado: (2024)