mborgerson

Results 386 issues of 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...

enhancement

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...

enhancement

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] =...

bug

--- **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

enhancement
new-decompiler

https://github.com/mborgerson/mdec/tree/master/backend/jeb

enhancement
new-decompiler

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) *...

enhancement

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...

enhancement