Similar repositories to duytai/sGuard:
duytai/sGuard
github
similar
xiaoly8/SCRepair
github
similar
uni-due-syssec/evmpatch-developer-study
github
similar
ZhongFuCheng3y/3y
github
similar
eff-kay/nicad
github
similar
Veneris-Group/TOD-Location-Rectification
github
similar
reentrancy/sGuard
github
similar
transaction-reverting-statements/Characterizing-require-statement-in-Ethereum-Smart-Contract
github
similar
yangli-os/python
github
similar
JackonYang/mcm_latex_template
github
similar
ucsb-seclab/sailfish
github
similar
uni-due-syssec/evmpatch-eval-data
github
similar
lauraweindorf/enigma-millionaires-problem
github
similar
DependableSystemsLab/SolidiFI-benchmark
github
similar
eff-kay/solidity-nicad
github
similar
xf97/HuangGai
github
similar
wuhongjun15/Peculiar
github
similar
sjmini/icse2020-Solidity
github
similar
Jiachi-Chen/DefectChecker
github
similar
mybichu/SmallBill
github
similar
chicxurug/SolMet-Solidity-parser
github
similar
iamdefinitelyahuman/py-solc-ast
github
similar
FISCO-BCOS/SCStudio
github
similar
christoftorres/Osiris
github
similar
ndiab/CRYPTO
github
similar
crytic/evm_cfg_builder
github
similar
BladeMasterCoder/KaggleCTR
github
similar
Messi-Q/ReChecker
github
similar
gongpx20069/Postgraduate-408-exam
github
similar
HAECHI-LABS/solidity-tdd
github
similar
smartbugs/smartbugs-results
github
similar
ethjs/ethjs-abi
github
similar
wesleyjtann/Safe-SmartContracts
github
similar
EhsanMashhadi/MSR2021-ProgramRepair
github
similar
JeriYang/MachineTestCode
github
similar
Davide-sd/GIMP-style-transfer
github
similar
smartbugs/smartbugs-wild
github
similar
SRI-CSL/solidity
github
similar
hzysvilla/Academic_Smart_Contract_Papers
github
similar
SeUniVr/EtherSolve
github
similar