Skip to content
This repository has been archived by the owner on May 26, 2023. It is now read-only.

Issues: enzymefinance/oyente

65 Open 127 Closed
65 Open 127 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

python3 error in docker
#453 opened May 26, 2023 by INT2ECALL
Installation Error
#452 opened May 21, 2023 by Jesserc
Why does Oyente report different results on virtually identical contracts?
#445 opened Jul 15, 2022 by gsalzer
Exception on binary contract
#436 opened Feb 5, 2022 by mrx23dot
Error: Expected identifier, got 'LParen'
#435 opened Jan 30, 2022 by chaitudapp
1
Bad return value
#433 opened Jan 26, 2022 by mrx23dot
2
Bugs
#432 opened Jan 26, 2022 by hansholani
3
Any plan to support solc 0.8.x
#430 opened Jan 20, 2022 by soulmachine
1
ModuleNotFoundError: No module named 'crytic_compile'
#429 opened Jan 12, 2022 by Ajeeshb
2
How to use the oyente to batch test smart contracts？
#426 opened Oct 28, 2021 by simin98
2
Nurses
#418 opened May 6, 2021 by oyedam
Upcoming changes in CryticCompile
#417 opened Apr 26, 2021 by montyly
Reentrancy detection machanism
#416 opened Mar 9, 2021 by coderlrj
Having trouble with newest verions solc:0.8.0 as solc is now solcjs
#414 opened Jan 5, 2021 by anupam-io
Option -r has issues
#413 opened Dec 7, 2020 by fang19911030
Solidity 0.6.x
#412 opened Nov 21, 2020 by eerkaijun
Update to Python 3
#411 opened Oct 10, 2020 by Mikerah
7
chore: more robust logging enhancement help wanted
#408 opened Sep 4, 2020 by yxliang01
@yxliang01
Question about the sym_exec_ins function in the file 'SymExec.py'
#403 opened Jul 30, 2020 by fCorleone
Question about some absurd reported cases
#402 opened Jul 3, 2020 by renardbebe
3
ci: test for multiple solc versions build enhancement
#396 opened May 18, 2020 by yxliang01
ci: build docker image build enhancement help wanted
#395 opened May 18, 2020 by yxliang01
chore: deprecating python2 support enhancement help wanted
#394 opened May 17, 2020 by yxliang01
Latest solidity support
#393 opened May 11, 2020 by mstad
58
docker: multi-stage build build enhancement
#383 opened Mar 26, 2020 by yxliang01
ProTip! Type g i on any issue or pull request to go back to the issue listing page.