代码切片
jlu_wangqi
这个作者很懒,什么都没留下…
展开
-
Joern的安装
ubuntu1804和Ubuntu1604均可附一个已经配置好的安装包百度云网址,这也是之前在csdn里面找到的,感谢大佬们的无私奉献:链接:https://pan.baidu.com/s/1S9Ed0JA0hLISQ6y8P-wkgA提取码:mwp2最好是直接下载这个安装包,之后的安装会十分方便。以下教程都认为已经下载了这个安装包安装jdk(1.7版本,其实如果有1.8也可以)这里网上有很多类似的教程,例如:安装jdk1.8也可以直接把分享的百度云安装包download下来,按照里面的方法原创 2020-11-11 11:14:05 · 1334 阅读 · 5 评论 -
Ubuntu 16.04 下 frama-c的安装
安装frama-c的准备工作安装opam:sudo add-apt-repository ppa:avsm/ppasudo apt updatesudo apt install opam查看安装的opam版本:opam --version确认opam的版本>=2.0.0使用opam安装fragma-c# 安装frama-c的依赖项opam install depextopam depext frama-c opam install frama-c判断frama-c是否原创 2020-08-02 15:33:09 · 551 阅读 · 1 评论