Email Address * *
Name
Subject *
Message * Articles On Static Code Analysis, including Lint (software), Understand (software), Splint (programming Tool), Symbolic Execution, Aliasing (computing), Esc/java, Data-flow Analysis, Sparse, Use-define Chain, Reaching Definition - 1242537201 - 9781242537202