Antonio Frighetto
Antonio Frighetto
This MR is intended to make the lifted IR module optimized with `EnforceABI` executable.
Consider the following C snippet: ```c int foo(int num, int sqr) { switch(num) { case 1: return num * 5; case 2: return num
SPEC2006 binary `astar_base.x86_64-gentoo-linux-musl-gcc-static-native` fails revng translation due to assertion triggered in `DwarfImporter`. **Crash log:** ``` Assertion failed at /home/antonio/orchestra/sources/revng/lib/DwarfImporter/DwarfImporter.cpp:234 isType(Tag) #0 0x00007fe52329e2b9 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /home/antonio/orchestra/sources/llvm/llvm/lib/Support/Unix/Signals.inc:568:13 #1 0x00007fe524719846 print_stack_trace() /home/antonio/orchestra/sources/revng/lib/Support/Assert.cpp:20:1 #2...
`model::Binary::verify` fails when importing DWARF, due to dynamic functions having no SymbolName. **Crash log:** ``` Abort at /home/antonio/orchestra/sources/revng/include/revng/Model/VerifyHelper.h:80: Dynamic functions must have a SymbolName #0 0x00007fdba1e6b2c9 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /home/antonio/orchestra/sources/llvm/llvm/lib/Support/Unix/Signals.inc:568:13 #1...
StackAnalysis correctly detects `rax` as function argument – however, this is in contradiction with the specifics of the x86-64 ABI. Consider this function prologue: ``` 0000000000402430 push r14 0000000000402432 push...
Inconsistencies of basic block names were found while lifting binaries. For example, consider [`__unlock`](https://github.com/lsds/musl/blob/6516282d2adfad2c7e66d854cde3357120c75dbd/src/thread/__lock.c#L52) function, a musl libc private routine, part of `printf` function used by the homonymous revng-qa [test...
The GH bio is reportedly not as informative as it looks like. Does the user need to know that revng is the core component? Looks unclear? Perhaps _A static binary...
`swift::performLLVMOptimizations` was recently changed as part of https://github.com/apple/swift/pull/68985.