Development of Safe Korean Programming Language Using Static Analysis


KIPS Transactions on Computer and Communication Systems, Vol. 5, No. 4, pp. 79-86, Apr. 2016
10.3745/KTCCS.2016.5.4.79, Full Text:

Abstract

About 75% of software security incidents are caused by software vulnerability. In addition, the after-market repairing cost of the software is higher by more than 30 times than that in the design stage. In this background, the secure coding has been proposed as one of the ways to solve this kind of maintenance problems. Various institutions have addressed the weakness patterns of the standard software. A new Korean programming language Saesark has been proposed to resolve the security weakness on the language level. However, the previous study on Saesark can not resolve the security weakness caused by the API. This paper proposes a way to resolve the security weakness due to the API. It adopts a static analyzer inspecting dangerous methods. It classifies the dangerous methods of the API into two groups: the methods of using tainted data and those accepting in-flowing tainted data. It analyses the security weakness in four steps: searching for the dangerous methods, configuring a call graph, navigating a path between the method for in-flowing tainted data and that uses tainted data on the call graph, and reporting the security weakness detected. To measure the effectiveness of this method, two experiments have been performed on the new version of Saesark adopting the static analysis. The first experiment is the comparison of it with the previous version of Saesark according to the Java Secure Coding Guide. The second experiment is the comparison of the improved Saesark with FindBugs, a Java program vulnerability analysis tool. According to the result, the improved Saesark is 15% more safe than the previous version of Saesark and the F-measure of it 68%, which shows the improvement of 9% point compared to 59%, that of FindBugs.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
D. Kang, Y. Kim and G. Woo, "Development of Safe Korean Programming Language Using Static Analysis," KIPS Transactions on Computer and Communication Systems, vol. 5, no. 4, pp. 79-86, 2016. DOI: 10.3745/KTCCS.2016.5.4.79.

[ACM Style]
Dohun Kang, Yeoneo Kim, and Gyun Woo. 2016. Development of Safe Korean Programming Language Using Static Analysis. KIPS Transactions on Computer and Communication Systems, 5, 4, (2016), 79-86. DOI: 10.3745/KTCCS.2016.5.4.79.