참고문헌
- Sigmund Cherem, Lonnie Princehouse, and Radu Rugina, Practical Memory Leak Detection Using Guarded Value-flow Analysis, SIGPLAN 2007 https://doi.org/10.1145/1250734.1250789
- Yichen Xie and Alex Aiken, Context- and Pathsensitive Memory Leak Detection, In ESEC/FSE-13: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of Software Engineering, pp.115-125, New York, NY, USA, 2005. ACM https://doi.org/10.1145/1095430.1081728
- David, L. Heine and Monica, S. Lam, A Practical Flow-sensitive and Context-sensitive C and C++ Memory Leak Detector, In Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, pp.168-181, 2003 https://doi.org/10.1145/781131.781150
- M. Orlovich and R. Rugina, Memory Leak Analysis by Contradiction, In SAS 2006: 13th Annual International Static Analysis Symposium, Lecture Notes in Computer Science, Springer, 2006
- Patrick Cousot and Radhia Cousot, Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, In Proceddings of ACM Symposium on Principles of Programming Languages, pp.238-252, January 1977 https://doi.org/10.1145/512950.512973
- Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jerome Feret, Laurent Mauborgne, Antoine Mine, David Monniaux, and Xavier Rival, A static analyzer for large safety-critical software, In PLDI'03: Proceedings of the ACM SIGPLAN 2003 conference on Programming Language Design and Implementation, pp.196-207, New York, NY, USA, 2003. ACM Press
- J. Reynolds, Separation Logic: A Logic for Shared Mutable Data Structures, In Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science, 2002 https://doi.org/10.1109/LICS.2002.1029817
- Cristiano Calcagno, Dino Distefano, Peter O'hearn, and Hongseok Yang, Footprint Analysis: A Shape Analysis That Discovers Preconditions, In SAS 2007: 14th Annual International Static Analysis Symposium, Lecture Notes in Computer Science, Springer, 2007 https://doi.org/10.1007/978-3-540-74061-2_25
- Erick M. Nystrom, H.-S. Kim, and Wen mei W. Hwu, Bottom-up and Top-down Context-sensitive Summary-based Pointer Analysis, In the proceeding of the 11th Annual International Static Analysis Symposium, Lecture Notes in Computer Science. Springer, 2006
- John Whaley and Martin Rinard, Compositional Pointer and Escape Analysis for Java Programs, In Proceddings of ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, pp.187-206, 1999 https://doi.org/10.1145/320385.320400
- David L. Heine and Monica S. Lam, Static Detection of Leaks in Polymorphic Containers. In ICSE'06: Proceeding of the 28th international conference on Software Engineering, pp.252-261, New York, ACM Press https://doi.org/10.1145/1134285.1134321
- Yichen Xie and Alex Aiken, Scalable Error Detection Using Boolean Satisfiability, In POPL'05: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.351-363, New York, NY, USA, 2005. ACM https://doi.org/10.1145/1047659.1040334
- M. Das, S. Lerner, and M. Seigle, ESP: Pathsensitive program verification in polynomial time, In Proc. Conference on Programming Language Design and Implementation, pp.57-68, 2002 https://doi.org/10.1145/512529.512538
- Manuvir Das, Sorin Lerner, and Mark Seigle, ESP: Path-sensitive Program Verification in Polynomial Time, In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pp.57-68, June 2002 https://doi.org/10.1145/512529.512538
- David Evans, Static Detection of Dynamic Memory Errors, In Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation, pp.44-53, May 1996 https://doi.org/10.1145/249069.231389