savior-source
savior-source copied to clipboard
source code for savior fuzzer
the target software: https://download.osgeo.org/libtiff/tiff-4.0.10.tar.gz the build.sh: ``` export SOFTWARE_DIR=/root/softwares export WORK_DIR=/root/work/ export PROG=tiffcp # generate whole program bc export CC=wllvm export LLVM_COMPILER=clang export CFLAGS="-fsanitize=integer,bounds,shift -g" export LDFLAGS=-lubsan ./configure --enable-shared=no --enable-static=yes...

paired_edges.csv is generated in step two,*.edge is generated in step three. Is paired_edges.csv useful?What is the difference between paired_edges.csv and *edge?
the klee can't scale to real soft, I want to know why not choose qsym ?
Hey ! I successfully compiled the savior and followed along the readme of savior . but finally I don't know how to run the fuzzing job in order to run...
Hello, when I run Savior I get the following error: ``` Traceback (most recent call last): File "../../coordinator/moriarty.py", line 278, in init(args.target, args.config); File "../../coordinator/moriarty.py", line 268, in init moriarty.start()...
Hi . I tried the Docker but failed and I don't know why it's failed to build . I went though https://github.com/evanmak/savior-source/tree/master/Docker script for building, built with some errors and...
Hi there . I just got this error while compiling and building savior . It's not able to build AFL. `error: no matching constructor for initialization of 'llvm::DILocation'` I am...
@evanmak I am unable to execute the 'Savior' program on the 'jpegsrc test.' I am encountering an error message stating 'KLEE: ERROR: Link with library /root/work/savior/KLEE/klee-build/Release+Debug+Asserts/lib/klee-uclibc.bca failed: Unrecognized file type.'...