• Title/Summary/Keyword: Source Code Analysis

Search Result 440, Processing Time 0.029 seconds

A Study on Construction of Reverse Engineering Environment in Forth Generation Language (4세대 언어에서의 역공학 환경 구성)

  • Jin, Yeong-Bae;Wang, Chang-Jong
    • The Transactions of the Korea Information Processing Society
    • /
    • v.2 no.4
    • /
    • pp.509-523
    • /
    • 1995
  • With the diversified and enlarged softwares, the issue of software maintenance became more complex and difficult consequently, the cost of software maintenance took up the highest portion in the software life cycle. At the same time, in order to develop or use software for general computers the development environment will be changed to incorporate user-friendly 4GL (Fourth generation Language). Therefore, it is required to take a closer look at the languages such as COBOL, C, FORTRAN, PASCAL which have source code comprised of 4GL and investigate the method of analysis and reuse for program understanding since a lot of research has been done with these languages in program maintenance. The purpose of this paper is to propose reverse engineering tool in 4GL and find an effective way of understanding and maintaining the program by transforming source code comprised of 4GL to meta language and designing and implementing Document Generator, Report Generator, Module Generator, Code Translator for program understanding.

  • PDF

Performance Analysis and Improvement of National Fire Safety Code elements of Sprinkler System (스프링클러설비의 화재안전기준 요소의 성능분석 및 개선방안)

  • Oh, Taekhum;Lee, Jungil
    • Journal of the Society of Disaster Information
    • /
    • v.9 no.4
    • /
    • pp.413-422
    • /
    • 2013
  • This study evaluated the fire safety code elements through analyze the loss of life when the fire occurred in the facility sprinklers installed evaluated. And through comparison with national fire safety code elements and standards of NFPA 13 in the United States, Was looking for ways to improve for Life and property damage. In the United States, in some cases, if you do not install the sprinkler are installed as per the fire death rate compared to 83 % lower. By contrast, If the domestic rate of 280 % fatalities were 3.37 times than the United States. This lack of fire performance were analyzed uniform occupancy classification, the amount of source of water supply, live not consider the density according to the standard number and the horizontal distance that causes the installation of sprinkler facilities were analyzed.

Learning Source Code Context with Feature-Wise Linear Modulation to Support Online Judge System (온라인 저지 시스템 지원을 위한 Feature-Wise Linear Modulation 기반 소스코드 문맥 학습 모델 설계)

  • Hyun, Kyeong-Seok;Choi, Woosung;Chung, Jaehwa
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.11 no.11
    • /
    • pp.473-478
    • /
    • 2022
  • Evaluation learning based on code testing is becoming a popular solution in programming education via Online judge(OJ). In the recent past, many papers have been published on how to detect plagiarism through source code similarity analysis to support OJ. However, deep learning-based research to support automated tutoring is insufficient. In this paper, we propose Input & Output side FiLM models to predict whether the input code will pass or fail. By applying Feature-wise Linear Modulation(FiLM) technique to GRU, our model can learn combined information of Java byte codes and problem information that it tries to solve. On experimental design, a balanced sampling technique was applied to evenly distribute the data due to the occurrence of asymmetry in data collected by OJ. Among the proposed models, the Input Side FiLM model showed the highest performance of 73.63%. Based on result, it has been shown that students can check whether their codes will pass or fail before receiving the OJ evaluation which could provide basic feedback for improvements.

Hypersonic Chemical Nonequilibrium Flow Analysis with HLLE+ and LU-AF (HLLE+와 LU-AF를 이용한 극초음속 화학적 비평형 유동장 해석)

  • Park Soo-Hyung;Kwon Jang Hyuk
    • Journal of computational fluids engineering
    • /
    • v.5 no.2
    • /
    • pp.47-54
    • /
    • 2000
  • A robust Navier-Stokes code has been developed to efficiently predict hypersonic flows in chemical nonequilibrium. The HLLE+ flux discretization scheme is used to improve accuracy and robustness of hypersonic flow analysis. An efficient LU approximate factorization method is also used to solve the flow equations and species continuity equations in fully coupled fashion to implicitly treat stiff source terms of chemical reactions. The HLLE+ scheme shows lower grid dependency for the wall heating rates than other schemes. The developed code has been used to compute chemical nonequilibrium air flow through expanding hypersonic nozzle and past two and three dimensional blunt-nosed bodies. The results are in good agreement with existing numerical and experimental results.

  • PDF

