PERFORMING CHECKS ON THE RESOURCE USAGE OF COMPUTER PROGRAMS
摘要
A method and apparatus for performing checks on program code. In one embodiment, the method comprises receiving program code and statically verifying information about one or more dynamic checks in the program code, where each of the one or more dynamic checks in the program code checks an operation in the program code.
申请公布号
WO2005064474(A2)
申请公布日期
2005.07.14
申请号
WO2004US43654
申请日期
2004.12.22
申请人
DOCOMO COMMUNICATIONS LABORATORIES USA, INC.;CHANDER, AJAY;ISLAM, NAYEEM;ESPINOSA, DAVID;NECULA, GEORGE;LEE, PETER
发明人
CHANDER, AJAY;ISLAM, NAYEEM;ESPINOSA, DAVID;NECULA, GEORGE;LEE, PETER