Communications of the Korean Institute of Information Scientists and Engineers (정보과학회지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

데이터 기반 프로그램 분석 기법

  • Published : 2018.03.15
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  1. Bruno Blanchet, Patrick Cousot, Radhia Cousot, J'erome Feret, Laurent Mauborgne, Antoine Min'e, David Monniaux, and Xavier Rival. A static analyzer for large safety-critical software. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, PLDI '03, pages 196-207, New York, NY, USA, 2003. ACM.
  2. Sehun Jeong, Minseok Jeon, Sungdeok Cha, and Hakjoo Oh. Data-driven context-sensitivity for points-to analysis. Proceedings of the ACM on Programming Languages, 1(OOPSLA), 2017.
  3. George Kastrinis and Yannis Smaragdakis. Hybrid context-sensitivity for points-to analysis. In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, pages 423-434, New York, NY, USA, 2013. ACM.
  4. Huisong Li, Francois Berenger, Bor-Yuh Evan Chang, and Xavier Rival. Semantic-directed clumping of disjunctive abstract states. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, pages 32-45, New York, NY, USA, 2017. ACM.
  5. Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, and Kwangkeun Yi. Selective context-sensitivity guided by impact pre-analysis. In Proceedings of the 35th ACM SIGPLAN Confer- ence on Programming Language Design and Implementation, PLDI '14, pages 475-484, New York, NY, USA, 2014. ACM.
  6. Yannis Smaragdakis, Martin Bravenboer, and Ondrej Lhot'ak. Pick your contexts well: Un- derstanding object-sensitivity. In Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'11, pages 17-30, New York, NY, USA, 2011. ACM.
  7. Yannis Smaragdakis, George Kastrinis, and George Balatsouras. Introspective analysis: Context-sensitivity, across the board. In Proceedings of the 35th ACM SIGPLAN Confer- ence on Programming Language Design and Implementation, PLDI '14, pages 485-495, New York, NY, USA, 2014. ACM.
  8. Xin Zhang, Mayur Naik, and Hongseok Yang. Finding optimum abstractions in parametric dataflow analysis. In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'13, pages 365-376, New York, NY, USA, 2013. ACM.