In C++, virtual functions let instances of related classes have different behavior at run time. Pure function called from constructors and destructors will make the C++ program crash and virtual function called from constructors and destructors may not do what you expect. This proposal is about implementing a path-sensitive checker to find virtual calls made from constructors and destructors.

Student

Xin Wang

Mentors

  • Gábor Horváth
  • Devin Coughlin
  • Artem Dergachev
close

2017