Skip to content

Pull requests: trailofbits/manticore

New pull request New
Clear current search query, filters, and sorts
25 Open 1,225 Closed
25 Open 1,225 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Start new workers as more states are killed
#2450 opened May 9, 2021 by ggrieco-tob Loading…
1
3
Fix config.py so it is reproducible
#1636 opened Mar 19, 2020 by feliam • Draft
1
2
Model of basic_string::append(char *)
#1675 opened Apr 22, 2020 by sschriner • Draft
@sschriner
1
[WIP] Transaction displacement attack detector
#1698 opened May 7, 2020 by smoelius Loading…
1
Slottify expressions
#1729 opened Jun 15, 2020 by feliam • Draft
1
75
Dev exp unsound
#1759 opened Jul 1, 2020 by feliam • Draft
strcmp dev native models
#1787 opened Aug 4, 2020 by sschriner • Draft
1
@sschriner
New exploration stopping condition
#1799 opened Aug 27, 2020 by feliam • Draft
Heap Tracker CHESS
#1805 opened Sep 25, 2020 by sschriner • Draft
@sschriner
9
Better control of gas accounting
#1823 opened Dec 7, 2020 by feliam Loading…
1
3
Test Python 3.8 and 3.10 in CI
#2398 opened Mar 4, 2021 by ekilmer • Draft
1 of 2 tasks
2
[Do Not Merge] dev-evm-experiments
#2402 opened Mar 24, 2021 by montyly Loading…
Connect to eth node
#1580 opened Jan 3, 2020 by smoelius Loading… Release Manticore 0.3.4
1
96
Delay smt-solving until it is absolutely necessary in EVM ethereum
#2425 opened Apr 6, 2021 by ggrieco-tob Loading…
13
Increase the default size of the symbolic value when using manticore EVM from command line
#2462 opened Jun 23, 2021 by ggrieco-tob Loading…
1
Chess changes breakout for upstream
#2469 opened Jul 19, 2021 by ekilmer • Draft
29
Use mprocessing config for evm report workers
#2481 opened Aug 24, 2021 by tcode2k16 Loading…
2
Cache method resolution in visitors ?
#2557 opened May 31, 2022 by feliam Loading…
Add the youtube example vt.sol file to the example folder
#2581 opened Aug 17, 2022 by sschriner Loading… Manticore 0.4.0
added the worker termination reinstantiation code
#2597 opened Oct 17, 2022 by PavanKumarChaparla Loading… Manticore 0.4.0
2
Symbolic start
#2604 opened Dec 2, 2022 by sschriner • Draft
1
Use pyproject toml
#2616 opened Jan 15, 2023 by ekilmer • Draft
Bump pypa/gh-action-pip-audit from 1.0.6 to 1.0.8 dependencies Pull requests that update a dependency file
#2639 opened May 24, 2023 by dependabot bot Loading…
Bump pypa/gh-action-pypi-publish from 1.6.4 to 1.8.8 dependencies Pull requests that update a dependency file
#2646 opened Jul 12, 2023 by dependabot bot Loading…
Bump coverallsapp/github-action from 2.1.0 to 2.2.1 dependencies Pull requests that update a dependency file
#2647 opened Jul 14, 2023 by dependabot bot Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.