humoony

humoony's Stars

• shuo-young/nftdefects

  Definition and Detection of Defects in NFT Smart Contracts

  Language:Python2

• shuo-young/BlockWatchdog

  Attacker Contract Identifier Through Static Dataflow Analysis

  Language:Python212

• pascal-lab/Tai-e-assignments

  Tai-e assignments for static program analysis

  Language:Java1.1k252

• NFTDefects/nftdefects

  Definition and Detection of Defects in NFT Smart Contracts

  Language:Python204