The Design and Implementation of Class Relation Information Tool from C++ Code (C++ 코드로부터 클래스 관련 정보 생성 도구의 설계 및 구현)

  • Jang, Deok-Cheol;Park, Jang-Han
    • The Transactions of the Korea Information Processing Society
    • /
    • v.7 no.3
    • /
    • pp.818-830
    • /
    • 2000
  • Automation tools for program analysis are needed in order to program understand and maintain, extract the characteristics of object-oriented program such as class name, member function and data member. In this paper, we carried out design and implementation of the automation tool for effective maintenance of object-oriented software. Being based on Reverse Engineering, this approach extracts class relationship information from C++ source code and generates object-oriented model of class diagram using UML as the standard object-oriented methodology. Therefore, this paper provides developers visualized including class information, definitions of classes, inheritance relationships, set relationships, and simple reference relationships. Finally in this paper, we propose a method that construct class relationship information to table in analysis state and make form of table construction to link form so tat developers can perform understanding and maintaining program efficiently. And this method enable to restructure and reuse in object-oriented model.

  • PDF

Static Analysis and Improvement Opportunities for Open Source of UAV Flight Control Software (무인비행체 비행제어 Open Source 소프트웨어에 대한 정적분석 및 개선방안)

  • Jang, Jeong-hoon;Kang, Yu-sun;Lee, Ji-hyun
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.49 no.6
    • /
    • pp.473-480
    • /
    • 2021
  • In this paper, We analyze and present improvements to problems in software quality through Static Analysis for Open Source, which is widely used as the Flight Controller software for small unmanned aerial vehicle drones. MISRA coding rules, which are widely applied based on software quality, have been selected. Static analysis tools were used by LDRA tools certified international tools used in all industries, including automobiles, railways, nuclear power and healthcare, as well as aviation. We have identified some safety-threatening problems across the quality of the software, such as structure of open source modules, analysis of usage data, compliance with coding rules, and quality indicators (complexity and testability), and have presented improvements.

A Program Similarity Check by Flow Graphs of Functional Programs (흐름 그래프 형태를 이용한 함수형 프로그램 유사성 비고)

  • Seo Sunae;Han Taisook
    • Journal of KIISE:Software and Applications
    • /
    • v.32 no.4
    • /
    • pp.290-299
    • /
    • 2005
  • Stealing the source code of a program is a serious problem not only in a moral sense but also in a legal sense. However, it is not clear whether the code of a program is copied from another or not. There was a program similarity checker detecting code-copy by comparing the syntax trees of programs. However this method has a limitation that it cannot detect the code-copy attacks when the attacker modifies the syntax of the program on purpose. We propose a program similarity check by program control graph, which reveals not only syntax information but also control dependancy. Our method can detect the code-copy attacks that do not change control dependancy Moreover, we define what code-copy means and establish the connection between code-copy and similarity of program control graph: we prove that two programs are related by copy congruence if and only if the program control graphs of these programs are equivalent. We implemented our method on a functional programming language, nML. The experimental results show us that the suggested method can detect code similarity that is not detected by the existing method.

