Comments (4)
loiluu
commented on September 13, 2024
Thanks Joseph for reporting the issue. The tool is still under heavy
development so bugs are expected. Can you please provide more details on
how did you run it? Did you run it from our docker or you downloaded the
tool and run locally?
Thanks,
Loi Luu
from oyente.
joeykrug
commented on September 13, 2024
Sure, first I tried the docker, then got this result. So then I updated to
latest version from this repo via git clone and still got the same result
On Sat, Apr 1, 2017 at 8:26 PM Loi Luu <[email protected]> wrote:
Thanks Joseph for reporting the issue. The tool is still under heavy
development so bugs are expected. Can you please provide more details on
how did you run it? Did you run it from our docker or you downloaded the
tool and run locally?
On Sun, 2 Apr 2017 at 11:00 AM, Joseph Krug ***@***.***> wrote:
I love the idea of a tool like this. Great to see it being worked on and
would love to use it for Augur.
When testing with The DAO's original bytecode [pulled from
https://github.com/slockit/DAO/wiki/The-DAO-v1.0-Code] however it doesn't
throw any errors whatsoever.
Running, please wait...
============ Results ===========
CallStack Attack: False
Concurrency Bug: False
Time Dependency: False
Reentrancy bug exists: False
====== Analysis Completed ======```
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
<#44>, or mute the thread
<
.
--
Thanks,
Loi Luu
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
<#44 (comment)>,
or mute the thread
<https://github.com/notifications/unsubscribe-auth/AFpsMc1Ctz1GdAppvuzd241b-T1_da2Jks5rrxWAgaJpZM4MwrpV>
.
from oyente.
inian
commented on September 13, 2024
I am seeing that the version of disasm we are using crashes with this error when run with thedao evm
cat thedao.evm | disasm
10837 PUSH4panic: runtime error: slice bounds out of range
goroutine 1 [running]:
main.main()
/build/ethereum-ZiWkDO/ethereum-1.5.0+1067SNAPSHOT20160915114521trusty/obj-x86_64-linux-gnu/src/github.com/ethereum/go-ethereum/cmd/disasm/main.go:45 +0x6ae
goroutine 17 [syscall, locked to thread]:
runtime.goexit()
/usr/lib/go/src/runtime/asm_amd64.s:1696 +0x1
goroutine 5 [select]:
github.com/ethereum/go-ethereum/logger.dispatchLoop()
/build/ethereum-ZiWkDO/ethereum-1.5.0+1067SNAPSHOT20160915114521trusty/obj-x86_64-linux-gnu/src/github.com/ethereum/go-ethereum/logger/sys.go:81 +0x624
created by github.com/ethereum/go-ethereum/logger.init.1
/build/ethereum-ZiWkDO/ethereum-1.5.0+1067SNAPSHOT20160915114521trusty/obj-x86_64-linux-gnu/src/github.com/ethereum/go-ethereum/logger/sys.go:60 +0x2b
goroutine 6 [chan receive]:
github.com/ethereum/go-ethereum/logger/glog.(*loggingT).flushDaemon(0x95b220)
/build/ethereum-ZiWkDO/ethereum-1.5.0+1067SNAPSHOT20160915114521trusty/obj-x86_64-linux-gnu/src/github.com/ethereum/go-ethereum/logger/glog/glog.go:931 +0x67
created by github.com/ethereum/go-ethereum/logger/glog.init.1
/build/ethereum-ZiWkDO/ethereum-1.5.0+1067SNAPSHOT20160915114521trusty/obj-x86_64-linux-gnu/src/github.com/ethereum/go-ethereum/logger/glog/glog.go:460 +0x6f
from oyente.
loiluu
commented on September 13, 2024
Turned out that the issue is because geth disasm couldn't disassemble the binary properly. Reported the issue to the geth team here
from oyente.
Related Issues (20)
- Solidity 0.6.x
- Option -r has issues
- Having trouble with newest verions solc:0.8.0 as `solc` is now `solcjs`
- Reentrancy detection machanism
- Upcoming changes in CryticCompile
- Nurses
- How to use the oyente to batch test smart contracts？ HOT 2
- docker
- First or second argument must be a Z3 bit-vector expression HOT 1
- ModuleNotFoundError: No module named 'crytic_compile' HOT 2
- Any plan to support solc 0.8.x HOT 1
- Bugs HOT 3
- Bad return value HOT 2
- Error: Expected identifier, got 'LParen' HOT 1
- Exception on binary contract
- UNKNOWN INSTRUCTION: SHL HOT 2
- Why does Oyente report different results on virtually identical contracts?
- docker not run HOT 1
- Installation Error
- python3 error in docker
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from oyente.