diff --git a/Experiments.md b/Experiments.md new file mode 100644 index 0000000000000000000000000000000000000000..009b1d00f90f152b6033c4f619a7e2849e4bd9bd --- /dev/null +++ b/Experiments.md @@ -0,0 +1,15 @@ +## Smartcheck +| S.NO | File Name | Number of vulnerabilites Found | List Of Vulnerabilites | +|:-------:|:---------:|:------------:|---------------------| +| 1 | Certificate_ERC_721.sol | 6 | SOLIDITY_VISIBILITY :2 <br> SOLIDITY_PRAGMAS_VERSION :2 <br> SOLIDITY_ADDRESS_HARDCODED :1 <br> SOLIDITY_SHOULD_RETURN_STRUCT :1 | +| 2 | Certificate_ERC_1155.sol| 5 | SOLIDITY_VISIBILITY :2 <br> SOLIDITY_PRAGMAS_VERSION :1 <br> SOLIDITY_ADDRESS_HARDCODED :1 <br> SOLIDITY_SHOULD_RETURN_STRUCT :1 | +| 3 | Collectible_ERC_721.sol | 4 | SOLIDITY_VISIBILITY :2 <br> SOLIDITY_PRAGMAS_VERSION :1 <br> SOLIDITY_SHOULD_RETURN_STRUCT :1 | +| 4 | Collectible_ERC_1155.sol| 5 | SOLIDITY_VISIBILITY :2 <br> SOLIDITY_PRAGMAS_VERSION :1 <br> SOLIDITY_SHOULD_RETURN_STRUCT :2 | +| 5 | Land_ERC_721.sol | 7 | SOLIDITY_VISIBILITY :3 <br> SOLIDITY_PRAGMAS_VERSION :1 <br> SOLIDITY_ADDRESS_HARDCODED :1 <br> SOLIDITY_UPGRADE_TO_050 :1 <br> SOLIDITY_SHOULD_RETURN_STRUCT :1| +| 6 | Land_ERC_1155.sol | 7 | SOLIDITY_VISIBILITY :2 <br> SOLIDITY_PRAGMAS_VERSION :2 <br> SOLIDITY_ADDRESS_HARDCODED :1 <br> SOLIDITY_SHOULD_RETURN_STRUCT :2 | +| 7 |marks_mapping_acessspecifier.sol |6| SOLIDITY_VISIBILITY :4 <br> SOLIDITY_PRAGMAS_VERSION :1 <br> SOLIDITY_SHOULD_RETURN_STRUCT :1 | +| 8 |marks_mapping_acessspecifier.sol |5 | SOLIDITY_VISIBILITY :1 <br> SOLIDITY_PRIVATE_MODIFIER_DONT_HIDE_DATA :3 <br>SOLIDITY_SHOULD_RETURN_STRUCT :1| +| 9 | marks_sc_fixed.sol |2| SOLIDITY_VISIBILITY :1 <br> SOLIDITY_SHOULD_RETURN_STRUCT :1| + + +Contracts taken from: [Tokenization of Real-world Assets in Ethereum Blockchain in ERC-721 and ERC-1155](https://github.com/Kumaraguru-College-of-Tech/Tokenization)