Radare

Mentors: Student: Jiaxiang Zhou

<p>The goal is to integrate SLEIGH as a disassembly backend into radare2. This will make it possible to directly support all architectures that are supported by Ghidra, but also take advantage of the interface, analysis and flexibility of radare2. This project will deliver RAsm plugin for P-code and RAnal plugin providing all information about instruction semantics to perform automatic analysis.</p>

Mentors: Student: NIRMAL MANOJ C

<p>The current decompiler widget in Cutter provides only basic features and interaction, and it is far from being as advanced as the IDA’s or Ghidra’s decompiler’s views and features. This project aims to improve the Decompiler Widget in Cutter and <strong>transform it into a fully-featured Decompiler Widget</strong>. After the successful completion of this project, users would be able to do almost everything possible from renaming variables and functions to seeing xrefs in the disassembly widget and more using the decompiler widget. A complete reverse engineering session would be seamlessly possible in Cutter using the decompiler widget alone.</p>

Mentors: Student: Karel Hájek

<p>My goal is to improve analysis of object oriented code (C++, etc.), parsing of type information from PDB and DWARF debug formats (and integrating them into Radare2), improving support for constrained types and using these additional informations to improve type inference.</p>

Mentors: Student: Zi Fan Tan

<p>This project aims to improve radare2 debugger with program tracing and support remote debugging on more platforms. A program trace contains all states of a running process in time so that users can analyze the program execution at any point in time quickly. Besides, a new timeless debugging view is implemented in Cutter to provide more in-depth analysis with information from the trace. In addition, this project implements network support for WinDbg/KD debugger and remote debugging support for qira and kgdb.</p>

Mentors: Student: HMPerson1

<p>Radeco currently can parse Radare2’s ESIL into a graph-based SSA representation. This project would complete the decompiler by generating a C-like AST from the SSA and then pretty-printing it to C source code.</p>