Comments (2)
What do you mean by "unexplained" ETH balance? If echidna detects a payable function, it will try to send to some ETH (as it is an input for that function). Take a look to our documentation about it: https://github.com/crytic/building-secure-contracts/blob/master/program-analysis/echidna/basic/working-with-eth.md
from echidna.
Thank you for the enlightenment. For some reason with the identical setup we didn't see such behavior in other smart contact. Since it's an expected behavior, let's close this case.
from echidna.
Related Issues (20)
- echidna-test: command not found HOT 2
- [Bug-Candidate]: Cannot use command line arguments
- [Bug-Candidate]: Missing dashboard config option HOT 2
- [Bug-Candidate]: Unclear why deployment fails when there is no apparent reason HOT 3
- Expression-level coverage support
- Add a flag to log msg.sender for each function trace HOT 4
- [Bug-Candidate]: Coverage html doesn't match source code for certain characters
- estimateGas: generate gas info in the corpus HOT 1
- looks like 2.2.2 release was not completed HOT 2
- Allow copy/paste from the echidna UI output HOT 1
- Echidna master adds an `--evm-version` tag to the end of crytic-compile HOT 2
- Show the reproducer filename
- [Bug-Candidate]: Contract Size Exceeded when optimized contract is under 24KB HOT 2
- Dump event log to a file in interactive mode
- [Bug-Candidate]: setupTerm: Couldn't look up terminfo entry "xterm-256color" in v2.2.2 HOT 5
- ETHERSCAN_API_KEY should be captured as a requirement in README.md and made scalable to other blockchain HOT 2
- [Bug-Candidate]: Incorrect wiki entry HOT 1
- Add `--rpc-url` and `--rpc-block` CLI commands
- Enable TUI on Windows HOT 2
- Add help popup in TUI
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from echidna.