参考：https://blog.csdn.net/dreammeard/article/details/19490449 https://stackoverflow.com/questions/40042533/how-to-enable-debug-only-in-llvm-build-with-cmake https://llvm.org/docs/CMake.html 第一步 安装ninja和cmake1 获取并编译安装 ninja $ git clone git://github.co ...

面向SEU的程序可靠性分析技术主要涉及到的工具有：基于PIN的程序动态分析工具，利用python实现的动态依赖图（Dynamic Dependency Graph， DDG）生成工具，基于LLVM的软加固工具。 1 基于PIN的程序动态分析工具坑：进行动态profile时，打印出的static instruction中有遗漏，造成DDG绘制不完整 原因：为了聚焦在分析的代码上，在进行动态插桩时需要进行筛选，通常使用filter，通过指定Routine的名字来进行筛选。但我采用了他人开发的pin- ...

指令复算是软件容错的基本方法，自动软加固工具和故障注入工具在软加固研究中几乎必不可少，本文随笔者工作进度，逐步完成一个利用LLVM实现的自动软加固工具。将会记录实现面临的关键技术，及开发过程中遇到的细节问题。 1 如何插入一条指令参考：https://stackoverflow.com/questions/35198935/add-an-llvm-instruction 12345678BasicBlock *B = I->getParent();if (auto *op = dyn_ca ...

docx文件提交到git很容易，对docx文件实现版本管理的难点在于如何比较其中的差异，方法简要概述如下： 利用pandoc实现将docx文件转成md文件（只能是docx，而不能是doc） 通过git hook，配置pre-commit和post-commit，在git commit时自动调用生成md文件的过程，并将md文件提交到库中 md文件作为docx的副本，且可以通过diff直接查看 参考：https://github.com/vigente/gerardus/wiki/Integra ...

1. 配置AWS服务器如果没有搭建远端shadowsocks服务器的需求，可以跳过这一步。 申请AWS账号 登陆AWS官方网站https://aws.amazon.com/cn/，并注册账号，需要填写邮箱号，信用卡信息和手机号码，注册时都会进行验证，信用卡会通过预扣费1美元验证，手机号码通过电话输入屏幕显示的即时数字验证。 现在新注册的用户，需要24小时才能完全激活。 开通EC2实例，不具体展开，但需要注意几个问题： 1）选择标有“符合条件的免费套餐”的系统映像（AMI），最好选择红框中的选 ...