发明名称 Detecting Errors in Javascript Software Using a Control Flow Graph
摘要 In one embodiment, accessing a control flow graph (CFG) of a software program written in JavaScript; accessing a set of specification requirements of the software program; and determining if there is any portion of the CFG that violates any specification requirement of the software program.
申请公布号 US2013055221(A1) 申请公布日期 2013.02.28
申请号 US201113218852 申请日期 2011.08.26
申请人 MURTHY PRAVEEN K.;RAJAN SREERANGA P.;FUJITSU LIMITED 发明人 MURTHY PRAVEEN K.;RAJAN SREERANGA P.
分类号 G06F9/44 主分类号 G06F9/44
代理机构 代理人
主权项
地址