期刊名称：International Journal of Computer Science and Communication Networks
电子版ISSN：2249-5789
出版年度：2012
卷号：2
期号：5
页码：618-622
出版社：Technopark Publications
摘要：In this paper we discuss possible uses of static analysis to facilitate runtime checking. In particular, we focus on two categories of uses: static analysis for helping with runtime bounds checking and the general case of using static analysis for helping with code instrumentation
关键词：Run Time checking in C; Bound Checking; Static analysis for Instrumentation of Code.
