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.

Organization

Student

Karel Hájek

Mentors

  • Florian Märkl
  • Anton Kochkov
  • kazarmy
close

2020