Copertina

UBfuzz: Finding Bugs in Sanitizer Implementations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Li, Shaohua, Su, Zhendong
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security Programming Languages Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

SAND: Decoupling Sanitization from Fuzzing for Low Overhead
di: Kong, Ziqiao, et al.
Pubblicazione: (2024)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
di: Hochrainer, Christoph, et al.
Pubblicazione: (2025)

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

Translating C To Rust: Lessons from a User Study
di: Li, Ruishi, et al.
Pubblicazione: (2024)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
di: Li, Ziyang, et al.
Pubblicazione: (2024)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
di: Wang, Claire, et al.
Pubblicazione: (2025)

Demystifying Invariant Effectiveness for Securing Smart Contracts
di: Chen, Zhiyang, et al.
Pubblicazione: (2024)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
di: Chen, Zhiyang, et al.
Pubblicazione: (2024)

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
di: Khare, Avishree, et al.
Pubblicazione: (2023)

HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
di: Zhang, Yiyu, et al.
Pubblicazione: (2024)

YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group
di: Wang, Yayi, et al.
Pubblicazione: (2026)

Static Deadlock Detection for Rust Programs
di: Zhang, Yu, et al.
Pubblicazione: (2024)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
di: Wang, Sally Junsong, et al.
Pubblicazione: (2024)

Dynamic Taint Tracking using Partial Instrumentation for Java Applications
di: Thakur, Manoj RameshChandra
Pubblicazione: (2024)

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

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
di: Tempel, Sören, et al.
Pubblicazione: (2024)

From Solitary Directives to Interactive Encouragement! LLM Secure Code Generation by Natural Language Prompting
di: Liu, Shigang, et al.
Pubblicazione: (2024)

Yaksha-Prashna: Understanding eBPF Bytecode Network Function Behavior
di: Singh, Animesh, et al.
Pubblicazione: (2026)

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis
di: Shi, Qingkai, et al.
Pubblicazione: (2023)

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

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
di: Arquint, Linard, et al.
Pubblicazione: (2025)

A Broad Comparative Evaluation of Software Debloating Tools
di: Brown, Michael D., et al.
Pubblicazione: (2023)

iResolveX: Multi-Layered Indirect Call Resolution via Static Reasoning and Learning-Augmented Refinement
di: Santra, Monika, et al.
Pubblicazione: (2026)

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus
di: Sharp, Toby
Pubblicazione: (2025)

Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-Procedural Path-Sensitive Taint Analysis
di: Ji, Yuchen, et al.
Pubblicazione: (2025)

An Empirical Study of Bitwise Operators Intuitiveness through Performance Metrics
di: Joshi, Shubham
Pubblicazione: (2025)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
di: Abdelrazek, Zeyad, et al.
Pubblicazione: (2026)

LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models
di: Chen, Hongbo, et al.
Pubblicazione: (2024)

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

HyperPUT: Generating Synthetic Faulty Programs to Challenge Bug-Finding Tools
di: Felici, Riccardo, et al.
Pubblicazione: (2022)

Tech-ASan: Two-stage check for Address Sanitizer
di: Cao, Yixuan, et al.
Pubblicazione: (2025)

PROMFUZZ: Leveraging LLM-Driven and Bug-Oriented Composite Analysis for Detecting Functional Bugs in Smart Contracts
di: Lin, Xingshuang, et al.
Pubblicazione: (2025)

Hunting CUDA Bugs at Scale with cuFuzz
di: ziad, Mohamed Tarek Ibn, et al.
Pubblicazione: (2026)

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

DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models
di: Berabi, Berkay, et al.
Pubblicazione: (2024)

Inferring Properties of Graph Neural Networks
di: Nguyen, Dat, et al.
Pubblicazione: (2024)

Arbiter: Detecting Interference in LLM Agent System Prompts
di: Mason, Tony
Pubblicazione: (2026)

I still know it's you! On Challenges in Anonymizing Source Code
di: Horlboge, Micha, et al.
Pubblicazione: (2022)

Large Language Models for Code: Security Hardening and Adversarial Testing
di: He, Jingxuan, et al.
Pubblicazione: (2023)

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