cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

ossfuzz: Add option to force SMT pragma and set it in solc fuzzers

Browse Source 
Co-authored-by: Leonardo <leo@ethereum.org>
This commit is contained in:
Bhargava Shastry
2020-12-21 11:55:58 +01:00
co-authored by Leonardo
parent 67712d50ba
commit a6a2b58e57
4 changed files with 40 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/tools/ossfuzz/solc_noopt_ossfuzz.cpp
+6 -1
View File
@@ -43,7 +43,12 @@ extern "C" int LLVMFuzzerTestOneInput(uint8_t const* _data, size_t _size)
{
return 0;
}
FuzzerUtil::testCompiler(sourceCode, /*optimize=*/false, /*_rand=*/static_cast<unsigned>(_size));
FuzzerUtil::testCompiler(
sourceCode,
/*optimize=*/false,
/*_rand=*/static_cast<unsigned>(_size),
/*forceSMT=*/true
);
}
return 0;
}
test/tools/ossfuzz/solc_opt_ossfuzz.cpp
+6 -1
View File
@@ -43,7 +43,12 @@ extern "C" int LLVMFuzzerTestOneInput(uint8_t const* _data, size_t _size)
{
return 0;
}
FuzzerUtil::testCompiler(sourceCode, /*optimize=*/true, /*rand=*/static_cast<unsigned>(_size));
FuzzerUtil::testCompiler(
sourceCode,
/*optimize=*/true,
/*rand=*/static_cast<unsigned>(_size),
/*forceSMT=*/true
);
}
return 0;
}