符号执行方法及装置
    1.
    发明公开

    公开(公告)号:CN118363855A

    公开(公告)日:2024-07-19

    申请号:CN202410532607.8

    申请日:2024-04-29

    Abstract: 本说明书实施例提供了符号执行方法及装置。该方法包括:获取使用目标编程语言编写的应用程序的类文件,该类文件中包括第一方法;将第一方法的方法体从字节码翻译成目标图中间表示;获取目标图中间表示中的各条具体指令各自在预设的标准指令集中对应的标准指令的符号操作语义,该符号操作语义用于描述该标准指令的结构和执行前后执行状态的变化;基于获取到的符号操作语义,解释执行目标图中间表示。

Patent Agency Ranking