Identifying dynamic data structures by learning evolving patterns in memory
作者： David H. White , Gerald Lüttgen
DOI: 10.1007/978-3-642-36742-7_25
关键词:
摘要: We investigate whether dynamic data structures in pointer programs can be identified by analysing program executions only. This paper describes a first step towards solving this problem applying machine learning and pattern recognition techniques to analyse of C programs. By searching for repeating temporal patterns memory caused multiple invocations data-structure operations, we are able locate then identify these operations. Applying prototypic tool implementing our approach that employ, e.g., lists, queues stacks, show the operations accurately determine used.
core.ac.uk
springer.com
swt-bamberg.de 参考文章(17)
Peter D. Grünwald, The Minimum Description Length Principle (Adaptive Computation and Machine Learning) The MIT Press. ,(2007)
Anthony Cozzie, Hui Xue, Frank Stratton, Samuel T. King, Digging for data structures operating systems design and implementation. pp. 255- 266 ,(2008) , 10.5555/1855741.1855759
Jonathan Heinen, Thomas Noll, Stefan Rieger, Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures Electronic Notes in Theoretical Computer Science. ,vol. 266, pp. 93- 107 ,(2010) , 10.1016/J.ENTCS.2011.07.001
Mooly Sagiv, Thomas Reps, Reinhard Wilhelm, Parametric shape analysis via 3-valued logic ACM Transactions on Programming Languages and Systems. ,vol. 24, pp. 217- 298 ,(2002) , 10.1145/514188.514190
Easwaran Raman, David I. August, Recursive data structure profiling Proceedings of the 2005 workshop on Memory system performance - MSP '05. pp. 5- 14 ,(2005) , 10.1145/1111583.1111585
Maria Jump, Kathryn S. McKinley, Dynamic shape analysis via degree metrics Proceedings of the 2009 international symposium on Memory management - ISMM '09. pp. 119- 128 ,(2009) , 10.1145/1542431.1542449
Peter D. Grünwald, The Minimum Description Length Principle ,(2007)
George C. Necula, Scott McPeak, Shree P. Rahul, Westley Weimer, CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs compiler construction. pp. 213- 228 ,(2002) , 10.1007/3-540-45937-5_16
S. Pheng, C. Verbrugge, Dynamic Data Structure Analysis for Java Programs international conference on program comprehension. pp. 191- 201 ,(2006) , 10.1109/ICPC.2006.20
Changhee Jung, Nathan Clark, DDT Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture - Micro-42. pp. 56- 66 ,(2009) , 10.1145/1669112.1669122