Finite element analysis for surface hardening of SM45C round bar by diode laser (다이오드 레이저를 이용한 SM45C 환봉 표면경화 열처리의 유한요소해석)

  • Cho, Hae-Yong;Kim, Kwan-Woo;Lee, Jae-Hoon;Suh, Jeong;Kim, Jong-Do
    • Proceedings of the KSME Conference
    • /
    • 2007.05a
    • /
    • pp.683-688
    • /
    • 2007
  • Surface heat treatment of SM45C round bar by diode laser was simulated to find it's condition by using commercial finite element code MARC. Due to axisymmetric geometry, a quarter of model for SM45C round bar was considered and user subroutines were applied to boundary condition for the heat transfer. Material properties such as conductivity, specific heat and mass density were given as a function of temperature. Rotation speed of round bar and feed rate of beam were considered to design heat source model. Shape parameter values of heat source were determined by beam profile. As results, Three dimensional heat source model for diode laser beam conditions of surface hardening has been designed by the comparison between the finite element analysis results and experimental data on SM45C round bar. Diode laser surface hardening for SM45C round bar was successfully simulated and it should be useful to determine optimal heat treatment condition.

  • PDF

Extension of MARTE Profile for Model-based Power Consumption Analysis of Embedded Software with UML 2.0 (UML 2.0을 사용한 모델 기반의 임베디드 소프트웨어 소모 전력 분석을 위한 MARTE Profile의 확장)

  • Pyeon, Ho-Rim;Kim, Jong-Phil;Hong, Jang-Eui
    • Journal of KIISE:Software and Applications
    • /
    • v.37 no.4
    • /
    • pp.252-263
    • /
    • 2010
  • The needs of low-power embedded software are being increased. Along with the needs, the studies to predict the power consumption of embedded software are also being increased. Although existing studies for power analysis have been performed in source code-based, these code-based analysis have some shortages of long analysis time and much feedback efforts. Recently some studies of power analysis based on software models are prompted. This paper describes on the model-based approach using UML diagrams in embedded software development process. Specially we focus on the extension of OMG's MARTE Profile to support model-based analysis. The MARTE extension gives the possibility of power analysis using just UML diagrams without any other analysis model in embedded software development.

Estimation of In-plant Source Term Release Behaviors from Fukushima Daiichi Reactor Cores by Forward Method and Comparison with Reverse Method

  • Kim, Tae-Woon;Rhee, Bo-Wook;Song, Jin-Ho;Kim, Sung-Il;Ha, Kwang-Soon
    • Journal of Radiation Protection and Research
    • /
    • v.42 no.2
    • /
    • pp.114-129
    • /
    • 2017
  • Background: The purpose of this paper is to confirm the event timings and the magnitude of fission product aerosol release from the Fukushima accident. Over a few hundreds of technical papers have been published on the environmental impact of Fukushima Daiichi accident since the accident occurred on March 11, 2011. However, most of the research used reverse or inverse method based on the monitoring of activities in the remote places and only few papers attempted to estimate the release of fission products from individual reactor core or from individual spent fuel pool. Severe accident analysis code can be used to estimate the radioactive release from which reactor core and from which radionuclide the peaks in monitoring points can be generated. Materials and Methods: The basic material used for this study are the initial core inventory obtained from the report JAEA-Data/Code 2012-018 and the given accident scenarios provided by Japanese Government or Tokyo Electric Power Company (TEPCO) in official reports. In this research a forward method using severe accident progression code is used as it might be useful for justifying the results of reverse or inverse method or vice versa. Results and Discussion: The release timing and amounts to the environment are estimated for volatile radioactive fission products such as noble gases, cesium, iodine, and tellurium up to 184 hours (about 7.7 days) after earthquake occurs. The in-plant fission product behaviors and release characteristics to environment are estimated using the severe accident progression analysis code, MELCOR, for Fukushima Daiichi accident. These results are compared with other research results which are summarized in UNSCEAR 2013 Report and other technical papers. Also it may provide the physically based arguments for justifying or suspecting the rationale for the scenarios provided in open literature. Conclusion: The estimated results by MELCOR code simulation of this study indicate that the release amount of volatile fission products to environment from Units 1, 2, and 3 cores is well within the range estimated by the reverse or inverse method, which are summarized in UNSCEAR 2013 report. But this does not necessarily mean that these two approaches are consistent.