Possible Value Analysis based on Symbolic Lattice
<|reference_start|>Possible Value Analysis based on Symbolic Lattice: 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.<|reference_end|>
@article{zhan2024possible,
    title={Possible Value Analysis based on Symbolic Lattice},
    author={Qi Zhan},
    journal={arXiv preprint arXiv:2405.01369},
    year={2024},
    archivePrefix={arXiv},
    eprint={2405.01369},
    primaryClass={cs.SE}
}