angr/angr-dev

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

Stelle: 124
Fork: 101
Issue aperte per principianti: 0
Issue indicizzate: 2

Lingua principale: Shell
Licenza: BSD-2-Clause
Ultimo push su GitHub: 6/8/2026
Ultima indicizzazione: 13/9/2026
Guida per i contributori: Nessuna guida per i contributori
Codice di condotta: Nessun codice di condotta
Label per principianti: Nessuna label per principianti indicizzata
Metriche di merge delle PR: Nessuna PR unita negli ultimi 30g

Aperta Tutte

2 issue aperte indicizzate

Trim native depedencies in setup.sh Aperta

enhancement

angr/angr-dev#144 · 3 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Editable build in strict mode (#187) prevents git updates and breaks angr management plugins Aperta

bug

angr/angr-dev#188 · 1 commento · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026

Un breve riepilogo di issue GitHub adatte ai principianti.