References:
Pointer Analysis: Haven’t we solved this problem yet? By Micheal Hind, IBM. PASTE, 2001.
Wiki: Program Analysis: https://en.wikipedia.org/wiki/Program_analysis
References: Pointer Analysis The undecidability of aliasing More
Reference 1 C++ and Casting Pointer to virtual function tables is frequently cast to general types such as char*, rendering the type match ineffective. MLTA: a mechanism to precisely connect VTables to the corresponding classes and to keep track of class casting. Similar work 2 3: a virtual function call can only invoke the virtual functions implemented in the current class or its derived class, but not others. Use an expanded single-layer type for finding targets.
Reference 1 reference ↩
Reference 1 reference ↩
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?