Skip to content

Pull requests: trailofbits/deepstate

New pull request New
8 Open 166 Closed
8 Open 166 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

Downgrade Docker 16.04 to upgrade llvm
#394 opened Feb 10, 2022 by acpaquette Loading…
3
Update the Docker to Base off of Ubuntu 20.04 (focal) rather than 18.04
#365 opened Dec 10, 2020 by agroce Loading…
1
Allow tests to read all the variable-size concrete data
#310 opened Jan 5, 2020 by neuromancer Loading…
6
Initial crash triaging support for DeepState harnesses
#288 opened Dec 18, 2019 by ex0dus-0x Loading…
4 tasks
1
mode to create standalone test output automatically [WIP]
#209 opened Jun 12, 2019 by agroce Loading…
8
Improved Manticore exploration default policy
#182 opened Apr 30, 2019 by ggrieco-tob • Draft
2
Use clang-6 for CI testing
#181 opened Apr 30, 2019 by ggrieco-tob Loading…
S2E support
#155 opened Dec 30, 2018 by adrianherrera Loading…
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.