• Title/Summary/Keyword: Source Code Analysis

Search Result 443, Processing Time 0.026 seconds

Radiological analysis of transport and storage container for very low-level liquid radioactive waste

  • Shin, Seung Hun;Choi, Woo Nyun;Yoon, Seungbin;Lee, Un Jang;Park, Hye Min;Park, Seong Hee;Kim, Youn Jun;Kim, Hee Reyoung
    • Nuclear Engineering and Technology
    • /
    • v.53 no.12
    • /
    • pp.4137-4141
    • /
    • 2021
  • As NPPs continue to operate, liquid waste continues to be generated, and containers are needed to store and transport them at low cost and high capacity. To transport and store liquid phase very low-level radioactive waste (VLLW), a container is designed by considering related regulations. The design was constructed based on the existing container design, which easily transports and stores liquid waste. The radiation shielding calculation was performed according to the composition change of barium sulfate (BaSO4) using the Monte Carlo N-Particle (MCNP) code. High-density polyethylene (HDPE) without mixing the additional BaSO4, represented the maximum dose of 1.03 mSv/hr (<2 mSv/hr) and 0.048 mSv/hr (<0.1 mSv/hr) at the surface of the inner container and at 2 m away from the surface, respectively, for a 10 Bq/g of 60Co source. It was confirmed that the dose from the inner container with the VLLW content satisfied the domestic dose standard both on the surface of the container and 2 m from the surface. Although it satisfies the dose standard without adding BaSO4, a shielding material, the inner container was designed with BaSO4 added to increase radiation safety.

Automated Applying Greybox Fuzzing to C/C++ Library Using Unit Test (유닛테스트를 활용한 c/c++ 라이브러리 그레이박스 퍼징 적용 자동화)

  • Jang, Joon Un;Kim, Huy Kang
    • 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.

A Study on the Development Method of Android App GUI Test Automation Tool (안드로이드 앱 GUI 테스트 자동화 툴 개발 방법에 관한 연구)

  • Park, Se-jun;Kim, Kyu-jung
    • The Journal of the Korea Contents Association
    • /
    • v.21 no.8
    • /
    • pp.403-412
    • /
    • 2021
  • As the number of mobile apps increases exponentially, automation of tests performed in the app development process is becoming more important. Until the app is released, iterative verification is performed through various types of tests, and this study was conducted focusing on the GUI test among various types of tests. This study is meaningful in that it can contribute to the stable app distribution of the developer by suggesting the development direction of the GUI test. To develop Android's GUI test tool, I collected basic data before presenting the development method by researching Android's UI controls and Material design guideline. After that, for the existing GUI test automation tool, two tools based on screen capture test and four tools based on source code analysis test were studied. Through this, it was found that existing GUI test tools don't consider visual design, usability, and component arrangement. In order to supplement the shortcomings of existing tools, a new GUI test automation tool development method was presented based on the basic data previously studied.

Assessment of Estuary Reservoir Water Quality According to Upstream Pollutant Management Using Watershed-Reservoir Linkage Model (유역-호소 연계모형을 이용한 상류 오염원 관리에 따른 담수호 수질영향평가)

  • Kim, Seokhyeon;Hwang, Soonho;Kim, Sinae;Lee, Hyunji;Jun, Sang Min;Kang, Moon Seong
    • Journal of The Korean Society of Agricultural Engineers
    • /
    • v.64 no.6
    • /
    • pp.1-12
    • /
    • 2022
  • Estuary reservoirs were artificial reservoir with seawalls built at the exit points of rivers. Although many water resources can be saved, it is difficult to manage due to the large influx of pollutants. To manage this, it is necessary to analyze watersheds and reservoirs through accurate modeling. Therefore, in this study, we linked the Hydrological Simulation Program-FORTRAN (HSPF), Environmental Fluid Dynamics Code (EFDC), and Water quality Analysis Simulation Program (WASP) models to simulate the hydrology and water quality of the watershed and the water level and quality of estuary lakes. As a result of applying the linked model in stream, R2 0.7 or more was satisfied for the watershed runoff except for one point. In addition, the water quality satisfies all within 15% of PBIAS. In reservoir, R2 0.72 was satisfied for water level and the water quality was within 15% of T-N and T-P. Through the modeling system, We applied upstream pollutant management scenarios to analyze changes in water quality in estuary reservoirs. Three pollution source management were applied as scenarios, the improvement of effluent water quality from the sewage treatment plant and the livestock waste treatment plant was effective in improving the quality of the reservoir water, while the artificial wetland had little effect. Water quality improvement was confirmed as a measure against upstream pollutants, but it was insufficient to achieve agricultural water quality, so additional reservoir management is required.

