kupl/VeriSmart-public

Issues

• "--outdir" in mode "exploit" is not worked

  #18 opened 3 months ago by iceray00
  0

• trouble building

  #17 opened 6 months ago by badar-chachar
  0

• How can verification time be reduced while maintaining accuracy?

  #16 opened 8 months ago by shikahJS
  0

• undefined symbol: Z3_fixedpoint_pop

  #14 opened 8 months ago by whbjzzwjxq
  2

• Environment configuration issues

  #15 opened 8 months ago by lomos237
  2

• Conflict issues with ocmal versions

  #11 opened 2 years ago by xiaoguaishouaaa
  6

• I would like to ask if this program can directly detect the bytecode of the contract?

  #13 opened 2 years ago by kwg126
  1

• Verify timeout

  #10 opened 2 years ago by acmRecife
  1

• Error in solc running ./main.native

  #9 opened 2 years ago by jcrreis
  1

• Unsupported Revert Statement

  #8 opened 2 years ago by elizabethdinella
  0

• Interface Deviations

  #5 opened 2 years ago by elizabethdinella
  4

• Assertion fails in OS X

  #3 opened 2 years ago by echohermion
  1

• How to use src/exploit/train.py

  #4 opened 2 years ago by summer-gcc
  2

• Getting compilation error in OS X with test contracts

  #2 opened 3 years ago by nettrino
  9

• Compilation fails on Debian 11 with ocaml 4.11.1

  #1 opened 3 years ago by nettrino
  5