Josselin Feist

```python # Disable gas computation from manticore.utils import config consts_evm = config.get_group("evm") consts_evm.oog = "ignore" ``` ```python from manticore.ethereum.plugins import SkipRevertBasicBlocks, FilterFunctions m = Manticore(...) # Do not explore path...

Does https://blog.trailofbits.com/2020/08/17/using-echidna-to-test-a-smart-contract-library/ match what you have in mind? If so, this is fixed with https://github.com/crytic/building-secure-contracts/commit/9b61a29eecfea321bbce187f6e4e1142d36f4094

@ggrieco-tob : can you add an example for the push/pop example in https://github.com/crytic/building-secure-contracts/blob/master/program-analysis/echidna/fuzzing_tips.md ?

Hi @igetgames and @alagla, thank you for your interest in this bounty. Could you describe a bit more about your plan to solve this issue? @alagla , my understanding is...

I dont think so @mossberg was working on a fork of solc that could output the edges of a smart contract We could build unit tests on top of it

In the meantime, you can export the runtime bytecode with `solc --bin-runtime LNOToken.sol` ``` $ python evm_cfg_builder/cfg_builder.py lnotoken.evm Analyze 0x4 Analyze approve(address,uint256) Analyze totalSupply() Analyze transferFrom(address,address,uint256) Analyze decreaseApproval(address,uint256) Analyze balanceOf(address)...

Hi, Thanks for your interest in GUEB. Could you try with the last github version of binnavi? Also, did you try with a simple (and small) "hello world" example? I...

Hi @shiftre Sorry for the late replay. Thank you for your interest in GUEB. Unfortunately, the project is not active anymore (I moved to other projects). Nevertheless, I will upload...

That sounds cool, I will re-write the importation functions of GUEB in the near future, so I will take a look. Thanks for the information.

Hi, Sorry for the late reply. I will update the OVA this week. Note that gueb is unfortunately not maintained anymore, but feel free to let me know if you...