Including native methods in static analysis of Java programs
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000.
Main Author: | Hernández, Victor L. (Victor Leonel Hernández Porras), 1977- |
---|---|
Other Authors: | Chris Terman. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2014
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/86464 |
Similar Items
-
Static detection of deadlock for Java libraries
by: Williams, Amy Lynne, Ph.D. Massachusetts Institute of Technology
Published: (2014) -
Pointer analysis and its applications for Java programs
by: Sălcianu, Alexandru D. (Alexandru Doru), 1975-
Published: (2014) -
Systematic testing of multithreaded Java programs
by: Bruening, Derek L. (Derek Lane), 1976-
Published: (2013) -
Pointer analysis for Java programs : novel techniques and applications
by: Sălcianu, Alexandru D. (Alexandru Doru), 1975-
Published: (2007) -
Executable specifications for Java programs
by: Milicevic, Aleksandar, Ph. D. Massachusetts Institute of Technology
Published: (2011)