"program analysis" - related articles and key terms