IR-Fuzz
IR-Fuzz copied to clipboard
Messi-Q
Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).
how can i set a time limit when testing a smart contract? look forward to an answer, thank you very much
when running code ./initial_.sh. it produces follow errors: -- Configuring incomplete, errors occurred! See also "/home/cyma/Downloads/IR-Fuzz-master/sFuzz/build/CMakeFiles/CMakeOutput.log". See also "/home/cyma/Downloads/IR-Fuzz-master/sFuzz/build/CMakeFiles/CMakeError.log". make: *** No targets specified and no makefile found. Stop. cp:...
You write solc: 0.4.26 in requirements, is it true that only smart contracts with version 0.4.26 can use this tool to detect
While I was trying to execute shell instruction ./inistal_sh ,some error show when creating Fuzzer,thus it also cant be copy to /IR-Fuzz file.the error looks like this: ```shell CMake Error...
Hi, I am trying to replicate the results of the paper "Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting". However, I encountered an issue when trying...
