santoshn / softboundcets-3.8.0

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Compiling assertion error

Mashashi opened this issue · comments

Hi,

I get the felling that the command on the README.md is not compliant with this new version of softboundscets.

cd tests clang -fsoftboundcets test.c -o test -L/softboundcets-lib -lm -lrt -lsoftboundcets_rt clang -fsoftboundcets -flto test.c -o test-lto -L/softboundcets-lib/lto -lm -lrt -lsoftboundcets_r\ t

I tried to run just the first clang command the following way:

clang -fsoftboundcets test.c -o test -L/home/rafael/softboundcets-3.8.0/llvm-38/lib -lm -lrt -l/home/rafael/softboundcets-3.8.0/runtime/libsoftboundcets_rt

But I think there is some issue. In the output I get:

...
clang-3.8: /home/rafael/softboundcets-3.8.0/llvm-38/lib/Transforms/Instrumentation/SoftBoundCETS.cpp:2267: void SoftBoundCETS::associateKeyLock(llvm::Value*, llvm::Value*, llvm::Value*): Assertion `0 && "key does not the right type "' failed.
...

Necessary files on the attachment.

Thank you.

err.zip

I fixed the README. Let me know if it works.