Title: Software analysis handbook