Inverso™

Inverso is the ultimate and next generation decompiler made and handly crafted by our artisans in Italy. Italians are well famous for crafting and producing the best products in cusine, in the automotive sector and in the pharmacological sector. We believe we created the state-of-art decompiler that enables us to deep software engineering by mastering reverse engineering.

Today it is not uncommon for a software development company to use third-party components that are provided without source code. In such cases it is often desired to verify that these components do not include malicious code and have no security loopholes.

It is also a common situation when some legacy software is used for years, and its source code has been lost. In such a situation, a need may arise to fix errors in this software, improve its performance, or adapt it to the changed requirements.

Such problems are addressed by reverse engineering. Software reverse engineering may involve decompilation — translation of machine code or bytecode obtained from a compiler back into the source code in the original high-level language. Note that decompilation output will not be textually equivalent to the original source code, and is likely to be less comprehensible to a human.

Steps of decompilation

Inverso™ performs decompilation in several steps:

1. Parsing of the input file.
2. Disassembly of the file’s code sections.
3. Construction of the control flow graph.
4. Isolation of functions.
5. Analysis of functions:
   • Joint reaching definitions and constant propagation analysis.
   • Reconstruction of local variables, function’s arguments and return values.
   • Liveness analysis.
6. Reconstruction of integral and composite types.
7. Structural analysis, including the reconstruction of compound conditions and loops.
8. High-level program generation, optimization, and output.

Current supported architectures

• AArch64, ARM7-a, ARM8-a, and Apple Silicon specific assembly

• x86-64 and x86 Intel

• Contact us for a price

INVERSO™ is a registered trademark and thus can not be used, unless for advertisements made under QuerciaLabs name.