Computer software for analyzing properties and behaviors of other computer software in the field of software analysis.