• Journal of KIISE
• /
• v.42 no.11
• /
• pp.1404-1409
• /
• 2015

In this paper, we present a novel approach to analyzing large-scale JavaScript applications statically by tuning the analysis scalability, possibly sacrificing soundness. For a given sound static baseline analysis of JavaScript programs, our framework allows users to define a sound approximation of selected executions that they wish to analyze, and it derives a tuned static analysis that can analyze the selected executions practically. The selected executions serve as parameters of the framework by taking a trade-off between the scalability and the soundness of the derived analyses. We formally describe our framework in the abstract interpretation setting and present two instances of the framework.

• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.667-676
• /
• 2004

This paper uses the standard technique of data flow analysis to solve the problem of secure information-flow in core imperative programs. The existing methods tend to be overly conservative, giving “insecure” answers to many “secure” programs. The method described in this paper is designed to be more precise than previous syntactic approaches. The soundness of the analysis is proved.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.43 no.9
• /
• pp.773-780
• /
• 2015

In this paper, the structural integrity for a cylindrical vehicle in subsonic environments is verified. In order to confirm static structural safety for the cylindrical vehicle in extreme maneuver condition, the structure analysis and full-scale static structure test are carried out. The commercial finite element codes, MSC. Patran/Nastran is used for numerical simulation. The full-scale static structure test equipment consists of the counterbalance system, loading system and data acquisition system. Besides, the dynamic characteristics for the cylindrical vehicle are reviewed by performing an impact hammer test.

• Review of KIISC
• /
• v.23 no.2
• /
• pp.21-28
• /
• 2013

스마트폰의 급증 현상은 모바일 생태계의 패러다임을 변화시켰으며 다양한 SW 컨텐츠의 양산과 더불어 그 활용 영역의 확대를 가져왔다. 이에 따라 필연적으로 모바일 악성코드도 증가되고 있으며 개인정보 또는 회사 기밀정보의 무단 유출이라는 사회적 이슈도 대두되게 되었다. 이러한 문제를 해결하기 위해서는 모바일 어플리케이션에 대한 검증이 필요하고, 검증하는 방법에는 크게 정적분석 방법과 동적분석 방법이 있으며 분석 방법에 대한 자세한 내용은 선배 전문가들의 앞선 연구 사례와 논문에 몇 차례 소개된 바 있다. 이에 본 고에서는 정적분석 및 동적분석 방법을 응용하여 (주)안랩에서 실제로 운용 중인 모바일 어플리케이션의 분석 및 검증 솔루션(AMSD) 구현사례를 소개하고자 한다. 여기에는 기 알려진 정적분석 방법과 동적분석 방법에 대한 간략한 서술이 포함되어 있으며 시스템 아키텍처 정보와 실제 오픈 마켓을 대상으로 운용하면서 얻어진 앱 분석 사례 및 개선 방향도 담고 있다. 이를 통해 모바일 오픈 마켓 운영 시의 안전성과 신뢰성 확보 및 건전한 모바일 생태계 유지를 도모하는 데 조금이나마 도움이 되었으면 하는 바램이다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2011.06a
• /
• pp.192-194
• /
• 2011

육상의 자원고갈로 인한 해양자원의 관심 증가로 플랜트 사업의 수요가 증가함에 따라 플로팅 구조물의 안전성 확보를 위한 구조해석이 필요하다. 이 연구에서는 범용 유한요소 프로그램인 ABAQUS를 사용하여 3차원 플로팅 구조물의 상부구조물에 정적하중과 진폭의 크기가 다른 파랑하중을 적용하여 모멘트 및 변위를 비교한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.241-242
• /
• 2012

차량 제어 시스템은 안전성을 우선 고려하여 정적인 구조로 개발되어왔지만, 사용자들은 동적인 구조의 차량 제어 시스템을 바라고 있다. 본 논문에서는 차량 제어 시스템에 워크플로우를 도입하여 Plug & Play를 가능하게 하는 방법을 데모 시스템 상에 구현하여 실제 구현 가능성을 모색하였다.

• Aerospace Engineering and Technology
• /
• v.6 no.2
• /
• pp.35-39
• /
• 2007

In this paper, we have presented structural analysis procedure and full scale test results for 4-seater canard airplane. Construction of the finite element model is critical path for the aircraft structural analysis and directly affects the structural integrity. The refinement of the finite element model should be determined depending on full scale test results. From the results of the structural analysis, 5 design limit loads test conditions and 11 design ultimate loads test conditions were selected. By the presented procedure, the structural integrity of 4-Seater Canard Airplane is successfully obtained.

• Journal of KIISE:Software and Applications
• /
• v.33 no.5
• /
• pp.508-524
• /
• 2006

We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false alarms from a domain-unaware static analyzer. Our analyzer named Airac(Array Index Range Analyzer for C) collects all the true buffer-overrun points in ANSI C programs. The soundness is maintained, and the analysis' cost-accuracy improvement is achieved by techniques that static analysis community has long accumulated. For still inevitable false alarms (e.g. Airac raised 970 buffer-overrun alarms in commercial C programs of 5.3 million lines and 737 among the 970 alarms were false), which are always apt for particular C programs, we use a statistical post analysis. The statistical analysis, given the analysis results (alarms), sifts out probable false alarms and prioritizes true alarms. It estimates the probability of each alarm being true. The probabilities are used in two ways: 1) only the alarms that have true-alarm probabilities higher than a threshold are reported to the user; 2) the alarms are sorted by the probability before reporting, so that the user can check highly probable errors first. In our experiments with Linux kernel sources, if we set the risk of missing true error is about 3 times greater than false alarming, 74.83% of false alarms could be filtered; only 15.17% of false alarms were mixed up until the user observes 50% of the true alarms.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.8 no.4
• /
• pp.135-143
• /
• 2004

In this paper, 6 span SCP continuous girder bridge's structural behavior were studied by analytic and experimental method To study structural behavior of SCP girder, we used PSC theory and steel girder theory. To examine slab concrete crack, concrete stress, and fatigue stress of steel, we achieved a static load and fatigue test. In the result, 6 span SCP girder bridge connected at the interior support about actuality bridge have enough structural capacity under service loads.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.26 no.6
• /
• pp.455-462
• /
• 2013

The effects of earthquakes can be devastating especially to existing structures that are not based on earthquake resistant design. This study proposes a steel grid shear wall that can provide a sufficient lateral resistance and can be used as a seismic retrofit method. The pushover analysis was performed on RC structure with and without the proposed steel grid shear wall. Obtain the performance point that the target structure for seismic loads applied to evaluate the response and performance levels. The capacity spectrum at performance point is nearly elastic range, so satisfied the performance objectives(LS level). And response modification factor(R factor) were calculated from the pushover analysis. The R factor approach is currently implemented to reflect inelastic ductile behavior of the structures and to reduce elastic spectral demands from earthquakes to the design level. The R factor increases from 2.17 to 3.25 was higher than the design criteria. As a result, according to reinforcement by steel grid shear wall, strength, stiffness, and ductility of the low-rise RC structure has been appropriately improved.