Author:
Gharat Pritam M.,Khedker Uday P.,Mycroft Alan
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Lecture Notes in Computer Science;D Beyer,2007
2. Dillig, I., Dillig, T., Aiken, A.: Sound, complete and scalable path-sensitive analysis. In: Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2008. ACM, New York (2008)
3. Lecture Notes in Computer Science;Y Feng,2015
4. Gharat, P.M., Khedker, U.P.: Flow and context sensitive points-to analysis using generalized points-to graphs. CoRR (2016). arXiv:1603.09597
5. Lecture Notes in Computer Science;S Gulwani,2007
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Annotating, Tracking, and Protecting Cryptographic Secrets with CryptoMPK;2022 IEEE Symposium on Security and Privacy (SP);2022-05
2. Accelerating Data-Flow Analysis with Full-Partitioning;2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom);2021-09
3. Generalized Points-to Graphs;ACM Transactions on Programming Languages and Systems;2020-06-30