Skip to content

Pull requests: trailofbits/manticore

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

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…
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 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…
Use pyproject toml
#2616 opened Jan 15, 2023 by ekilmer Draft
Symbolic start
#2604 opened Dec 2, 2022 by sschriner Draft
Cache method resolution in visitors ?
#2557 opened May 31, 2022 by feliam Loading…
Use mprocessing config for evm report workers
#2481 opened Aug 24, 2021 by tcode2k16 Loading…
Start new workers as more states are killed
#2450 opened May 9, 2021 by ggrieco-tob Loading…
[Do Not Merge] dev-evm-experiments
#2402 opened Mar 24, 2021 by montyly Loading…
Test Python 3.8 and 3.10 in CI
#2398 opened Mar 4, 2021 by ekilmer Draft
1 of 2 tasks
Better control of gas accounting
#1823 opened Dec 7, 2020 by feliam Loading…
Heap Tracker CHESS
#1805 opened Sep 25, 2020 by sschriner Draft
New exploration stopping condition
#1799 opened Aug 27, 2020 by feliam Draft
strcmp dev native models
#1787 opened Aug 4, 2020 by sschriner Draft
Dev exp unsound
#1759 opened Jul 1, 2020 by feliam Draft
Slottify expressions
#1729 opened Jun 15, 2020 by feliam Draft
[WIP] Transaction displacement attack detector
#1698 opened May 7, 2020 by smoelius Loading…
ProTip! Follow long discussions with comments:>50.