Transformational program analysis
Published in Software Testing Verification and Reliability • Jan 1, 1994
NobleIDNI1P33W90R82S38
Authors:
Kevin Lano
Abstract
Abstract This paper describes an approach to the semantic analysis of procedural code. The techniques differ from those adopted in current static analysis tools such as MALPAS (Bramson, 1984) and SPADE (Clutterbuck and Carré, 1988) in two key respects: (1) A database is used, together with language‐...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!