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


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM