6 search results - page 2 / 2 » Practical and Accurate Low-Level Pointer Analysis |
PLDI
2005
ACM
13 years 10 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...