search

angr / angr-dev

Some helper scripts to set up an environment for angr development.
BSD 2-Clause "Simplified" License
114 stars 95 forks source link

Prefer `angr` repos to external repos? #167

Closed zwimer closed 1 year ago

zwimer commented 1 year ago

In extremely-simple-setup.py at https://github.com/angr/angr-dev/blob/0f43373411408bbee56e0ecc74256f65be2e3581/extremely-simple-setup.sh#L51

These repos contain links to things like https://github.com/salls/angrop.git; should we instead prefer https://github.com/angr/angrop.git and such (if they exist)? That one, like rex, just redirects to angr's anyway.

zwimer commented 1 year ago

@twizmwazin Thoughts?

ltfish commented 1 year ago

We have moved angrop to the angr organization, so we should use https://github.com/angr/angrop.git. It's the same for rex.