From 5d9a19ae43852ef7fdcce1122487598f7203b445 Mon Sep 17 00:00:00 2001 From: POTHURI HARIKA <cb.en.p2cys21018@cb.students.amrita.edu> Date: Fri, 27 Jan 2023 11:13:09 +0530 Subject: [PATCH] Added results --- Experiments.md | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 Experiments.md diff --git a/Experiments.md b/Experiments.md new file mode 100644 index 0000000..009b1d0 --- /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) -- GitLab