Possible Value Analysis based on Symbolic Lattice
Software Engineering
2024-05-03 v1
Abstract
We propose a new static program analysis called program behavior analysis. The analysis aims to calculate possible symbolic expressions for every variable at each program point. We design a new lattice, transfer function, and widening operator to accommodate the analysis. Furthermore, we extend the analysis to interprocedural.
Cite
@article{arxiv.2405.01369,
title = {Possible Value Analysis based on Symbolic Lattice},
author = {Qi Zhan},
journal= {arXiv preprint arXiv:2405.01369},
year = {2024}
}