公开(公告)号：US20220358223A1

公开(公告)日：2022-11-10

申请号：US17602372

申请日：2021-04-06

Applicant: Korea University Research and Business Foundation

Inventor： Hakjoo OH ,  Sunbeom SO ,  Seongjoon HONG

IPC: G06F21/57 ,  G06Q10/04

Abstract: Provided is an apparatus and method for obtaining a vulnerable transaction sequence. A vulnerable transaction sequence obtaining apparatus may include a storage configured to transitorily or non-transitorily store at least one program; and a processor configured to receive the at least one program, to select a vulnerable transaction sequence candidate in the at least one program using a cost function, to obtain a verification condition by performing symbolic execution over the transaction sequence candidate, and to check whether the verification condition is satisfiable when the vulnerable transaction sequence is unfound as a verification result about the verification condition, and to determine the vulnerable transaction sequence candidate as the vulnerable transaction sequence when the verification condition is satisfiable.