| | |
Summary: Safe Java Native Interface
Gang Tan§
Andrew W. Appel
Srimat Chakradhar§
Anand Raghunathan§
Srivaths Ravi§
Daniel Wang
Department of Computer Science, Boston College
Department of Computer Science, Princeton University
§
NEC Laboratories America
Abstract
Type safety is a promising approach to enhancing soft-
ware security. Programs written in type-safe programming
languages such as Java are type-safe by construction. How-
ever, in practice, many complex applications are heteroge-
neous, i.e., they contain components written in different lan-
guages. The Java Native Interface (JNI) allows type-safe
|
