- 博客(7)
- 收藏
- 关注
RSS订阅原创 Frama-C安装过程
第一步：安装opamopam的安装依赖make、m4和cc。cc其实包含在gcc中。sudo add-apt-repository ppa:avsm/ppasudo apt updatesudo apt install make m4 gcc opam第二步：opam初始化sudo opam init完成初始化后运行下面指令eval $(opam env)第三步：安装frama-Csudo opam install depextsudo opam depex
2020-07-09 21:30:00
2453
2
转载 基于厦大开放的《网站用户购物行为》教程的记录与补充
通过对厦大开放的大数据教程进行学习，发现软件版本更新，按照教程走，会出现些许问题，故而通过转载和补充的方式记录该实验案例的完整操作流程。《网站用户购物行为》的综合实验的链接地址：http://dblab.xmu.edu.cn/post/7499/教程内使用的软件包在该网址内链接，请进入该网址提供的百度云盘链接进行下载：http://dblab.xmu.edu.cn/post/5663/...
2020-03-24 17:49:13
1737
原创 ubuntu16.04安装SimpleCV
sudo apt-get install ipython python-opencv python-scipy python-numpy python-pygame python-setuptools gitgit clone https://github.com/sightmachine/SimpleCV.gitcd SimpleCV/sudo pip install -r requir...
2019-12-27 14:54:29
859
转载 LLVM pre-build binaries 配置路径
折腾一晚上，自己下载llvm、clang等编译，老是报错。崩溃。。。还是直接用llvm预先编译好的文件，只需要设置识别路径即可。1.首先去llvm官网上下载想要的版本的预编译二进制文件2.打开bashrc文件gedit ~/.bashrc3.在bashrc文件添加以下两行命令：export LLVM_HOME=/home/xxx(your usrnam...
2019-11-26 00:29:21
1263
转载 Ubuntu和树莓派配置静态IP
Ubuntu配置静态ip第一步：先获取网卡名称，输入ifconfig，我们的网卡名称第二步：修改网卡配置文件sudovim /etc/network/interfacesauto loiface lo inet loopbackauto enp4s0iface enp4s0 inet staticaddress 192.168.0.109netmask 255.255...
2019-11-22 23:44:18
1264
转载 Ubuntu16.04安装搜狗拼音
1.从官网下载软件2.在下载目录下打开终端sudo dpkg -i sogoupinyin_2.1.0.00826_amd64.deb如果安装报错,则执行下面指令:sudo apt-get install -f sudo dpkg -i sogoupinyin_2.1.0.00826_amd64.deb3.打开“系统设置“，点击”语言支持“，然后弹出下面的框图，点击”安装...
2018-11-27 21:11:02
666
原创 用llvm简单遍历一个bc文件
我是个编程菜鸟，学了很久编程，都不知道通过main函数参数传递的强大，之前想写个llvm小程序去遍历bc文件里的指令，通过文件流的方式去读写操作，最终错漏百出。今天带来一个简单的入门程序，这个程序遍历bc文件的所以instruction。#include #include #include #include #include #include #include #in
2016-09-21 16:25:17
3855
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人