ubuntu14.04中OpenSSL无法引用dump_publickey

解决方法1

使用anaconda2重新创建一个python包，然后使用anaconda2运行即可。

1. 下载anaconda2,下载地址：https://www.anaconda.com/download/#linux
2. 安装anaconda2,直接执行./Anaconda*.sh
3. 运行代码：/path/to/anaconda/bin/python,例如我的anaconda安装在在/home/xxx/anaconda2下，那么就执行/home/xxx/anaconda2/bin/python pub_test.py,代码如下：

import OpenSSL
from OpenSSL.crypto import TYPE_RSA,FILETYPE_PEM
from OpenSSL.crypto import dump_privatekey,dump_publickey
with open("pub.pem","rb") as f:
    buffer = f.read()
    rea = OpenSSL.crypto.load_publickey(FILETYPE_PEM, buffer)
print(dump_publickey(FILETYPE_PEM,rea))

其中pub.pem为pem格式的public_key

解决方法2

eclipse设置python解释器为anaconda2
安装java和eclipse并且编写如下代码：

import os
from time import sleep
print "init"
os.system("llvm-gcc --emit-llvm -c -g /home/sujia/cc/sn.c -o /home/sujia/cc/sn.o")
print "llvm-gcc success!!" 
os.system("klee /home/sujia/cc/sn.o")
print "klee success!!"

注意：gcc -o可以指定生成路径，如果不使用-o则生成在当前路径下