BlackBird的博客
这世界上所有的不利状况，都是当事者能力不足导致的
毕业设计要求翻译外文文献，便对ACM Computing Surveys 2018的 A Survey of Symbolic Execution Techniques 进行了完整的翻译。
