Rountev, A., Ryder, B.G., 2000. Points-to and Side-effect Analyses for Programs Built with Precompiled Libraries.. https://doi.org/10.7282/t3n301mh