dotabap / dotabap.github.io

Related projects ⓘ

Alternatives and complementary repositories for dotabap.github.io

• F1xedbot / RazorBlade
  RazorBlade - A smart contract vulnerability detection framework utilizing Control Flow Graph (CFG) and Graph Neural Networks (GNN)
  ☆7Updated 7 months ago
• frankdadale / EA-RGCN
  Code using in Paper "Smart Contract Vulnerability Detection Based on Semantic Graph and Residual Graph Convolutional Networks with Edge A…
  ☆15Updated last year
• Anonymous123xx / RLRep
  A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…
  ☆11Updated 7 months ago
• qiongxiao / VulDeeSmartContract
  Smart Contract Vulnerability Detection Based on Deep Learning. (LSTM, BLSTM, BLSTM+Attention)
  ☆25Updated 5 years ago
• nopslip / generate-merkle-tree
  nodejs script to generate a merkle tree from CSV file. Built with 💚 for Gitcoin GTC token distribution
  ☆13Updated last year
• solidity-parser / antlr
  Solidity grammar for ANTLR4
  ☆50Updated 9 months ago
• xiaoly8 / SCRepair
  ☆25Updated 2 years ago
• jianwei76 / SoliAudit
  ☆13Updated 5 years ago
• Franklinliu / InvCon-Tool
  InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!
  ☆12Updated 2 years ago
• ICL-ml4csec / SQIRL
  ☆15Updated last year
• WSP-LAB / RICC
  RICC: Robust Collective Classification of Sybil Accounts
  ☆10Updated last year
• eth-sri / verx-benchmarks
  ☆20Updated 5 years ago
• momo1008666 / CBGRU
  “CBGRU: A Detection method of Smart Contract Vulnerability Based on Hybrid Model”
  ☆9Updated 2 years ago
• EthereumRemix / sol-test
  ☆9Updated last year
• utopia-group / SmartPulseTool
  ☆9Updated 3 years ago
• HaoxianChen / declarative-smart-contracts
  ☆13Updated last month
• wuhongjun15 / Peculiar
  ☆38Updated 3 years ago
• Messi-Q / GPSCVulDetector
  Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection (TKDE Accepted)
  ☆102Updated last year
• InPlusLab / DAppSCAN
  DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.
  ☆50Updated last week
• iamdefinitelyahuman / py-solc-ast
  A tool for exploring the solc abstract syntax tree
  ☆37Updated 7 months ago
• Messi-Q / IR-Fuzz
  Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).
  ☆46Updated last year
• InPlusLab / ReentrancyStudy-Data
  ☆37Updated 2 weeks ago
• xf97 / HuangGai
  HuangGai is an Ethereum smart contract bug injection framework, it can inject 20 types of bugs into Solidity smart contract. DOI: 10.5281…
  ☆39Updated 2 years ago
• Messi-Q / GNNSCVulDetector
  Smart Contract Vulnerability Detection Using Graph Neural Networks (IJCAI-20 Accepted)
  ☆129Updated last year
• StefanosChaliasos / solidity-inline-assembly
  Replication package for the OOPSLA 2022 paper titled "A Study of Inline Assembly in Solidity Smart Contracts".
  ☆8Updated 2 years ago
• smartbugs / smartbugs-results
  This repository contains the RAW results of the vulnerability analysis of 9 tools on 47,587 smart contracts. These results are presented …
  ☆67Updated 4 years ago
• shuo-young / BlockWatchdog
  Attacker Contract Identifier Through Static Dataflow Analysis
  ☆20Updated 4 months ago
• Jiachi-Chen / TSE-ContractDefects
  This is the dataset for our TSE paper "Defining Smart Contracts Defects on Ethereum"
  ☆16Updated 4 years ago
• Jiachi-Chen / DefectChecker
  ☆26Updated 3 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆15Updated last week