A Study on eGovFrame Security Analysis and Countermeasures (eGovFrame 보안 분석 및 대응 방안에 관한 연구)

  • Joong-oh Park
    • Journal of Industrial Convergence
    • /
    • v.21 no.3
    • /
    • pp.181-188
    • /
    • 2023
  • The e-Government standard framework provides overall technologies such as reuse of common components for web environment development such as domestic government/public institutions, connection of standard modules, and resolution of dependencies. However, in a standardized development environment, there is a possibility of updating old versions according to core versions and leakage of personal and confidential information due to hacking or computer viruses. This study directly analyzes security vulnerabilities focusing on websites that operate eGovFrame in Korea. As a result of analyzing/classifying vulnerabilities at the internal programming language source code level, five items associated with representative security vulnerabilities could be extracted again. As a countermeasure against this, the security settings and functions through the 2 steps (1st and 2nd steps) and security policy will be explained. This study aims to improve the security function of the e-government framework and contribute to the vitalization of the service.

Management of Reliability and Delivery for Software Object Material (소프트웨어 목적물의 전달체계 분석과 신뢰성 검증)

  • Kim, Do-Hyeun;Lee, Kyu-Tae
    • Journal of Software Assessment and Valuation
    • /
    • v.15 no.2
    • /
    • pp.51-57
    • /
    • 2019
  • On increasing illegal software copyright, the need for similarity analysis is now rising. The reliability of object material are becoming important when it's moving from developer to evaluation experts. Object material as a comparison data, is the important data to the evaluation expert which is delivered from agencies such as courts and police stations. The object material is submitted at first to the Copyright Commission and then delivered to the evaluation expert with safe. However, if the similarity result is not satisfied to the both side, they will claim to the reliability of the object material such as source code modification or revision etc. Software objects is produced in a file format and are recognized as being able to be modified. Therefore, the reliability to the object material is studied in various ways, and a forensic is proposed as one method. This study showed the suggestion to keep reliability of the object material through the actual evaluation cases.

Response Analysis of Data Acquired by Marine Loop Electromagnetic System Using Three-Dimensional Modeling Based on Integral Equation (적분방정식 기반의 3차원 모델링을 이용한 소형 루프형 해양 전자탐사 자료의 반응 분석)

  • Ko, Hwicheol;Park, In Hwa;Lee, Seong Kon
    • Geophysics and Geophysical Exploration
    • /
    • v.17 no.1
    • /
    • pp.21-27
    • /
    • 2014
  • We analyzed response patterns of test field data acquired with new small loop electromagnetic (EM) system using three-dimensional (3D) electromagnetic modeling code. The size and shape of a conductor was adopted as experimental parameters for EM modeling to understand influencing factors of the response patterns due to a metallic object on the seafloor. Obtaining the responses for four models of difference sizes and shapes through 3D EM modeling, we confirmed that the shape of the object have a more critical factor on the response pattern than size. We also calculated "ppm" values with respect to different altitudes of the sensor and source frequencies. The modeling results show that the consistency of sensor altitude is important and imaginary part of ppm response is more sensitive than real part. We also visualized the contour map of the real and imaginary part of ppm value as a function of frequency and altitude so that we can estimate proper altitude for source frequency band of our survey system. The results of this paper are anticipated to give proper parameters in survey construction for seafloor massive sulfide deposit.

A Study on the Effect of Containment Filtered Venting System to Off-site under Severe Accident (중대사고시 격납건물여과배기계통(CFVS)적용으로 인한 사고영향과 결과 고찰)

  • Jeon, Ju Young;Kwon, Tae-Eun;Lee, Jai-Ki
    • Journal of Radiation Protection and Research
    • /
    • v.40 no.4
    • /
    • pp.244-251
    • /
    • 2015
  • The containment filtered venting system reduces the range of the contamination area around the nuclear power plant by strengthening the integrity of the containment building. In this study, the probabilistic assessment code MACCS2 was used to assess the effect of the CFVS to off-site. The accident source term was selected from a Probabilistic Safety Analysis report of SHINKORI 1&2 Nuclear Power Plant. The three source term categories from 19 STC were chosen to evaluate the effective dose and thyroid dose of residents around the power plant and the dose with CFVS and without CFVS were compared. The dose was calculated according to the distance from the nuclear power plant, so the damage scale based on the distance that exceeds the IAEA criteria for effective dose (100 mSv per 7 days) and thyroid dose (50 mSv per 7 days) were compared. The effective dose reduction rates of the STC-3, STC-4, STC-6 were about 95-99% in the whole range (0~35 km), 96-98% for the thyroid dose. There are similar results between effective dose and thyroid dose. After applying the CFVS, the damage scale that exceeds the effective dose criteria was about 1 km (mean). Especially, the STC-4 damage scale was decreased from 26 km (mean) to 1.2 km (mean) significantly. The damage scale that exceed the thyroid dose criteria was decreased to 2~3 km (mean). The STC-4 damage scale was also decreased significantly as compared to STC-3, STC-6 in terms of effective dose.

