The objective of program analysis is to automatically determine the p- perties of a program. Tools of software development, such …
