Invention Grant
US08656370B2 Symbolic execution of javascript software using a control flow graph
有权
使用控制流程图对JavaScript软件的符号执行
- Patent Title: Symbolic execution of javascript software using a control flow graph
- Patent Title (中): 使用控制流程图对JavaScript软件的符号执行
-
Application No.: US13218928Application Date: 2011-08-26
-
Publication No.: US08656370B2Publication Date: 2014-02-18
- Inventor: Praveen K. Murthy , Sreeranga P. Rajan
- Applicant: Praveen K. Murthy , Sreeranga P. Rajan
- Applicant Address: JP Kawasaki-shi
- Assignee: Fujitsu Limited
- Current Assignee: Fujitsu Limited
- Current Assignee Address: JP Kawasaki-shi
- Agency: Baker Botts L.L.P.
- Main IPC: G06F9/44
- IPC: G06F9/44
Abstract:
In one embodiment, accessing a control flow graph (CFG) of a software program written in JavaScript; identifying one or more paths in the CFG; and performing symbolic execution on the software program using the CFG.
Public/Granted literature
- US20130055210A1 Symbolic Execution of Javascript Software Using a Control Flow Graph Public/Granted day:2013-02-28
Information query
