Author:
Choi Tae-Hyoung,Lee Oukseh,Kim Hyunha,Doh Kyung-Goo
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Chase, D.R., Wegman, M., Zadeck, F.K.: Analysis of pointers and structures. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 296–310. ACM Press, New York (1990)
2. Lecture Notes in Computer Science;A.S. Christensen,2003
3. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the ACM Symposium on Principles of Programming Languages, pp. 238–252 (January 1977)
4. Cousot, P., Cousot, R.: Abstract interpretation frameworks. Journal of Logic and Computation 2(4), 511–547 (1992)
5. Gould, C., Su, Z., Devanbu, P.: Static checking of dynamically generated queries in database applications. In: Proceedings of the International Conference on Software Engineering, pp. 645–654 (May 2004)
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Precisely Extracting Complex Variable Values from Android Apps;ACM Transactions on Software Engineering and Methodology;2024-06-04
2. Tarsis: An effective automata‐based abstract domain for string analysis;Journal of Software: Evolution and Process;2024-02-14
3. Asynchronous Subtyping by Trace Relaxation;Lecture Notes in Computer Science;2024
4. String Abstract Domains and Their Combination;Logic-Based Program Synthesis and Transformation;2022
5. Improving Dynamic Code Analysis by Code Abstraction;Electronic Proceedings in Theoretical Computer Science;2021-09-06