为数不多的讲述程序分析的书籍,而且是2018年最新的,讲述了十分前沿的一些技术