信号验证 努力开始验证信号,以演示该过程中的SAW Python前端。 建筑 首先使用wllvm构建信号位码 从根目录(确保已更新子模块) $ cd libsignal-protocol-c / $ mkdir构建 $ cd构建 $ LLVM_COMPILER = clang cmake -DCMAKE_BUILD_TYPE = Debug -DCMAKE_C_COMPILER = wllvm .. $ LLVM_COMPILER = c $ extract-bc -b src / libsignal-protocol-ca 我不知道我们是否可以在SAW中使用该输出 Python环境