SHIELDING ANALYSIS OF DUAL PURPOSE CASKS FOR SPENT NUCLEAR FUEL UNDER NORMAL STORAGE CONDITIONS

  • Ko, Jae-Hun;Park, Jea-Ho;Jung, In-Soo;Lee, Gang-Uk;Baeg, Chang-Yeal;Kim, Tae-Man
    • Nuclear Engineering and Technology
    • /
    • v.46 no.4
    • /
    • pp.547-556
    • /
    • 2014
  • Korea expects a shortage in storage capacity for spent fuels at reactor sites. Therefore, a need for more metal and/or concrete casks for storage systems is anticipated for either the reactor site or away from the reactor for interim storage. For the purpose of interim storage and transportation, a dual purpose metal cask that can load 21 spent fuel assemblies is being developed by Korea Radioactive Waste Management Corporation (KRMC) in Korea. At first the gamma and neutron flux for the design basis fuel were determined assuming in-core environment (the temperature, pressure, etc. of the moderator, boron, cladding, $UO_2$ pellets) in which the design basis fuel is loaded, as input data. The evaluation simulated burnup up to 45,000 MWD/MTU and decay during ten years of cooling using the SAS2H/OGIGEN-S module of the SCALE5.1 system. The results from the source term evaluation were used as input data for the final shielding evaluation utilizing the MCNP Code, which yielded the effective dose rate. The design of the cask is based on the safety requirements for normal storage conditions under 10 CFR Part 72. A radiation shielding analysis of the metal storage cask optimized for loading 21 design basis fuels was performed for two cases; one for a single cask and the other for a $2{\times}10$ cask array. For the single cask, dose rates at the external surface of the metal cask, 1m and 2m away from the cask surface, were evaluated. For the $2{\times}10$ cask array, dose rates at the center point of the array and at the center of the casks' height were evaluated. The results of the shielding analysis for the single cask show that dose rates were considerably higher at the lower side (from the bottom of the cask to the bottom of the neutron shielding) of the cask, at over 2mSv/hr at the external surface of the cask. However, this is not considered to be a significant issue since additional shielding will be installed at the storage facility. The shielding analysis results for the $2{\times}10$ cask array showed exponential decrease with distance off the sources. The controlled area boundary was calculated to be approximately 280m from the array, with a dose rate of 25mrem/yr. Actual dose rates within the controlled area boundary will be lower than 25mrem/yr, due to the decay of radioactivity of spent fuel in storage.

CNVDAT: A Copy Number Variation Detection and Analysis Tool for Next-generation Sequencing Data (CNVDAT : 차세대 시퀀싱 데이터를 위한 유전체 단위 반복 변이 검출 및 분석 도구)

  • Kang, Inho;Kong, Jinhwa;Shin, JaeMoon;Lee, UnJoo;Yoon, Jeehee
    • Journal of KIISE:Databases
    • /
    • v.41 no.4
    • /
    • pp.249-255
    • /
    • 2014
  • Copy number variations(CNVs) are a recently recognized class of human structural variations and are associated with a variety of human diseases, including cancer. To find important cancer genes, researchers identify novel CNVs in patients with a particular cancer and analyze large amounts of genomic and clinical data. We present a tool called CNVDAT which is able to detect CNVs from NGS data and systematically analyze the genomic and clinical data associated with variations. CNVDAT consists of two modules, CNV Detection Engine and Sequence Analyser. CNV Detection Engine extracts CNVs by using the multi-resolution system of scale-space filtering, enabling the detection of the types and the exact locations of CNVs of all sizes even when the coverage level of read data is low. Sequence Analyser is a user-friendly program to view and compare variation regions between tumor and matched normal samples. It also provides a complete analysis function of refGene and OMIM data and makes it possible to discover CNV-gene-phenotype relationships. CNVDAT source code is freely available from http://dblab.hallym.ac.kr/CNVDAT/.