This is stars and forks stats for /kupl/VeriSmart-benchmarks repository. As of 02 May, 2024 this repository has 50 stars and 14 forks.
VeriSmart-benchmarks VeriSmart is a safety analyzer for Ethereum smart contracts written in Solidity. This repository contains dataset that we used for experiments in our paper. This repository has been developed and maintained by Software Analysis Laboratory at Korea University. Structure of Contents benchmarks/cve: This folder contains 487 Solidity smart contracts reported in CVE. The 60 contracts used in our S&P '20 paper are specified in labels/cve_labels.csv (the column SP20). The deduplicated...
VeriSmart-benchmarks VeriSmart is a safety analyzer for Ethereum smart contracts written in Solidity. This repository contains dataset that we used for experiments in our paper. This repository has been developed and maintained by Software Analysis Laboratory at Korea University. Structure of Contents benchmarks/cve: This folder contains 487 Solidity smart contracts reported in CVE. The 60 contracts used in our S&P '20 paper are specified in labels/cve_labels.csv (the column SP20). The deduplicated...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| oroghene/vault-fun | SolidityTypeScriptShell | 14 | 0 | 0 | 0 |
| SBCC-World/SBCC-CONTRACT | Solidity | 184 | 0 | 0 | 0 |
| BlockchainInsper/Entregaveis | JavaScriptSolidityCSS | 0 | 0 | 27 | 0 |
| dabit3/polygon-ethereum-nextjs-marketplace | JavaScriptSolidityCSS | 1.2k | 0 | 834 | 0 |
| ProjectOpenSea/seaport | SolidityTypeScriptOther | 2k | +2 | 556 | 0 |
| IPILabs/shorter-v1 | SolidityJavaScript | 127 | 0 | 69 | 0 |
| code-423n4/2022-05-opensea-seaport | SolidityJavaScriptHTML | 51 | 0 | 16 | 0 |
| semaphore-protocol/semaphore | TypeScriptSolidityEJS | 765 | 0 | 135 | 0 |
| buildship-dev/nft-contracts | SolidityJavaScriptTypeScript | 191 | 0 | 58 | 0 |
| Ekolance/Ether-Wallet-A | Solidity | 1 | 0 | 8 | 0 |