sunbeomso

Invalid solc compilation : is it a correct error message?

7

### OS / Environment Host OS: Ubuntu 18.04.2 ### Manticore version 0.3.3 (from docker image) ### Python version 3.6.9 (from docker image) ### Summary of the problem Manticore reports ``Invalid...

non-vulnerable contract in SB curated dataset

1

The contract below is not vulnerable to reentrancy: https://github.com/smartbugs/smartbugs/blob/master/dataset/reentrancy/reentrancy_insecure.sol ``` /* * @source: https://consensys.github.io/smart-contract-best-practices/known_attacks/ * @author: consensys * @vulnerable_at_lines: 17 */ pragma solidity ^0.4.0; contract Reentrancy_insecure { // INSECURE mapping...

excluding duplicated contracts in SB curated dataset

2

In SB curated dataset, there are duplicated contracts which are not meaningfully different. For meaningful comparisons among tools, I think those duplicated contracts need to be excluded from SB curated...

meta data for SB curated data

2

Hi, would you plan to provide meta data for SB curated dataset? For example, `contract_name` for each file; there may exist multiple contracts in a single file, but only one...

how to obtain line number information

3

Hi, If Solidity source code of a contract is available, how can I obtain line number information from Smartian's bug detection results? For example, if I run the command: ```...

It seems sGuard does not add ``nonReentrant`` modifier to fallback functions. I wonder if there is any reason for it. For example, given a test contract below: ``` contract Fund...

running sGuard on solc >= 0.8.0

2

Hi, I am trying to run sGuard on solc >= 0.8.0. It seems sGuard runs well on solc < 0.8.0, but it produces the following error message for the contract...

understanding the sGuard's output when muptiple contracts exist in a source file

3

Hi, Could you give some help on understanding sGuard's output? Suppose a below test contract file is given as input: ``` pragma solidity^0.4.26; contract Fund { mapping(address => uint) balances;...

Hi, I have a question on validity of injected overflow bugs. It seems that, some parts that are marked as injected overflow bugs are not actually bugs (i.e., they are...

non-vulnerable contract in SB curated dataset

1

The contract below is not vulnerable to reentrancy: https://github.com/smartbugs/smartbugs/blob/master/dataset/reentrancy/reentrancy_insecure.sol ``` /* * @source: https://consensys.github.io/smart-contract-best-practices/known_attacks/ * @author: consensys * @vulnerable_at_lines: 17 */ pragma solidity ^0.4.0; contract Reentrancy_insecure { // INSECURE mapping...