The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
May. 19, 2015
Filed:
May. 25, 2012
Guodong LI, San Jose, CA (US);
Praveen K. Murthy, Fremont, CA (US);
Indradeep Ghosh, Cupertino, CA (US);
Sreeranga P. Rajan, Sunnyvale, CA (US);
Guodong Li, San Jose, CA (US);
Praveen K. Murthy, Fremont, CA (US);
Indradeep Ghosh, Cupertino, CA (US);
Sreeranga P. Rajan, Sunnyvale, CA (US);
Fujitsu Limited, Kawasaki-shi, JP;
Abstract
A method includes, by one or more computing devices, determining JavaScript statements to be evaluated, parsing the JavaScript statements, translating the JavaScript statements into Java bytecodes and JavaScript-specific instructions, executing the Java bytecodes in a Java execution engine, calling a JavaScript run-time engine from the Java execution engine, handling one or more semantic operations associated with the JavaScript-specific instructions through use of the JavaScript run-time engine, and providing return values to the Java execution engine. The statements are configured for execution on a computing device. The set of Java bytecodes and JavaScript-specific instructions is configured to conduct symbolic execution of one or more portions of the JavaScript statements. The symbolic execution is configured to evaluate the JavaScript statements.