Checking type safety of foreign function calls

ACM Transactions on Programming Languages and Systems

Volumn 30, Issue 4, 2008, Pages

  Furr, Michael ^a   Foster, Jeffrey S ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

Dataflow analysis; FFI; Flow sensitive type system; Foreign function calls; Foreign function interface; Java; Java Native Interface; JNI; Multilingual type inference; Multilingual type system; OCaml; Representational type

Indexed keywords

CONDITIONAL BRANCHES; FFI; FLOW-SENSITIVE ANALYSIS; FLOW-SENSITIVE TYPE SYSTEM; FOREIGN FUNCTION CALLS; FOREIGN FUNCTION INTERFACE; FOREIGN-FUNCTION INTERFACES; FUNCTION CALLS; GARBAGE COLLECTION; INFERENCE SYSTEMS; JAVA; JAVA NATIVE INTERFACE; JAVA SYSTEMS; JNI; MULTILINGUAL TYPE INFERENCE; MULTILINGUAL TYPE SYSTEM; OCAML; PROGRAMMING ERRORS; REPRESENTATIONAL TYPE; STATIC CHECKING; TYPE INFERENCES; TYPE SAFETY; WRAPPER FUNCTIONS;

ACCIDENT PREVENTION; CODES (STANDARDS); CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; DATA STORAGE EQUIPMENT; JAVA PROGRAMMING LANGUAGE; PATTERN MATCHING; POLYMORPHISM; PROGRAMMING THEORY; REFUSE COLLECTION; REFUSE DISPOSAL; SECURITY OF DATA; SENSITIVITY ANALYSIS; WASTE DISPOSAL;

DATA FLOW ANALYSIS;

EID: 49449088110     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/1377492.1377493     Document Type: Article

References (40)

