TheHills的博客

joern 生成C/C++程序的CPG，其主要包含三个组件 parser / python interface / joern tools 解释器安装：安了一半我发现我看的文档是14年的老文档。。。。，重新安吧。安装请认准官网文档，不要再看博客了。按照官网最新文档，安装很顺畅，没有出现问题。开始时安装joern 0.3.1的过程：依赖：jdk1.7 / Neo4J 2.1.5 / Gremlin plugionjdk下载：注意更改/etc/profile文件之后需要重新登陆用户才会生效，不然只有

软件分析技术学习（一）写在前面第一章第二章停机问题数据流分析算法要求写在前面由于要做一个软件分析+AI方向的项目，写博客记录一下学习的内容，也是激励自己学习的动力吧。软件分析学习主要参考北大熊英飞老师的课程，链接：https://xiongyingfei.github.io/SA/2020/main.htm。第一章运用哥德尔不完备定理论证了程序中的缺陷不可能完全判定。哥德尔定理：包含自然数和基本算术运算的系统一定不完备，即包含一个无法证明的定理。哥德尔定理证明略，与停机问题证明类似，证明下面的程序是