mborgerson
mborgerson
The current concept of the KnowledgeBase is knowledge about a program/project, typically the initial state of the program, but not exclusively. angr supports creating new KB's, and some analyses take...
If we discover an assertion in analyzed code: * Recover variable names from assertion text * Recover source code filenames, etc. + annotate * Simplify function logic to just show...
https://docs.github.com/en/communities/using-templates-to-encourage-useful-issues-and-pull-requests/syntax-for-issue-forms
--- **Describe the bug.** Given a simple function to compute the Fibonacci sequence: ```python import angr, subprocess with open('tmp.c', 'w') as f: f.write(''' int fib(int x) { int f[2] =...
--- **Is your feature request related to a problem? Please describe.** ```c if (cond) { } else { action(); } ``` **Describe the solution you would like.** This can be...
I'm not sure why yet but building in 64b mode creates a reproducible bad ISO with the "Halo 2 Multiplayer Map Pack" ~~and "Call of Duty: Big Red One"~~ game...
https://github.com/mborgerson/mdec/tree/master/backend/r2dec/mdec-r2dec
https://github.com/mborgerson/mdec/tree/master/backend/jeb
As a vendor (but also possibly of interest to users), I want to: * See tool statistics across all binaries and tools (performance of all tools across all binaries) *...
Eventually we will want to compare different versions of decompilers to see how they evolve over the years, this should be an option similar to how CompilerExplorer does it with...