Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Diamantakis, Panagiotis, Avgerinos, Thanassis, Smaragdakis, Yannis
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Quantitative Symbolic Patch Impact Analysis
por: Sarker, Laboni, et al.
Publicado: (2026)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
por: Saumya, Charitha, et al.
Publicado: (2023)

NESA: Relational Neuro-Symbolic Static Program Analysis
por: Wang, Chengpeng, et al.
Publicado: (2024)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
por: Zhang, Jiahao, et al.
Publicado: (2025)

Multi-Pass Targeted Dynamic Symbolic Execution
por: Yavuz, Tuba
Publicado: (2024)

Efficient Symbolic Execution of Software under Fault Attacks
por: Fang, Yuzhou, et al.
Publicado: (2025)

Python Symbolic Execution with LLM-powered Code Generation
por: Wang, Wenhan, et al.
Publicado: (2024)

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
por: Antoniadis, Anastasios, et al.
Publicado: (2025)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
por: Marron, Mark
Publicado: (2024)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
por: Bouras, Dimitrios Stamatios, et al.
Publicado: (2026)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
por: Feng, Rong, et al.
Publicado: (2025)

Etna: An Evaluation Platform for Property-Based Testing
por: Keles, Alperen, et al.
Publicado: (2026)

Understanding and Detecting Platform-Specific Violations in Android Auto Apps
por: Fakorede, Moshood, et al.
Publicado: (2025)

Developing Accessible Mobile Applications with Cross-Platform Development Frameworks
por: Mascetti, Sergio, et al.
Publicado: (2020)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
por: Liu, Peipei, et al.
Publicado: (2025)

Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
por: Stemmler, Fabian, et al.
Publicado: (2025)

A Trace-based Approach for Code Safety Analysis
por: Xu, Hui
Publicado: (2025)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
por: Rak-amnouykit, Ingkarat, et al.
Publicado: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
por: Ferreiro, Daniela, et al.
Publicado: (2025)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
por: Zhang, Bowen, et al.
Publicado: (2024)

Teaching LLMs Program Semantics via Symbolic Execution Traces
por: Bayer, Jonas, et al.
Publicado: (2026)

An Incremental Algorithm for Algebraic Program Analysis
por: Zhou, Chenyu, et al.
Publicado: (2024)

Challenges of Multilingual Program Specification and Analysis
por: Furia, Carlo A., et al.
Publicado: (2024)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
por: Xie, Xiaoheng, et al.
Publicado: (2024)

Try-Mopsa: Relational Static Analysis in Your Pocket
por: Monat, Raphaël
Publicado: (2025)

On the Anatomy of Real-World R Code for Static Analysis
por: Sihler, Florian, et al.
Publicado: (2024)

Automated Code Repair for C/C++ Static Analysis Alerts
por: Svoboda, David, 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)

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
por: Zakharov, Vladimir, et al.
Publicado: (2024)

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

An Enumerative Embedding of the Python Type System in ACL2s
por: Xifaras, Samuel, et al.
Publicado: (2025)

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
por: Zhao, Pinhan, et al.
Publicado: (2025)

A Shallow Embedding of Datalog in Lean
por: Shahin, Ramy
Publicado: (2026)

A New Generation of Intelligent Development Environments
por: Marron, Mark
Publicado: (2024)

A Roadmap for Tamed Interactions with Large Language Models
por: Scotti, Vincenzo, et al.
Publicado: (2025)

EATXT: A textual concrete syntax for EAST-ADL
por: Zhang, Weixing, et al.
Publicado: (2024)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
por: Zhu, Qian, et al.
Publicado: (2025)

React-tRace: A Semantics for Understanding React Hooks
por: Lee, Jay, et al.
Publicado: (2025)

Stellis: A Strategy Language for Purifying Separation Logic Entailments
por: Wang, Zhiyi, et al.
Publicado: (2025)

A Conceptual Framework for API Refactoring in Enterprise Application Architectures
por: Montesi, Fabrizio, et al.
Publicado: (2024)