- 博客(5)
- 收藏
- 关注
原创 Learnlib 安装和使用 Ubuntu 16.04
Learnlib是基于java开发的一个学习状态机的一个工具。安装Learnlib之前,要先安装jdk8 和maven。比较简单就不写了。Learnlib的官网上有安装教程:https://github.com/LearnLib/learnlib/wiki/Setting-Up-a-New-Maven-Project-%28Command-Line%29因为是linux系统,所以选...
2019-05-15 09:47:09 1008 1
原创 Tensorflow c api 预测模型
写个简单的例子,预测一张mnist图片的分类。使用tensorflow 1.10.01. 首先使用opencv来读取图片Mat readimage(){ string img_path = "1_6628.bmp"; Mat image, image_gray,tmp; image = imread(img_path,CV_LOAD_IMAGE_COLOR)...
2019-01-09 19:40:39 852
原创 Tensorflow c api 编译安装
Ubuntu 16.04Tensorflow 1.10.0 1.编译动态链接库文件:$ ./configure$ bazel build -c dbg //tensorflow:libtensorflow_cc.so原先编译python 版本的whl时,是不会有libtensorflow_cc.so的,所以还是要重新编译。磁盘要足够大啊,要不然不可能成功。由于是deb...
2019-01-07 09:17:39 772
原创 llvm IR 语法小例子
LLVM IR 语法2018.12.24注:去年写的,原来是有图的,不知道何时竟然图都没了,翻了好久才找到这些图。以下图程序为例:在klee运行之后,每个文件夹中都会有一个assembly.ll这是llvm IR的中间语言代码。Klee中的指令执行,都是根据这个来实现的。下图为IR代码:首先对于e这个函数:i32 表示该类型所占位数。(bit),align对齐...
2017-07-16 14:38:25 3913 1
原创 klee+Ubuntu16.04+llvm3.9安装
Klee 安装方法为了安装klee我尝试了各种版本安装,终于安装成功环境:ubuntu16.04 llvm-3.9 clang-3.92018.7.27装llvm-3.9 的我当初真的是无知啊,人家klee现在适配的才到llvm-3.8. 我当初竟然装了llvm3.9. 用3.9装的klee -posix-runtime功能是不好使的。所以大家,还是先装llvm3.4 然后再...
2017-07-11 19:50:59 1369 1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人