Imagen de Portada

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Tu, Haoxin, Jiang, Lingxiao, Böhme, Marcel
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering Cryptography and Security
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Fundamental Challenges in Cybersecurity and a Philosophy of Vulnerability-Guided Hardening
por: Böhme, Marcel
Publicado: (2024)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
por: Shafiuzzaman, Md, et al.
Publicado: (2026)

Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
por: Ma, Chengyan, et al.
Publicado: (2026)

SseRex: Practical Symbolic Execution of Solana Smart Contracts
por: Cloosters, Tobias, et al.
Publicado: (2026)

UEFI Vulnerability Signature Generation using Static and Symbolic Analysis
por: Shafiuzzaman, Md, et al.
Publicado: (2024)

SandCell: Sandboxing Rust Beyond Unsafe Code
por: Zhang, Jialun, et al.
Publicado: (2025)

FASR: Automated Identification of Unsafe Control Actions in STPA
por: Dardik, Ian, et al.
Publicado: (2026)

Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation
por: Li, Haoyu, et al.
Publicado: (2026)

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

VulnRepairEval: An Exploit-Based Evaluation Framework for Assessing Large Language Model Vulnerability Repair Capabilities
por: Wang, Weizhe, et al.
Publicado: (2025)

AgentGuard: A Multi-Agent Framework for Robust Package Confusion Detection via Hybrid Search and Metadata-Content Fusion
por: Li, Yu, et al.
Publicado: (2026)

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
por: He, Ningyu, et al.
Publicado: (2024)

Software Security Analysis in 2030 and Beyond: A Research Roadmap
por: Böhme, Marcel, et al.
Publicado: (2024)

WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts
por: Wang, Wansen, et al.
Publicado: (2024)

A Data-Mining Based Study of Security Vulnerability Types and Their Mitigation in Different Languages
por: Antal, Gábor, et al.
Publicado: (2024)

VulKey: Automated Vulnerability Repair Guided by Domain-Specific Repair Patterns
por: Li, Jia, et al.
Publicado: (2026)

SAVANT: Vulnerability Detection in Application Dependencies through Semantic-Guided Reachability Analysis
por: Lingxiang, Wang, et al.
Publicado: (2025)

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
por: Mächtle, Felix, et al.
Publicado: (2025)

On the Effectiveness of Function-Level Vulnerability Detectors for Inter-Procedural Vulnerabilities
por: Li, Zhen, et al.
Publicado: (2024)

Detecting Data Poisoning in Code Generation LLMs via Black-Box, Vulnerability-Oriented Scanning
por: Yan, Shenao, et al.
Publicado: (2026)

KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities
por: Ruan, Bonan, et al.
Publicado: (2024)

ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts
por: Zhang, Lyuye, et al.
Publicado: (2024)

HYDRA: A Hybrid Heuristic-Guided Deep Representation Architecture for Predicting Latent Zero-Day Vulnerabilities in Patched Functions
por: Farhad, Mohammad, et al.
Publicado: (2025)

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

Vulnerability-Hunter: An Adaptive Feature Perception Attention Network for Smart Contract Vulnerabilities
por: Chen, Yizhou
Publicado: (2024)

SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection
por: Wen, Xin-Cheng, et al.
Publicado: (2024)

Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation
por: Tu, Haoxin, et al.
Publicado: (2025)

An Empirical Study of Fuzz Harness Degradation
por: Görz, Philipp, et al.
Publicado: (2025)

Game Rewards Vulnerabilities: Software Vulnerability Detection with Zero-Sum Game and Prototype Learning
por: Wen, Xin-Cheng, et al.
Publicado: (2024)

ColorGo: Directed Concolic Execution
por: Li, Jia, et al.
Publicado: (2025)

Does the Vulnerability Threaten Our Projects? Automated Vulnerable API Detection for Third-Party Libraries
por: Zhang, Fangyuan, et al.
Publicado: (2024)

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
por: Huang, Huihui, et al.
Publicado: (2026)

StagedVulBERT: Multi-Granular Vulnerability Detection with a Novel Pre-trained Code Model
por: Jiang, Yuan, et al.
Publicado: (2024)

All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts
por: Sun, Tianle, et al.
Publicado: (2024)

Enhancing Pre-Trained Language Models for Vulnerability Detection via Semantic-Preserving Data Augmentation
por: Qi, Weiliang, et al.
Publicado: (2024)

VulInstruct: Teaching LLMs Root-Cause Reasoning for Vulnerability Detection via Security Specifications
por: Zhu, Hao, et al.
Publicado: (2025)

Security Is Relative: Training-Free Vulnerability Detection via Multi-Agent Behavioral Contract Synthesis
por: Wang, Yongchao, et al.
Publicado: (2026)

Semantics-Aligned, Curriculum-Driven, and Reasoning-Enhanced Vulnerability Repair Framework
por: Yang, Chengran, et al.
Publicado: (2025)

An Empirical Study on the Security Vulnerabilities of GPTs
por: Wu, Tong, et al.
Publicado: (2025)

"Elementary, My Dear Watson." Detecting Malicious Skills via Neuro-Symbolic Reasoning across Heterogeneous Artifacts
por: Wang, Shenao, et al.
Publicado: (2026)