-
公开(公告)号：CN101036127A
公开(公告)日：2007-09-12
申请号：CN200580033901.X
申请日：2005-08-29
Applicant: 松下电器产业株式会社
CPC classification number: G06F11/3688
Abstract: 本发明涉及一种对计算机程序的源码所表示的程序动作相关的诸性质进行检查的源码检查器以及源码检查方法、执行该方法的程序、以及存储该程序的存储介质。该源码检查方法具有：路径抽出步骤、和检查内容决定步骤。路径抽出步骤，通过模拟执行预先输入的计算机用程序的源码所描述的程序，来抽出实际执行的命令串。检查内容决定步骤，根据路径抽出步骤所抽出的命令串，决定源码的检查内容。
Search Results
1
records
(took 0.041 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
