Korea University Research and Business Foundation

Hongzhe Li

Heejo Lee

Jonghoon Kwon

Hyuck-Min Kwon

The present disclosure includes: searching a code clone corresponding to a used source code from any analysis target source code; detecting a security sink and sensitive data of the security sink on the basis of patch information in the searched code clone; acquiring a source code which is from the user input point the a security sink by backwardly tracing the sensitive data detected in the analysis target source code; and verifying whether the searched code clone is a vulnerability in the analysis target source code by performing a concolic testing on the basis of a path from the input point to the security sink.

Growing community of inventors

Seoul, South Korea

Hongzhe Li