• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.4
• /
• pp.807-819
• /
• 2019

Greybox fuzzing is known as an effective method to discover unknown security flaws reside in software and has been actively researched today. However, most of greybox fuzzing tools require an executable file. Because of this, a library, which cannot be executed by itself requires an additional executable file for greybox fuzzing. Generating such an executable file is challengeable because it requires both understanding of the library and fuzzing. In this research, we suggest the approach to generate an executable file automatically for a library and implement this approach as a tool based on the LLVM framework. This tool shows that executable files and seed files can be generated automatically by static/dynamic analysis of a unit test in the target project. A generated executable file is compatible with various greybox fuzzers like AFL because it has a common interface for greybox fuzzers. We show the performance of this tool as code coverage and discovered unknown security bugs using generated executable files and seed files from open source projects through this tool.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.24 no.4
• /
• pp.384-389
• /
• 2004

As the increase of the operation year of nuclear power plants, the probabilities of the degradation of the major facilities and materials in the nuclear power plants are increased. The integrity of those facilities shall be monitored and verified by the non-destructive examination methods with the regulation codes, so called inservice inspection(ISI). The ISI of Yonggwang unit 6 was performed in four different parts, 1) non-destructive examinations for the components, piping weldments and structures, 2) automated ultrasonic examinations for pressure vessels, 3) visual examinations for the interior structures of the reactor, 4) eddy current examinations for the steam generator tubes. As the results, there was no severe indication and all detected indications were evaluated as non-relavent. Especially for the examinations of the piping weldments, PD(Performance Demonstration) was applied as a W examination method defined in the 1995 edition of ASME Code Sec. XI. The implementation of the PD for the piping weld results in an improvement of the reliability of the UT examinations.

• Atmosphere
• /
• v.17 no.4
• /
• pp.339-348
• /
• 2007

Global Environment Laboratory at Yonsei University in Seoul ($37.57^{\circ}N$, $126.95^{\circ}E$) has carried out the ozone layer monitoring program in the framework of the Global Ozone Observing System of the World Meteorlogical Organization (WMO/GAW/GO3OS Station No. 252) since May of 1984. The daily measurements of total ozone and the vertical distribution of ozone amount have been made with the Dobson Spectrophotometer (No.124) on the roof of the Science Building on Yonsei campus. From 2004 through 2006, major parts of the manual operations are automated in measuring total ozone amount and vertical ozone profile through Umkehr method, and calibrating instrument by standard lamp tests with new hardware and software including step motor, rotary encoder, controller, and visual display. This system takes full advantage of Windows interface and information technology to realize adaptability to the latest Windows PC and flexible data processing system. This automatic system also utilizes card slot of desktop personal computer to control various types of boards in the driving unit for operating Dobson spectrophotometer and testing devices. Thus, by automating most of the manual work both in instrument operation and in data processing, subjective human errors and individual differences are eliminated. It is therefore found that the ozone data quality has been distinctly upgraded after automation of the Dobson instrument.

• Journal of Energy Engineering
• /
• v.7 no.1
• /
• pp.57-64
• /
• 1998

A neutralized fabric filter of which major raw materials were polyester and stainless steel fibers was developed and its physiochemical properties and basic filter characteristics were investigated. Four finds of dusts generated in the typical domestic industry were used, which were coke dust from a steel manufacturing process, cement dust from a cement manufacturing process, flu ash from a fluidized-bed combustor, and incinerator ash from a waste plastics incinerator. The physicochemical properties of the neutralized fabric filter were analyzed in terms of changes in tensile strength and initial elastic modulus under $SO_2$ and $NO_2$ atmospheres, mean flow pore pressure, bubble point pore diameter, mean flow pore diameter, and pore size distribution. In addition, the pressure drop, dust penetration, and figure of merit for the fabric filter were investigated in a bench-scale filter testing unit. The pressure drop increased as the filtration velocity and dust loading increased, and its increasing shape depended on the type of dust. The dust penetration rapidly decreased as the dust loading increased irrespective of the type of dust. The figures of merit for the fabric filters increased in the early stage of filtration and then showed rapid decreases followed maintaining a constant level.

• Journal of KIISE:Software and Applications
• /
• v.26 no.11
• /
• pp.1282-1287
• /
• 1999

통신 프로그램은 고도의 신뢰성과 기능성, 확장성, 그리고 유지 보수성이 필요하다. 프로그램 테스트의 결과와 McCabe의 Complexity를 측정한 데이타를 가지고 회귀모델을 만들고 그 신뢰성을 분석함으로서 프로그램의 결함과 복잡도의 관련성을 평가한다.본 연구에서 사용한 통신 프로그램은 500개 블록이 59가지 기능을 수행하는 교환 기능 중에서 복잡도가 너무 많아서 통계 처리의 bias가 될 블록을 제외하고 394 블록을 선정하여 SAS에 의해서 통계 분석을 하고 회귀 분석 모델을 설계하였다. t 분포에 의하여 방정식의 유의성 수준을 검증하고 프로그램의 결함수에 가장 큰 영향을 주고 있는 복잡도가 McCabe의 복잡도와 설계 복잡도 임을 밝혀냈다. 이 연구 결과에 의해서 설계 정보 및 유지 보수 정보를 얻을 수 있다. Abstract Switching software requires high reliability, functionality, extendability and maintainability. For doing, software quality model based on MaCabe's complexity measure is investigated. It is experimentally shown using regression analysis the program fault density depends on the complexity and size of the function unit. The software should be verified and tested if it satisfies its requirements with automated analysis tools. In this paper we propose the regression model with the test data.The sample program for the regression model consists of more than 500 blocks, where each block compose of 10 files, which has 59 functions of switching activity.Among them we choose 394 blocks and analyzed for 59 functions by testing tools and SAS package. We developed Regression Analysis Model and evaluated significant of the equation based on McCabe's cyclomatic complexity, block design complexity, design complexity, and integration complexity.The results of our experimental study are that number of fault are under the influence of McCabe's complexity number and design complexity.

• Journal of Korea Multimedia Society
• /
• v.8 no.9
• /
• pp.1258-1268
• /
• 2005

While the concept of Home Network is laying by and its interests are increasing by means of digitalizing of the information communication infrastructure, many efforts are in progress toward convenient lives. Moreover, as information household appliances which have a junction of connecting to the network are appearing over the past a few years, the demands against intellectual Home Services are increasing. In this paper, by being based upon Multimedia which is an essential factor for developing of various application services on ubiquitous computing environments, we suggest a simplified application model that could apply the information to the automated processing system after studying user's behavior patterns using authentication and access control for identity certification of users. In addition, we compared captured video images in the fixed range by pixel unit through some time and checked disorder of them. And that made safe of user certification as adopting self-developed certification method which was used 'Hash' algorism through salt function of 12 byte. In order to show the usefulness of this proposed model, we did some testing by emulator for control of information after construction for Intellectual Multimedia Server, which ubiquitous network is available on as a scheme so as to check out developed applications. According to experimental results, it is very reasonable to believe that we could extend various multimedia applications in our daily lives.