抱歉,您的浏览器无法访问本站

本页面需要浏览器支持(启用)JavaScript


了解详情 >

符号执行综述

毕业设计要求翻译外文文献,便对ACM Computing Surveys 2018的 A Survey of Symbolic Execution Techniques 进行了完整的翻译。

程序混淆综述

《A Taxonomy of Obfuscating Transformations》:混淆的初衷、混淆的分类、构建一个混淆器的算法、反混淆器的基本算法、反混淆的算法(这里只是一个大概,还需要自己扩充)