Yukun Dong

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
—One of the bottlenecks in interprocedural analysis is the difficulty in handling complex parameters. This paper proposes a novel approach to solve this problem: symbolic procedure summary, which is constructed using region-based symbolic three-valued logic (RSTVL). RSTVL is a memory model that can describe memory state of variables and all kinds of(More)
  • 1