pirapira/dry-analyzer

Issues

• Error: The implementation CoqNat.ml does not match the interface CoqNat.cmi: Values do not match: val zero : int is not included in val zero : Decimal.int File "CoqNat.mli", line 6, characters 0-14: Expected declaration File "CoqNat.ml", line 8, characters 4-8: Actual declaration Command exited with code 2. Compilation unsuccessful after building 38 targets (0 cached) in 00:00:01.

  #55 opened 5 years ago by Ywmet
  1

• Need explanation of an ouput

  #54 opened 7 years ago by domainexpert
  0

• Build failure: Nat.ltb was not found in the current environment

  #52 opened 7 years ago by domainexpert
  2

• UI/UX Update

  #51 opened 7 years ago by pindaroso
  0

• Set up continuous integration

  #27 opened 8 years ago by pirapira
  1

• Receive the contract in POST, not GET method

  #50 opened 7 years ago by pirapira
  0

• In case of runtime failure, show the last instruction.

  #48 opened 7 years ago by pirapira
  0

• fwd and bck buttons forgets the initial storage content

  #46 opened 7 years ago by pirapira
  0

• (get32 (0x40) (empty)) is always zero

  #34 opened 7 years ago by pirapira
  1

• get32 (0xa0) (codecopy mem: (0x60), code: (0x439), size: (0x60)) should turn into a concrete number

  #43 opened 7 years ago by pirapira
  0

• "next" "prev" buttons

  #39 opened 7 years ago by pirapira
  0

• VM trace log enricher

  #11 opened 7 years ago by pirapira
  1

• When CREATing something, show the init code it's sending

  #44 opened 7 years ago by pirapira
  0

• if taken memory is known, do not continue

  #42 opened 7 years ago by pirapira
  0

• (get_storage (0x0) (storage_write at: (0x0), val: (0x2) (initial storage))) should be simplified

  #37 opened 7 years ago by pirapira
  1

• Asub' is incorrect in case of underflow

  #40 opened 7 years ago by pirapira
  0

• (get32 (0x40) (empty) should be simplified to zero

  #38 opened 7 years ago by pirapira
  0

• a_mem_to_str: codecopy not implemented

  #41 opened 7 years ago by pirapira
  0

• Ability to specify the initial storage contents

  #36 opened 7 years ago by pirapira
  0

• "(0x60) is not zero." is always true

  #33 opened 7 years ago by pirapira
  1

• Check if HTML is valid

  #35 opened 7 years ago by pirapira
  0

• Classify expressions

  #32 opened 7 years ago by pirapira
  0

• Design classification of expressions

  #31 opened 7 years ago by pirapira
  1

• Simplify concatenation on memory

  #23 opened 7 years ago by pirapira
  0

• An option to focus on publicly reachable execution paths

  #28 opened 7 years ago by pirapira
  0

• Focus on one execution path.

  #21 opened 8 years ago by pirapira
  0

• Consider the max size of the stack

  #16 opened 7 years ago by pirapira
  1

• Consider divide by zero

  #15 opened 8 years ago by pirapira
  1

• First split the program into basic blocks and then analyze each block

  #18 opened 8 years ago by pirapira
  0

• Unimplemented opcode DELEGATECALL

  #17 opened 8 years ago by pirapira
  1

• What happens after `CALL`

  #12 opened 8 years ago by pirapira
  1

• Unimplemented informational opcodes `ORIGIN` `CODESIZE` `GASPRICE`

  #9 opened 8 years ago by pirapira
  2

• Unimplemented opcode `CREATE`

  #8 opened 8 years ago by pirapira
  1

• Unimplemented opcode `EXTCODECOPY`

  #10 opened 8 years ago by pirapira
  1

• Add MSIZE instruction

  #1 opened 8 years ago by pirapira
  1

• Unimplemented opcodes from `SWAP11` to `SWAP16`

  #7 opened 8 years ago by pirapira
  1

• Unimplemented arithmetic opcodes `SDIV` `MOD` `SMOD` `ADDMOD` `MULMOD`

  #6 opened 8 years ago by pirapira
  2

• Provide optimized arithmetics for multiplication

  #14 opened 8 years ago by pirapira
  0

• Test the analyzer against the blockchain data

  #13 opened 8 years ago by pirapira
  0

• Support inputs not starting with "0x"

  #2 opened 8 years ago by pirapira
  3

• Merge multiple clauses with the same behavior

  #4 opened 8 years ago by pirapira
  0

• Keeping track of the logged events

  #3 opened 8 years ago by pirapira
  0