savior-source icon indicating copy to clipboard operation
savior-source copied to clipboard

source code for savior fuzzer

Results 9 savior-source issues
Sort by recently updated
recently updated
newest added

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...

![image](https://user-images.githubusercontent.com/64991294/145805058-323dcc71-9f8b-4a91-8add-2d1e260bca3b.png)

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.'...