这两天学习KLEE,在复现Tutorial Four,进入courtils文件夹后需要执行 ./bootstrap
,但无奈一直出现这个问题:
ERROR:cannot verify translationproject.org's certificate, issued by 'CN=R3,0=Let\'s Encrypt,C=US' Issued certificate has expired.
To connect to translationproject.org insecurely,use '--no-check-certificate'.
查到的解决办法都是sudo apt install ca-certificates
,
安装了也没用,还是这个错,之后发现应该是执行 ./bootstrap
的过程中会执行wget指令(刚开始接触,不太清楚原理哈,猜的)。
最后的解决方法是 sudo apt-get install libssl-dev
。