INNER CODE UNIT · Python

callFromFuzzer

stp/stp · scripts/fuzz/fuzz_test.py:314

    def callFromFuzzer(self, base_dir, fuzzer, file_name):
        seed = struct.unpack("<L", os.urandom(4))[0]
        seed %= 10000000
        call = "sh -c \"cd {0}/{1} && {2} -seed {5} > {3}/{4}\""
        call = call.format(base_dir, fuzzer[0], fuzzer[1], os.getcwd(),
                           file_name, seed)
        return call

    def fuzz_test(self):
        fuzzers = [["fuzzsmt", "./fuzzsmt QF_ABV"]]

        directory = "../../../"
        for fuzzer in fuzzers:
            file_name = unique_fuzz_file("fuzzTest")

            # create the fuzz file
            call = self.callFromFuzzer(directory, fuzzer, file_name)
            print("calling ", fuzzer, " : ", call)

View source record →