This commit fixes all the non-compliance with our preliminary clang-tidy configuration, which will be merged soon.
Architecture-agnostic and ABI-independent data-flow analyses that traverse the recovered functions in order to detect arguments and return values registers.