Image de couverture de livre

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Diamantakis, Panagiotis, Avgerinos, Thanassis, Smaragdakis, Yannis
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Quantitative Symbolic Patch Impact Analysis
par: Sarker, Laboni, et autres
Publié: (2026)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
par: Saumya, Charitha, et autres
Publié: (2023)

NESA: Relational Neuro-Symbolic Static Program Analysis
par: Wang, Chengpeng, et autres
Publié: (2024)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
par: Zhang, Jiahao, et autres
Publié: (2025)

Multi-Pass Targeted Dynamic Symbolic Execution
par: Yavuz, Tuba
Publié: (2024)

Efficient Symbolic Execution of Software under Fault Attacks
par: Fang, Yuzhou, et autres
Publié: (2025)

Python Symbolic Execution with LLM-powered Code Generation
par: Wang, Wenhan, et autres
Publié: (2024)

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
par: Antoniadis, Anastasios, et autres
Publié: (2025)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
par: Marron, Mark
Publié: (2024)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
par: Bouras, Dimitrios Stamatios, et autres
Publié: (2026)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
par: Feng, Rong, et autres
Publié: (2025)

Etna: An Evaluation Platform for Property-Based Testing
par: Keles, Alperen, et autres
Publié: (2026)

Understanding and Detecting Platform-Specific Violations in Android Auto Apps
par: Fakorede, Moshood, et autres
Publié: (2025)

Developing Accessible Mobile Applications with Cross-Platform Development Frameworks
par: Mascetti, Sergio, et autres
Publié: (2020)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
par: Liu, Peipei, et autres
Publié: (2025)

Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
par: Stemmler, Fabian, et autres
Publié: (2025)

A Trace-based Approach for Code Safety Analysis
par: Xu, Hui
Publié: (2025)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
par: Rak-amnouykit, Ingkarat, et autres
Publié: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
par: Ferreiro, Daniela, et autres
Publié: (2025)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
par: Zhang, Bowen, et autres
Publié: (2024)

Teaching LLMs Program Semantics via Symbolic Execution Traces
par: Bayer, Jonas, et autres
Publié: (2026)

An Incremental Algorithm for Algebraic Program Analysis
par: Zhou, Chenyu, et autres
Publié: (2024)

Challenges of Multilingual Program Specification and Analysis
par: Furia, Carlo A., et autres
Publié: (2024)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
par: Xie, Xiaoheng, et autres
Publié: (2024)

Try-Mopsa: Relational Static Analysis in Your Pocket
par: Monat, Raphaël
Publié: (2025)

On the Anatomy of Real-World R Code for Static Analysis
par: Sihler, Florian, et autres
Publié: (2024)

Automated Code Repair for C/C++ Static Analysis Alerts
par: Svoboda, David, et autres
Publié: (2025)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
par: Tempel, Sören, et autres
Publié: (2024)

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
par: Zakharov, Vladimir, et autres
Publié: (2024)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
par: Abdelrazek, Zeyad, et autres
Publié: (2026)

An Enumerative Embedding of the Python Type System in ACL2s
par: Xifaras, Samuel, et autres
Publié: (2025)

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
par: Zhao, Pinhan, et autres
Publié: (2025)

A Shallow Embedding of Datalog in Lean
par: Shahin, Ramy
Publié: (2026)

A New Generation of Intelligent Development Environments
par: Marron, Mark
Publié: (2024)

A Roadmap for Tamed Interactions with Large Language Models
par: Scotti, Vincenzo, et autres
Publié: (2025)

EATXT: A textual concrete syntax for EAST-ADL
par: Zhang, Weixing, et autres
Publié: (2024)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
par: Zhu, Qian, et autres
Publié: (2025)

React-tRace: A Semantics for Understanding React Hooks
par: Lee, Jay, et autres
Publié: (2025)

Stellis: A Strategy Language for Purifying Separation Logic Entailments
par: Wang, Zhiyi, et autres
Publié: (2025)

A Conceptual Framework for API Refactoring in Enterprise Application Architectures
par: Montesi, Fabrizio, et autres
Publié: (2024)