My Work
- Topic
- Static Resolution of Virtual Function Calls in C++
- Precise Call Disambiguation in the Presence of Function Pointers.
- What is that?
- Precise Interprocedural analysis needs precise call graph. Construction of call graph in the presence of function pointers needs an analysis.
- Why is pointer analysis not sufficient?
Because there is more to it. - What?
That's my Phd problem. (Hope to explain in detail later.)