Cover Image

Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Mostovyi, Oleksandr
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security Software Engineering D.4.6; D.2.5; F.3.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LibLMFuzz: LLM-Augmented Fuzz Target Generation for Black-box Libraries
by: Hardgrove, Ian, et al.
Published: (2025)

Orion: Fuzzing Workflow Automation
by: Bazalii, Max, et al.
Published: (2025)

ClawHub Security Signals: When VirusTotal, Static Analysis, and SkillSpector Disagree
by: Koc, Vincent, et al.
Published: (2026)

CovRL: Fuzzing JavaScript Engines with Coverage-Guided Reinforcement Learning for LLM-based Mutation
by: Eom, Jueon, et al.
Published: (2024)

A Comparative Quality Metric for Untargeted Fuzzing with Logic State Coverage
by: Lee, Gwangmu
Published: (2024)

Policy as Code, Policy as Type
by: Fuchs, Matthew D.
Published: (2025)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
by: Garcia, Rémi, et al.
Published: (2024)

Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation
by: Marri, Srinivas Rao
Published: (2026)

Continuous Discovery of Vulnerabilities in LLM Serving Systems with Fuzzing
by: Zhao, Yunze, et al.
Published: (2026)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
by: Susan, Ştefan-Claudiu, et al.
Published: (2025)

Beyond Edge Coverage: Per-Task Data-Flow Extraction at Kernel Function Boundaries via LLVM
by: Kim, Yunseong
Published: (2026)

Model checking of hyperproperties for high-level relational models
by: Macedo, Nuno, et al.
Published: (2025)

Evaluating Cryptographic API Misuse Detectors for Go
by: Andersson, Vivi, et al.
Published: (2026)

Provable Repair of Deep Neural Network Defects by Preimage Synthesis and Property Refinement
by: Ma, Jianan, et al.
Published: (2025)

Firmware Distribution as Attack Surface: A Security Study of ASIC Cryptocurrency Miners
by: Pouliquen, Pierre, et al.
Published: (2026)

A Self-Improving Architecture for Dynamic Safety in Large Language Models
by: Slater, Tyler
Published: (2025)

The Range Shrinks, the Threat Remains: Re-evaluating LLM Package Hallucinations on the 2026 Frontier-Model Cohort
by: Churilov, Aleksandr
Published: (2026)

ZTD$_{JAVA}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies
by: Amusuo, Paschal C., et al.
Published: (2023)

Levels of Binary Equivalence for the Comparison of Binaries from Alternative Builds
by: Dietrich, Jens, et al.
Published: (2024)

LLM Based Input Space Partitioning Testing for Library APIs
by: Li, Jiageng, et al.
Published: (2024)

Automated Vulnerability Detection Using Deep Learning Technique
by: Yang, Guan-Yan, et al.
Published: (2024)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
by: Mitra, Joydeep, et al.
Published: (2020)

AddressWatcher: Sanitizer-Based Localization of Memory Leak Fixes
by: Murali, Aniruddhan, et al.
Published: (2024)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
by: Chen, Jinbao, et al.
Published: (2024)

FuzzRDUCC: Fuzzing with Reconstructed Def-Use Chain Coverage
by: Feng, Kai, et al.
Published: (2025)

LSPFuzz: Hunting Bugs in Language Servers
by: Zhu, Hengcheng, et al.
Published: (2025)

Hyperfuzzing: black-box security hypertesting with a grey-box fuzzer
by: Blackwell, Daniel, et al.
Published: (2023)

ETrace:Event-Driven Vulnerability Detection in Smart Contracts via LLM-Based Trace Analysis
by: Peng, Chenyang, et al.
Published: (2025)

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

FuzzPilot: Plateau-Triggered Recipe Validation for Structured Text Fuzzing
by: Yao, Zhiyi
Published: (2026)

Towards Socio-Technical Topology-Aware Adaptive Threat Detection in Software Supply Chains
by: Welsh, Thomas, et al.
Published: (2025)

Secure and Scalable Blockchain Voting: A Comparative Framework and the Role of Large Language Models
by: Kiashemshaki, Kiana, et al.
Published: (2025)

Detecting Vulnerabilities in Encrypted Software Code while Ensuring Code Privacy
by: Martins, Jorge, et al.
Published: (2025)

EXHIB: A Benchmark for Realistic and Diverse Evaluation of Function Similarity in the Wild
by: Fan, Yiming, et al.
Published: (2026)

Impact of Data Snooping on Deep Learning Models for Locating Vulnerabilities in Lifted Code
by: McCully, Gary A., et al.
Published: (2024)

Automating the Detection of Code Vulnerabilities by Analyzing GitHub Issues
by: Cipollone, Daniele, et al.
Published: (2025)

Comparing Unidirectional, Bidirectional, and Word2vec Models for Discovering Vulnerabilities in Compiled Lifted Code
by: McCully, Gary A., et al.
Published: (2024)

Bi-Directional Transformers vs. word2vec: Discovering Vulnerabilities in Lifted Compiled Code
by: McCully, Gary A., et al.
Published: (2024)

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
by: Wienczkowski, Michael
Published: (2026)

Kettle: Attested builds for verifiable software provenance
by: Asad, Amean, et al.
Published: (2026)