angr/angr-dev

Some helper scripts to set up an environment for angr development.

Stars: 124
Forks: 101
Open beginner issues: 0
Indexed issues: 2

Dominant language: Shell
License: BSD-2-Clause
Last GitHub push: Aug 6, 2026
Latest indexed: Sep 13, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Open All

2 open issues indexed

Trim native depedencies in setup.sh Open

enhancement

angr/angr-dev#144 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Editable build in strict mode (#187) prevents git updates and breaks angr management plugins Open

bug

angr/angr-dev#188 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 13, 2026

A short digest of beginner-friendly GitHub issues.