This paper demonstrates how to analyse soundly a Java program in the presence of dynamic class loading. The idea is to identify the “incomplete” points-to sets and also “incomplete” pointed-by sets in the presence of dynamic class loading. As one client application, the paper demonstrates how to
find more “complete” and mono call sites than the prior work then.
Hi All,
We think this earlier paper (CC'05) from our group is relevant and hope it will be included in the Soundiness Web Page. http://www.cse.unsw.edu.au/~jingling/papers/cc05.pdf
This paper demonstrates how to analyse soundly a Java program in the presence of dynamic class loading. The idea is to identify the “incomplete” points-to sets and also “incomplete” pointed-by sets in the presence of dynamic class loading. As one client application, the paper demonstrates how to find more “complete” and mono call sites than the prior work then.
Thanks