1. AUERBACH, J., BARTON, C., CHU-CARROLL, M., AND RAGHAVACHARI, M. 1999. Mockingbird: Flexible stub compilation from paris of declarations. In Proceedings of the 19th International Conference on Distributed Computing Systems. Austin, TX.
2. BARRETT, D. J. 1998. Polylingual systems: An approach to seamless interoperability. Ph.D. thesis, University of Massachusetts, Amherst, MA.
3. BEAZLEY, D. M. 1996. SWIG: An easy to use tool for integrating scripting languages with C and C++. USENIX4th Annual Tcl / Tk Workshop.
4. BLUME, M. 2001. No-longer-foreign: Teaching an ML compiler to speak C "natively". In Proceedings of the 1st International Workshop on Multilanguage Infrastructure and Interoperability (BABEL'01). Firenze, Italy.
5. BUBBA, J. F., KAPLAN, A., AND WILEDEN, J. C. 2001. The Exu approach to safe, transparent and lightweight interoperability. In Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC'01). Chicago, IL.
6. ANNASSE, N. 2004. Ocaml javalib. http://team.motion-twin.com/ ncannasse/javaLib/.
7. HANDRA, S. AND REPS, T. W. 1999. Physical type checking for C. In Proceedings of the ACM SIGPLAN / SIGSOFT Workshop on Program, Analysis for Software Tools and Engineering. Toulouse, France, 66-75.
8. HRISTENSEN, A. S., MØLLER, A., AND SCHWARTZBACH, M. I. 2003. Precise analysis of string expressions. In Proceedings of the 10th International. Symposium on Static Analysis. San Diego, CA.
9. ELINE, R. AND FÄHNDRICH, M. 2004. The Fugue protocol checker: Is your software baroque? Tech. rep. MSR-TR-2004-07, Microsoft Research.
10. FÄHNDRICH, M., REHOF, J., AND DAS, M. 2000. Scalable context-sensitive flow analysis using instantiation constraints. In Proceedings of the ACM Conference on Programming Language Design and Implementation. Vancouver B.C., Canada.
11. FELLEISEN, M. AND HIEB, R. 1992. The revised report on the syntactic theories of sequential control and state. Theor. Comput. Sci. 103, 2, 235-271.
12. FINNE, S., LEUEN, D., MELIER, E., AND JONES, S. P. 1999. Calling hell from heaven and heaven from hell. In Proceedings of the 4th ACM SIGPLAN International Conference on Functional Programming. Paris, France, 114-125.
13. FISHER, K., PUCELLA, R., AND REPPY, J. 2001. A framework for interoperability. In Proceedings of the 1st International Workshop on Multilanguage Infrastructure and Interoperability (BABEL'01). Firenze, Italy.
14. FURR, M. AND FOSTER, J. S. 2005a. Checking type safety of foreign function calls. In Proceedings of the ACM Conference on Programming Language Design and Implementation. Chicago, IL. 62-72.
15. FURR, M. AND FOSTER, J. S. 2005b. Java SE 6 "Mustang" bug 6362203. http://bugs.sun.com/bugdatabase/view_bug.do? bug_id=6362203.
16. FURR, M. AND FOSTER, J. S. 2006a. Checking type safety of foreign function calls. Tech. rep. CS-TR-4845, Computer Science Department, University of Maryland.
17. FURR, M. AND FOSTER, J. S. 2006b. Polymorphic type inference for the JNI. In Proceedings of the 15th European Symposium on Programming. Vienna, Austria. To appear.
18. GOULD, C., SU, Z., AND DEVANBU, P. 2004. Static Checking of Dynamically Generated Queries in Database Applications. In Proceedings of the 26th International Conference on Software Engineering (ICSE'04). Edinburgh, 645-654.
19. GRAY, D. N., HOTCHKISS, J., LAFOROE, S., SHALIT, A., AND WEINBERG, T. 1998. Modern languages and Microsoft's component object model. Comm,. ACM 41, 5, 55-65.
20. GRECHANIK, M., BATORY, D., AND PERRY, D. E. 2004. Design of large-scale polylingual systems. In Proceedings of the 26th International Conference on Software Engineering (ICSE'04). Scot and. 357-366.
21. HAMILTON, J. 1996. Interlanguage object sharing with SOM. In Proceedings of the Usenix Annual Technical Conference. San Diego, CA.
22. HAMILTON, J. 2003. Language integration in the common language runtime. ACM SIGPLAN Notices 38, 2, 19-28.
23. HENGLEIN, F. 1993. Type inference with polymorphic recursion. ACM Trans. Program. Lang. Syst. 15, 2, 253-289.
24. HUELSBERGEN, L. 1996. A portable C interface for standard ML of New Jersey, http://www.smlnj. org//doc/SMLNJ-C/smlnj-c.ps.
25. JAVA-GNOME DEVELOPERS. 2005. Java bindings for the gnome and gtk libraries, http://java-gnome.sourceforge.net.
26. JONES, S. P. 2001. Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell. In Engineernig Theories of Software Construction, T Hoare, M. Broy, and R. Steinbruggen, Eds. IOS Press, 47-96.
27. EROY, X. 2004. The Objective Caml system. Release 3.08, http://caml.inria.fr/distrib/ocaml-3.08/ocaml-3.08-refman.pdf.
28. IANG, S. 1999. The Java Native Interface: Programmer's Guide and Specification. Addison-Wesley.
29. INDHOLM, T. AND YELLIN, F. 1997. The Java. Virtual Machine Specification. Addison- Wesley.
30. ATTHEWS, J. AND FINDLER, R. B. 2007. Operational semantics for multi-language programs. In Proceedings of the 34th Annual ACMSymposium on Principles of Programming Languages. Nice, France, 3-10.
31. EIJER, E., PERRY, N., AND VAN YZENDOORN, A. 2001. Scripting .NET using Mondrian. In Proceedings of the 15th European Conference on Object-Oriented Programming (ECOOP'01). Budapest, Hungary.
32. NECULA, G., MCPEAK, S., RAHUL, S. P., AND WEIMER, W. 2002. CIL: Intermediate language and tools for analysis and transformation of C programs. In Proceedings of the 11th International Conference on Computer Construction. Grenoble, France.
33. NECULA, G., MCPEAK, S., AND WEIMER, W. 2002. CCured: Type-safe retrofitting of legacy code. In Proceedings of the 29th Annual ACM Symposium on Principles of Programming Languages. Portland, OR. 128-139.
34. NISHIMURA, S. 1998. Static typing for dynamic messages. In Proceedings of the 25th Annual ACM Symposium on Principles of Programming Languages. San Diego, CA.
35. Object Management Group 2004. Common object request broker architecture: Core specification, Version 3.0.3. Object Management Group.
36. RÉMY, D. 1989. Typechecking records and variants in a natural extension of ML. In Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages. Austin, TX. 77-88.
37. TAN, G., APPEL, A. W., CHAKRADHAR, S., RAGHUNATHAN, A., RAVI, S., AND WANG, D. 2006. Safe java native interface. In Proceedings of the IEEE International Symposium on Secure Software Engineering. Arlington, VA.
38. THIEMANN, P. 2005. Grammar-based analysis of string expressions. In Proceedings of the ACM SIGPLAN International Workshop on Types in Language Design and Implementation. Long Beach, CA.
39. TRIPONOV, V. AND SHAO, Z. 1999. Safe and principled language interoperation. In Proceedings of the 8th European Symposium on Programming. D. Swierstra, Ed. Lecture Notes in Computer Science, vol. 1576. Springer-Verlag, Berlin, Germany, 128-146.
40. WRIGHT, A. K. AND CARTWRIGHT, R. 1994. A practical soft type system for scheme. In Proceedings of the Conference on Lisp and Functional Programming. 250-262.