Search results

unable to execute the 'Savior' program on the 'jpegsrc test, KLEE get error

Status: Open.

#16 In evanmak/savior-source;

· faezehash opened on Jan 21, 2023

What is the difference between paired_edges.csv and *.edge?

Status: Open.

#14 In evanmak/savior-source;

· White-Mouse opened on Oct 23, 2021

problem: compile the libtiff

Status: Open.

#13 In evanmak/savior-source;

· oneCoderMan opened on Oct 18, 2020

qsym vs klee

Status: Open.

#10 In evanmak/savior-source;

· oneCoderMan opened on Sep 26, 2020

How to run a simple fuzzing job with SAVIOR

Status: Open.

#8 In evanmak/savior-source;

· cryptomadco opened on Jul 26, 2020

SIMPLE_FILES macro necessary with KLEE

Status: Open.

#7 In evanmak/savior-source;

· rachelcleaveland opened on Jul 9, 2020

AFL Compile Error : error: no matching constructor for initialization of 'llvm::DILocation'

Status: Open.

#5 In evanmak/savior-source;

· cryptomadco opened on Jun 6, 2020

Installer for Ubuntu 18.04 or 16.04

Status: Open.

#4 In evanmak/savior-source;

· cryptomadco opened on Jun 5, 2020