angr-management icon indicating copy to clipboard operation
angr-management copied to clipboard

Published 20 hours ago • verified publisher icon angr

'Save angr database' menu options should be disabled if there is no active project

Open mborgerson opened this issue 2 years ago • 1 comments

mborgerson avatar May 04 '22 20:05 mborgerson

This issue has been marked as stale because it has no recent activity. Please comment or add the pinned tag to prevent this issue from being closed.

github-actions[bot] avatar Sep 02 '22 02:09 github-actions[bot]

This also causes some level of freezing. So I'm adding bug.

zwimer avatar Dec 07 '22 03:12 zwimer