Affiliation:
1. University of Southern California, USA
2. KAIST, South Korea
Funder
National Science Foundation
Institution for Information and Communications Technology Promotion
National Research Foundation of Korea
Reference35 articles.
1. Combined Static and Dynamic Analysis
2. Strictly declarative specification of sophisticated points-to analyses
3. Efficient and extensible security enforcement using dynamic data flow analysis
4. Paul Eggert. 2010. sort: fix very-unlikely buffer overrun when merging to input file. http://git.savannah.gnu.org/cgit/coreutils.git/commit/?id=14ad7a25505ec3127cd1f07001d54d94f51f1748 Paul Eggert. 2010. sort: fix very-unlikely buffer overrun when merging to input file. http://git.savannah.gnu.org/cgit/coreutils.git/commit/?id=14ad7a25505ec3127cd1f07001d54d94f51f1748
5. Dan Ellis. 2003. Sound Examples. https://www.ee.columbia.edu/~dpwe/sounds/ Dan Ellis. 2003. Sound Examples. https://www.ee.columbia.edu/~dpwe/sounds/
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parallel program analysis on path ranges;Science of Computer Programming;2024-12
2. Learning Abstraction Selection for Bayesian Program Analysis;Proceedings of the ACM on Programming Languages;2024-04-29
3. AGORA: Automated Generation of Test Oracles for REST APIs;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
4. Parallel Program Analysis via Range Splitting;Fundamental Approaches to Software Engineering;2023
5. Striking a balance;Proceedings of the 44th International Conference on Software Engineering;2022-05-21