xiaozhouqi

Results 5 issues of xiaozhouqi

1、I hava installed clang and llvm,version is 14. clang version 14.0.0 Target: x86_64-unknown-linux-gnu Thread model: posix InstalledDir: /usr/local/llvm-14/bin 2、 cmake -DCMAKE_PREFIX_PATH="/usr/local/llvm-14/lib/cmake/llvm/ /usr/local/llvm-14/lib/cmake/clang/" -DCMAKE_CXX_FLAGS=-D_GLIBCXX_USE_CXX11_ABI=1 .. 3、make mull-runner-14。 Finially,I get a link...

1、Problem description Traceback (most recent call last): File "/home/angr/.virtualenvs/angr/bin/shellphuzz", line 7, in exec(compile(f.read(), __file__, 'exec')) File "/home/angr/angr-dev/fuzzer/shellphuzz", line 87, in memory=args.memory, seeds=seeds, timeout=args.run_timeout, File "/home/angr/angr-dev/fuzzer/fuzzer/fuzzer.py", line 99, in __init__ Fuzzer._perform_env_checks()...

Very cool tool. It is very apprecitated to add guides for installing the build-bom itself.

Firstly, I haved follow the guide to recompile instructmented libc++ for symbolic execution. Secondly, Here is my demo program for testing c++ feature. compiling command: sym++ vec.cpp -o vec. I...

Hi, i have installed symcc sucessfully and tried the demo in tutorials, all thing goes well. So i want to test whether it support complex class. Below, it's my test...