DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

fix whichTest, add input length control

Browse Source
This commit is contained in:
agroce 2019-04-21 23:39:26 -07:00
parent d6e55def48
commit 669bccf55f
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
bin/deepstate/eclipser.py
View File

@ -35,6 +35,10 @@ def main():
"--timeout", type=int, help="How long to fuzz using Eclipser.",
default=3600)
parser.add_argument(
"--maxInputSize", type=int, help="Maximum input size.",
default=8192)
parser.add_argument(
"--which_test", type=str, help="Which test to run (equivalent to --input_which_test).", default=None)
@ -53,9 +57,11 @@ def main():
cmd = ["dotnet", eclipser, "fuzz"]
cmd += ["-p", deepstate, "-v", "1"]
cmd += [str(args.timeout), "-o", out + ".eclipser.run", "--src", "file"]
deepargs = "--input_test_file eclipser.input --abort_on_fail --input_which_test " + whichTest
deepargs = "--input_test_file eclipser.input --abort_on_fail"
if whichTest is not None:
deepargs += " --input_which_test " + whichTest
cmd += ["--initarg", deepargs]
cmd += ["--fixfilepath", "eclipser.input", "--maxfilelen", "8192"]
cmd += ["--fixfilepath", "eclipser.input", "--maxfilelen", str(args.maxInputSize)]
subprocess.call(cmd)
decodeCmd = ["dotnet", eclipser, "decode"]