klee的docker镜像中没有gcc环境

sudo apt-get update

密码 klee

sudo apt-get install gcc

 

 

 

export LD_LIBRARY_PATH=/home/klee/lib/:$LD_LIBRARY_PATH

gcc -I ../../include -L /home/klee/lib/ get_sign.c -lkleeRuntest