mborgerson

Unfortunately, booting cromwell is not possible without a proper MCPX ROM and associated X-code interpreter. Cromwell is not encrypted, but uses the x-code interpreter to do basic system init before...

Test `test_decompiling_amp_challenge_07` may fail sometimes on CI

2

Test `test_decompiler.TestDecompiler::test_decompiling_amp_challenge_07` has errored out at seemingly random times for me on CI for workflow runs of two different PRs. After running the workflow again without any changes, suddenly it...

Decompilation optimization pass should simplify expression `(x - y) != 0`

1

--- **Is your feature request related to a problem? Please describe.** `(x - y) != 0` can be unnatural **Describe the solution you would like.** This expression can be directly...

Closing dock widget causes split widgets to retab

2

* Drag a view to the right * Close one view in the group of tabs on the left * The view on the right will suddenly join the original...

Back button can cause pseudocode view to close

2

* Open angr-management * Select pseudocode tab * Click Back navigation button (left-pointing green arrow at bottom of pseudocode view) * Tab closes for some reason Expected: * Do nothing...

Views should show an indication that they are synchronized

1

Maybe in the title bar, show some indication that a view is synchronized. Currently the only way to know is by the effect of moving the cursor, or from the...