Skip to content

/ manticore

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

148 Open 521 Closed
148 Open 521 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
How can I obtain the constraint for each explored path? idea
#1723 opened Jun 4, 2020 by justinwm
1
Flaw in `__get_related` core logic
#1679 opened Apr 24, 2020 by smoelius
@feliam
1
Rust "test_hello_world" test case is slow testing
#1665 opened Apr 14, 2020 by bradlarsen
1
Add properties verifier mode
#1664 opened Apr 13, 2020 by montyly
@feliam
Add support for debug symbols to Manticore idea
#1653 opened Apr 3, 2020 by bradlarsen
2
Solc Support Problem
#1643 opened Mar 31, 2020 by Miller-kk
2
Zero division improperly handled on Wasm and Linux platforms
#1642 opened Mar 28, 2020 by jimpo
1
This will possibly lock the first finding
#1626 opened Mar 10, 2020 by feliam
Strange behavior in transferring a token (my_token.py in the tutorial)
#1619 opened Feb 24, 2020 by moonhyeonah
2
Cleanup Manticore workspace when a test passes good first issue testing
#1617 opened Feb 21, 2020 by ekilmer
3
Manticore sometimes hangs when a worker exits unexpectedly bug
#1616 opened Feb 20, 2020 by bradlarsen
3
Invalid solc compilation : is it a correct error message?
#1611 opened Feb 5, 2020 by SunBeomSo
@montyly
6
Feature request: Automatic conversion of tx.return_data ethereum help wanted idea
#1595 opened Jan 23, 2020 by montyly
2
Feature request: Improve API to retrieve transactions ethereum help wanted idea
#1594 opened Jan 23, 2020 by montyly
1
Incorporate typeguard pytest plugin testing
#1584 opened Jan 7, 2020 by smoelius
@bradlarsen
1 1
Timeout option does not work. bug
#1581 opened Jan 5, 2020 by SunBeomSo
1
m.c.worker:ERROR: Exception object cannot be interpreted as an integer bug
#1575 opened Dec 16, 2019 by z3roTo0ne
5
Add support for Istanbul ethereum
#1569 opened Dec 3, 2019 by montyly
Bring in all used crytic compile configuration parameters ethereum
#1546 opened Nov 4, 2019 by feliam
SolverError Problem bug
#1532 opened Oct 8, 2019 by Miller-kk
@feliam
Mutexes for global context are not reliable bug
#1528 opened Sep 24, 2019 by tpetersonkth
@feliam
1
New feature: built-in exploit generation API api challenge idea research
#1496 opened Jul 26, 2019 by montyly
Assertion failure: assert value.size == self.size when gas is ignored ethereum help wanted priority-high
#1493 opened Jul 22, 2019 by ggrieco-tob
@feliam
1
Add the Sereum paper examples to test manticore reentrancy detector Hacktoberfest challenge easy good first issue help wanted testing
#1490 opened Jul 20, 2019 by ggrieco-tob
Implement FXRSTOR and FXLOAD Hacktoberfest help wanted
#1489 opened Jul 19, 2019 by MrSynAckSter-zz
3
ProTip! Mix and match filters to narrow down what you’re looking for.
You can’t perform that action at this time.