Image de couverture de livre

Possible Value Analysis based on Symbolic Lattice

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Zhan, Qi
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

PS$^3$: Precise Patch Presence Test based on Semantic Symbolic Signature
par: Zhan, Qi, et autres
Publié: (2023)

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
par: Diamantakis, Panagiotis, et autres
Publié: (2025)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
par: Yang, Fanpeng, et autres
Publié: (2025)

Beyond Monolithic Models: Symbolic Seams for Composable Neuro-Symbolic Architectures
par: Schuler, Nicolas, et autres
Publié: (2026)

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

Prompt-based Code Completion via Multi-Retrieval Augmented Generation
par: Tan, Hanzhuo, et autres
Publié: (2024)

Verify Implementation Equivalence of Large Models
par: Zhan, Qi, et autres
Publié: (2026)

Scaling Symbolic Execution to Large Software Systems
par: Horvath, Gabor, et autres
Publié: (2024)

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

Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries
par: Wang, Yongchao, et autres
Publié: (2025)

What Could Possibly Go Wrong: Undesirable Patterns in Collective Development
par: Evtikhiev, Mikhail, et autres
Publié: (2024)

Towards Interoperability Testing of Smart Energy Systems -- An Overview and Discussion of Possibilities
par: Strasser, Thomas I., et autres
Publié: (2024)

Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems
par: Karakaya, Kadiray, et autres
Publié: (2024)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
par: Granberry, George, et autres
Publié: (2025)

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
par: Brablec, Tomáš, et autres
Publié: (2026)

UEFI Vulnerability Signature Generation using Static and Symbolic Analysis
par: Shafiuzzaman, Md, et autres
Publié: (2024)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
par: Shafiuzzaman, Md, et autres
Publié: (2026)

On the Possibility of Breaking Copyleft Licenses When Reusing Code Generated by ChatGPT
par: Colombo, Gaia, et autres
Publié: (2025)

Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)
par: Hennicker, Rolf, et autres
Publié: (2024)

Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
par: Koh, Daniel, et autres
Publié: (2025)

S$^2$F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling
par: Wang, Lianjing, et autres
Publié: (2026)

Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
par: Molinelli, Davide, et autres
Publié: (2025)

Can Large Language Models Solve Path Constraints in Symbolic Execution?
par: Wang, Wenhan, et autres
Publié: (2025)

A Learning Method for Symbolic Systems Using Large Language Models
par: Fang, Jian, et autres
Publié: (2026)

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis
par: Guo, Xiujing, et autres
Publié: (2025)

Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution
par: Yang, Shuo, et autres
Publié: (2024)

AOCI: Symbolic-Semantic Indexing for Practical Repository-Scale Code Understanding with LLMs
par: Liu, Jinshi, et autres
Publié: (2026)

NeuroFlake: A Neuro-Symbolic LLM Framework for Flaky Test Classification
par: Hoque, Khondaker Tasnia, et autres
Publié: (2026)

Can LLMs Recover Program Semantics? A Systematic Evaluation with Symbolic Execution
par: Feng, Rong, et autres
Publié: (2025)

NeuroSCA: Neuro-Symbolic Constraint Abstraction for Smart Contract Hybrid Fuzzing
par: Liang, Haochen, et autres
Publié: (2026)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
par: Zhang, Liao, et autres
Publié: (2026)

Symbol Preference Aware Generative Models for Recovering Variable Names from Stripped Binary
par: Xu, Xiangzhe, et autres
Publié: (2023)

NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
par: Chen, Jiachi, et autres
Publié: (2025)

From Symbol to Meaning: Ontological and Philosophical Reflections on Large Language Models in Information Systems Engineering
par: de Oliveira, José Palazzo Moreira
Publié: (2026)

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
par: Nitin, Vikram, et autres
Publié: (2025)

The Value of Effective Pull Request Description
par: Pirouzkhah, Shirin, et autres
Publié: (2026)

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
par: Huang, Huihui, et autres
Publié: (2026)

Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation
par: Abdullin, Azat, et autres
Publié: (2025)

PathFuzzing: Worst Case Analysis by Fuzzing Symbolic-Execution Paths
par: Chen, Zimu, et autres
Publié: (2025)

AI based Multiagent Approach for Requirements Elicitation and Analysis
par: Sami, Malik Abdul, et autres
Publié: (2024)