enzymefinance/oyente

Issues

• python3 error in docker

  #453 opened 2 years ago by INT2ECALL
  0

• Installation Error

  #452 opened 2 years ago by Jesserc
  0

• docker not run

  #450 opened 2 years ago by abing258
  1

• ModuleNotFoundError: No module named 'crytic_compile'

  #429 opened 3 years ago by Ajeeshb
  2

• UNKNOWN INSTRUCTION: SHL

  #437 opened 2 years ago by mrx23dot
  2

• Bad return value

  #433 opened 3 years ago by mrx23dot
  2

• How to use the oyente to batch test smart contracts？

  #426 opened 3 years ago by simin98
  2

• Bugs

  #432 opened 3 years ago by hansholani
  3

• Why does Oyente report different results on virtually identical contracts?

  #445 opened 2 years ago by gsalzer
  0

• Exception on binary contract

  #436 opened 3 years ago by mrx23dot
  0

• Update to Python 3

  #411 opened 4 years ago by Mikerah
  7

• Error: Expected identifier, got 'LParen'

  #435 opened 3 years ago by chaitudapp
  1

• Any plan to support solc 0.8.x

  #430 opened 3 years ago by soulmachine
  1

• First or second argument must be a Z3 bit-vector expression

  #428 opened 3 years ago by rjx18
  1

• docker

  #427 opened 3 years ago by 161424
  0

• Vulnerabilities Detected by Oyente

  #361 opened 6 years ago by TlxTejaswi
  3

• Nurses

  #418 opened 4 years ago by oyedam
  0

• Upcoming changes in CryticCompile

  #417 opened 4 years ago by montyly
  0

• Reentrancy detection machanism

  #416 opened 4 years ago by coderlrj
  0

• Having trouble with newest verions solc:0.8.0 as `solc` is now `solcjs`

  #414 opened 4 years ago by anupam-io
  0

• Option -r has issues

  #413 opened 4 years ago by fang19911030
  0

• Solidity 0.6.x

  #412 opened 4 years ago by eerkaijun
  0

• Latest solidity support

  #393 opened 5 years ago by mstad
  58

• chore: more robust logging

  #408 opened 4 years ago by yxliang01
  0

• Question about the sym_exec_ins function in the file 'SymExec.py'

  #403 opened 4 years ago by fCorleone
  0

• Question about some absurd reported cases

  #402 opened 5 years ago by renardbebe
  3

• Z3 not available, Error while running smart contract for security analysis

  #384 opened 5 years ago by ayesha99
  11

• Constructor not supported

  #399 opened 5 years ago by letbecool
  2

• how to target a specified contract in a solidity file

  #397 opened 5 years ago by qiana0223
  8

• ci: test for multiple solc versions

  #396 opened 5 years ago by yxliang01
  0

• ci: build docker image

  #395 opened 5 years ago by yxliang01
  0

• chore: deprecating python2 support

  #394 opened 5 years ago by yxliang01
  0

• Solidity compilation failed

  #391 opened 5 years ago by lukasdenk
  8

• Usage question

  #390 opened 5 years ago by AnonymousMonkey2021
  2

• Error while building image from dockerfile

  #388 opened 5 years ago by anhdungle93
  5

• docker: make building of web component optional

  #387 opened 5 years ago by yxliang01
  0

• Exception:Source map error

  #360 opened 5 years ago by Xcrab
  13

• Container EVM Version Warning

  #386 opened 5 years ago by fang19911030
  4

• docker build issue

  #382 opened 5 years ago by yxliang01
  2

• docker: multi-stage build

  #383 opened 5 years ago by yxliang01
  0

• Printing all path conditions not working?

  #364 opened 5 years ago by yxliang01
  0

• generate-graphs.py

  #365 opened 6 years ago by Maryam-Imani
  1

• the paper link is 403 forbidden

  #376 opened 5 years ago by xizyj
  1

• How to output the result to a designate file

  #373 opened 5 years ago by yz1019117968
  1

• IndexError: pop from empty list

  #372 opened 5 years ago by enderphan94
  1

• How many smart contract problems can Oyente detect today？

  #369 opened 5 years ago by xf97
  6

• ecrecover related bugs are not detected

  #368 opened 5 years ago by HarryR
  0

• What is Money Concurrency bug?

  #366 opened 6 years ago by bishwascg
  0

• Understand a vulnerable contract marked by Oyente

  #363 opened 6 years ago by div-code
  0

• Status of -gtc switch

  #362 opened 6 years ago by yxliang01
  1