-
公开(公告)号：US20240184685A1
公开(公告)日：2024-06-06
申请号：US18278503
申请日：2022-02-25
Inventor： Hakjoo OH , Min-Seok JEON , Donghun JUN
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: The present invention relates to a program analysis device and method, wherein the program analysis device may comprise: a selection unit for selecting one of top-down processing or bottom-up processing for at least one analysis equation among a plurality of analysis equations; a first learning unit which, when the selection unit selects the top-down processing, performs top-down processing for the at least one analysis equation on the basis of a first learning algorithm in response to the selection, and thereby acquires at least one first learned analysis equation; and a second learning unit which, when the selection unit selects the bottom-up processing, performs bottom-up processing for the at least one analysis equation on the basis of a second learning algorithm in response to the selection, and thereby acquires at least one second learned analysis equation.
-
公开(公告)号：US20220107884A1
公开(公告)日：2022-04-07
申请号：US17496012
申请日：2021-10-07
Inventor： Hakjoo OH , Sooyoung CHA
Abstract: A symbolic execution device, a symbolic execution method, and a probability distribution update method for symbolic execution are provided. The symbolic execution device includes a storage unit for storing at least one of a first probability distribution and a second probability distribution and a processor for sampling and obtaining a weight vector from the first probability distribution, for sampling and obtaining a removal rate from the second probability distribution, for adding the weight vector to at least one feature vector obtained from at least one candidate state to obtain a score for each of the at least one candidate state, and for selecting a state to be removed from among the at least one candidate state by using the score of each of the at least one candidate state and the removal rate.
-
Patent Agency Ranking
公开(公告)号：US20230145720A1
公开(公告)日：2023-05-11
申请号：US17950461
申请日：2022-09-22
Inventor： Hakjoo OH , Dowon SONG
CPC classification number: G06F11/0793 , G06F11/3692
Abstract: Disclosed is a method for feedback of a program, which is performed by a computing device including at least one processor, which include: matching respective functions included in a first program received from an external device with respective functions included in a prestored correct answer program corresponding to the first program; identifying error functions different from the respective functions included in the correct answer program among the respective functions included in the first program; generating at least one repair template including at least one reference function extracted based on a calling-context for a function of a specific function in order to repair the error function among the prestored functions; generating a first edit script for repairing the error function to at least one reference function based on a first repair template among one or more repair templates; and transmitting a signal including the first edit script to the external device.
-
公开(公告)号：US20220358223A1
公开(公告)日：2022-11-10
申请号：US17602372
申请日：2021-04-06
Inventor： Hakjoo OH , Sunbeom SO , Seongjoon HONG
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.
-
公开(公告)号：US20240320084A1
公开(公告)日：2024-09-26
申请号：US18602265
申请日：2024-03-12
Inventor： Hakjoo OH , Wonseok OH
CPC classification number: G06F11/0793 , G06F11/3604
Abstract: Disclosed is a device and method for automatically repairing type errors occurring in a dynamically typed language. A method of automatically repairing a type error refers to a method of automatically repairing a type error occurring in a dynamically typed language, performed by a computing device including a processor and includes acquiring a buggy program, a testcase, and error information; collecting a candidate variable in which a type error occurs; inferring a negative type that is a type of the candidate variable observed from a negative testcase and a positive type that is a type of the candidate variable observed from a positive testcase; estimating a fault location at which the type error occurs; generating a patch; and generating a fixed program by applying the patch to the buggy program, and the collecting of the candidate variable includes selecting a variable included in the error information as the candidate variable.
-
公开(公告)号：US20240176691A1
公开(公告)日：2024-05-30
申请号：US18517107
申请日：2023-11-22
Inventor： Hakjoo OH , Junhee LEE , Seongjoon HONG
CPC classification number: G06F11/0793 , G06F11/3664
Abstract: Disclosed is a method for repairing a null pointer exception performed by a computing device including a processor, which includes: obtaining an original program; and obtaining, by using a classification model, a patch program from the original program by repairing an error of the original program; and, in which the classification model may be trained in advance by using a null processing pattern dataset obtained from at least one program.
-
公开(公告)号：US20200257617A1
公开(公告)日：2020-08-13
申请号：US16860382
申请日：2020-04-28
Inventor： Sooyoung CHA , Seongjoon HONG , Junhee LEE , Hakjoo OH
IPC: G06F11/36
Abstract: Provided is a method for automatically generating a search heuristic that is optimal for a test subject program and a method of concolic testing that uses a parameterized search heuristic to yield a consistent test performance for any program.
-
-
-
-
-
-
Search Results
7
records
(took 0.031 seconds)
