ContractFuzzer
ContractFuzzer copied to clipboard
gongbell
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
Bumps [minimatch](https://github.com/isaacs/minimatch) to 3.0.4 and updates ancestor dependencies [minimatch](https://github.com/isaacs/minimatch), [truffle-compile](https://github.com/trufflesuite/truffle) and [truffle](https://github.com/trufflesuite/truffle/tree/HEAD/packages/truffle). These dependencies need to be updated together. Updates `minimatch` from 0.3.0 to 3.0.4 Commits e46989a v3.0.4 ddfacbd update...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
**commands**: RUN apk add --no-cache --virtual .build-deps-yarn curl gnupg tar && for key in 6A010C5166006599AA17F08146C2130DFD2497F5 ; do gpg --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys "$key" || gpg --keyserver hkp://ipv4.pool.sks-keyservers.net --recv-keys "$key" || gpg...
I've just run ContractFuzzer on the examples you provided under the `examples/exception_disorder` diretory. But the fuzzing results showed no "exception disorder" in the six tested contracts. When I opened the...
Hi, I am beginner solidity learner, I was trying out your tool for my custom SmartContract but am unable to figure out how to get the information to be specified...
When I trying to build a docker image from source, it fails due to unable to select packages: Sending build context to Docker daemon 2.543GB Step 1/20 : FROM golang:alpine...
I successfully downloaded the dockerfile and ran it as proposed in the [quickstart](https://github.com/gongbell/ContractFuzzer#quick-start). I was wondering however, if there is any way to see what are all the function calls...
According to your method, I successfully built the docker images. And now I want to detect the reentrancy bug. But after providing some test cases, I cannot detect them. (...
Bumps [ini](https://github.com/isaacs/ini) from 1.3.5 to 1.3.7. Commits c74c8af 1.3.7 024b8b5 update deps, add linting 032fbaf Use Object.create(null) to avoid default object property hazards 2da9039 1.3.6 cfea636 better git push script,...
Bumps [ini](https://github.com/isaacs/ini) from 1.3.5 to 1.3.7. Commits c74c8af 1.3.7 024b8b5 update deps, add linting 032fbaf Use Object.create(null) to avoid default object property hazards 2da9039 1.3.6 cfea636 better git push script,...
I read the 'ContractFuzzer' paper. And I am confused how to detect freezing ether bugs 'exactly' because the paper explained it too rough. I want to know it in detail...
