R-Fuzz / symsan

A LLVM Sanitizer for Symbolic Tracing
Apache License 2.0
206 stars 29 forks source link

make failed #19

Open amie0 opened 1 year ago

amie0 commented 1 year ago

when i make,it shows: /usr/bin/ld: CMakeFiles/FGTest.dir/fgtest.cpp.o: undefined reference to symbol '_ZNSt11logic_errorC2EPKc@@GLIBCXX_3.4.21' /usr/bin/ld: /lib/x86_64-linux-gnu/libstdc++.so.6: error adding symbols: DSO missing from command line clang: error: linker command failed with exit code 1 (use -v to see invocation) make[2]: [driver/CMakeFiles/FGTest.dir/build.make:84:driver/fgtest] erro 1 make[1]: [CMakeFiles/Makefile2:1155:driver/CMakeFiles/FGTest.dir/all] erro 2 make: *** [Makefile:130:all] erro 2

please help me with this。

ChengyuSong commented 1 year ago

OS, OS versions, compiler, and compiler versions?

amie0 commented 1 year ago

OS, OS versions, compiler, and compiler versions?

ubuntu 20.04 llvm12 libc++-dev,libc++abi-dev(1:10.0) thanks

amie0 commented 1 year ago

And one more problem is that when I run checks.sh using docker, the tests/*/ in the script doesn't work because there is no directory in the tests folder only the c file, so I changed the script but it still doesn't work. Is there any way to run it please? I mainly want to see the output of symsan and then investigate how dynamic taint analysis is implemented.

ChengyuSong commented 1 year ago

check.sh is no longer used, I should remove that.

Is the build successful inside the container?

amie0 commented 1 year ago

check.sh is no longer used, I should remove that.

Is the build successful inside the container?

The build within the container was successful, however I would like to be able to view the content of the dynamic taint analysis may I ask how can I test the results of the run and view the taint analysis? And I still want to know how to build it locally successfully?

ChengyuSong commented 1 year ago

could be c++ libs, try to install libc++-12-dev libc++abi-12-dev

SpYHero33 commented 6 months ago

same question. can you solve it ? @amie0

ChengyuSong commented 6 months ago

have you tried the new dockerfile?