usyd-blockchain/vandal

Issues

• Python integer conversion error when decompiling some contracts: "OverflowError: Python int too large to convert to C ssize_t"

  #52 opened 7 years ago by 0xl3x1
  3

• Timeout Error And Exception

  #66 opened 2 years ago by liuxia-haa
  0

• Solidity 0.5.x

  #60 opened 5 years ago by mstad
  2

• Wrong hex code of CREATE2

  #61 opened 4 years ago by gsalzer
  2

• Python 3.8 compatibility: time.clock no longer exists

  #62 opened 4 years ago by gsalzer
  2

• CFG graph, dangling node

  #59 opened 5 years ago by AnonymousMonkey2021
  8

• Vandal timeouts don't seem to work

  #53 opened 6 years ago by 0xl3x1
  0

• Naming convention from actual to formal is missing

  #56 opened 6 years ago by fredfeng
  1

• Function extraction bug: "Error: 'NoneType' object has no attribute 'is_private'"

  #48 opened 7 years ago by 0xl3x1
  0

• bulk_analyser/analyse.py: unclean exit with Souffle left running

  #49 opened 7 years ago by 0xl3x1
  2

• Incomplete bats test leaves graph.pdf and fails on next run

  #46 opened 7 years ago by 0xl3x1
  0

• Automatic ERC20 token contract identification

  #17 opened 7 years ago by zyzek
  0

• Test harness using bats

  #10 opened 7 years ago by 0xl3x1
  1

• Nondeterminism makes testing expected output hard

  #8 opened 7 years ago by 0xl3x1
  3

• Metropolis opcodes

  #11 opened 7 years ago by zyzek
  1

• [IL] Plain IL output format

  #38 opened 7 years ago by 0xl3x1
  0

• [IL] Make variable-constant substitutions toggleable via config file / command line flag

  #37 opened 7 years ago by 0xl3x1
  0

• Variable size constraint

  #31 opened 7 years ago by zyzek
  0

• Proper testing

  #30 opened 7 years ago by zyzek
  0

• Better intermediate language

  #29 opened 7 years ago by zyzek
  0

• Improved graph graphics

  #28 opened 7 years ago by zyzek
  0

• Better handling of contract creation code

  #27 opened 7 years ago by zyzek
  0

• More-efficient arithmetic calculations with entry stack deltas

  #26 opened 7 years ago by zyzek
  0

• Flag to allow widening to carry over between dataflow rounds

  #25 opened 7 years ago by zyzek
  0

• More vulnerability specifications

  #24 opened 7 years ago by zyzek
  0

• Strongly connected component dataflow order

  #22 opened 7 years ago by zyzek
  0

• Procedure cloning at the strongly connected component level

  #23 opened 7 years ago by zyzek
  0

• Analytics input and output

  #21 opened 7 years ago by zyzek
  0

• Better names for joined variables, indicating their origin

  #20 opened 7 years ago by zyzek
  0

• Automated identification of high level source language

  #19 opened 7 years ago by zyzek
  0

• Improved state data structures

  #18 opened 7 years ago by zyzek
  0

• Prepare detailed documentation / wiki for public release

  #16 opened 7 years ago by zyzek
  0

• Richer opcode semantics

  #15 opened 7 years ago by zyzek
  0

• Memory and State

  #14 opened 7 years ago by zyzek
  0

• Change "TAC" to "IL" in cfg names.

  #13 opened 7 years ago by zyzek
  0

• Delayed body execution for dataflow solution

  #12 opened 7 years ago by zyzek
  0

• Pipeline analysis bin script

  #9 opened 7 years ago by 0xl3x1
  0

• setuptools-complaint package structure

  #5 opened 7 years ago by 0xl3x1
  1