Manticore and Mythril #5
Labels
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: shopglue/ziion-tools#5
Loading…
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
pip install of manticore
0.3.7
is incompatible with python>=3.10
in Ubuntu 22.04https://github.com/trailofbits/manticore/issues/2577
marked this issue as related to reel/ziion-tools#1
mentioned in issue reel/ziion-tools#1
changed the description
Notes on Docker usage. Will need documentation somewhere.
https://github.com/trailofbits/manticore/wiki/Docker-notes
Docker should work needs testing
changed title from Manticore to Manticore{+ and Mythril+}
Same story with mythril on 22.04 and need for enhanced docker usage instructions. Needs testing for docker usage
https://github.com/ConsenSys/mythril/wiki/With-Docker
mentioned in issue shopglue/ziion-tools#1
moved from reel/ziion-tools#6
mentioned in issue #1
mentioned in commit reel/ziion-tools@a8756b55a4
marked this issue as related to #8
marked this issue as related to #9
Need to find a better testing env for ARM with desktop support.
Both error out on install.
(Click to expand manticore code)
(Click to expand mythril code)
Both mythril and Manticore containers are amd64.
https://hub.docker.com/r/trailofbits/manticore/tags
https://hub.docker.com/r/mythril/myth/tags
Discuss
This will require exploring trying to get them to add the arm64 build upstream before I consider creating a custom build, see table below. Maintaining that snowflake for the unicorn (to me) use case of Ubuntu 20.04 Desktop on ARM...
iwamatsu@nigauri.org
lz4
r131
to1.8.0
in Debian for Ubuntu 18.04.dom
cpan
I removed the dead links that were on the table. It would have helped fill in detail but I can describe it more in the interview.
mentioned in merge request !2