• Title/Summary/Keyword: static program analysis

Search Result 502, Processing Time 0.026 seconds

The Generation of the Function Calls Graph of an Obfuscated Execution Program Using Dynamic (동적 분석을 이용한 난독화 된 실행 프로그램의 함수 호출 그래프 생성 연구)

  • Se-Beom Cheon;DaeYoub Kim
    • Journal of IKEEE
    • /
    • v.27 no.1
    • /
    • pp.93-102
    • /
    • 2023
  • As one of the techniques for analyzing malicious code, techniques creating a sequence or a graph of function call relationships in an executable program and then analyzing the result are proposed. Such methods generally study function calling in the executable program code through static analysis and organize function call relationships into a sequence or a graph. However, in the case of an obfuscated executable program, it is difficult to analyze the function call relationship only with static analysis because the structure/content of the executable program file is different from the standard structure/content. In this paper, we propose a dynamic analysis method to analyze the function call relationship of an obfuscated execution program. We suggest constructing a function call relationship as a graph using the proposed technique.

Effect of Visual Block, Task Type, and Participation in an Exercise Program on Static Balance in the Elderly (시각 차단, 과제 유형, 및 운동프로그램 참여가 노인의 정적 균형에 미치는 영향)

  • Woo, Young-Keun;Yi, Chung-Hwi;Cho, Sang-Hyun;Kwon, Hyuk-Cheol
    • Physical Therapy Korea
    • /
    • v.10 no.3
    • /
    • pp.1-15
    • /
    • 2003
  • The purpose of this study was to assess the effect of visual block (eyes open or closed), mental task type, and participation in an exercise program on static balance in the elderly. The subjects were 34 elderly (>65 years old) residents of a social welfare institute in Gyeonggi-do. We measured the following variables. Berg balance scale, mini mental state examination, balance performance monitor (sway area, path, and maximal sway velocity), age, weight, height and whether the subject participated in an exercise program. Scores for the Berg balance scale and mini mental state examination were evaluated to assess static balance ability either alone (single task paradigm) or while performing a mental task (dual task paradigm). Static balance variables that were measured included sway area, path, and maximal sway velocity. Each test was repeated three times. Multiple regressions analysis was used to examine the effect of each variable on static balance ability. For the dual task paradigm, static balance was affected by whether the subject participated in an exercise program. The Berg balance scale score for subjects with their eyes open was affected by whether they participated in an exercise program, while this variable in addition to the height and weight of subjects were determining variables in subjects with their eyes closed. As a result, whether subjects participated in an exercise program affected their static balance irrespective of whether their eyes open or closed. Therefore, regular exercise is recommended for elderly people and further research is needed to examine the relationship between static and dynamic balance while performing mental tasks such as cognition and attention.

  • PDF

Effects of Core Program Exercise on Static Balance of Females in Their Twenties (코어 프로그램이 20대 여성의 정적균형에 미치는 영향)

  • Hwang, Seung-Joon;Cho, Nam-Jung;Lee, Jeong-Woo
    • Journal of the Korean Academy of Clinical Electrophysiology
    • /
    • v.8 no.1
    • /
    • pp.31-36
    • /
    • 2010
  • Purpose : The purpose of this study was to investigate the effects of core exercise on the static balance for females in their twenties. Methods : The core exercise program was conducted 3 times per week for 4 weeks. The result is based on the analysis of measuring static balance before and after the core exercise program. By using the GOOD BALANCE system, the assessment of the static balance ability was made before and after the exercise of 6 postures: normal standing, one left leg?and one right leg standing with eyes open and closed respectively. For each case, the experimental data were obtained in 3 items: mean X speed, mean Y speed, and velocity moment. Statistical analysis was performed using SPSS/Win(10.0) version and Willcoxon signed rank test. Results : From the result of this study, we found that mean X speed, mean Y speed and velocity moment of total postures significantly increased after the 4 week program of core exercises. Conclusion : These finding indicate that core exercises could be beneficial to females in their twenties due to the effect of increasing static balance.

Static Control Flow Analysis of Binary Codes (이진 코드의 정적 제어 흐름 분석)

  • Kim, Ki-Tae;Kim, Je-Min;Yoo, Weon-Hee
    • The Journal of the Korea Contents Association
    • /
    • v.10 no.5
    • /
    • pp.70-79
    • /
    • 2010
  • We perform static program analysis for the binary code. The reason you want to analyze at the level of binary code, installed on your local computer, run the executable file without source code. And the reason we want to perform static analysis, static program analysis is to understand what actions to perform on your local computer. In this paper, execution flow graph representing information such as the execution order among functions and the flow of control is generated. Using graph, User can find execution flow of binary file and calls of insecure functions at the same time, and the graph should facilitate the analysis of binary files. In addition, program to be run is ensured the safety by providing an automated way to search the flow of execution, and program to be downloaded and installed from outside is determined whether safe before running.

An LLVM-Based Implementation of Static Analysis for Detecting Self-Modifying Code and Its Evaluation (자체 수정 코드를 탐지하는 정적 분석방법의 LLVM 프레임워크 기반 구현 및 실험)

  • Yu, Jae-IL;Choi, Kwang-hoon
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.32 no.2
    • /
    • pp.171-179
    • /
    • 2022
  • Self-Modifying-Code is a code that changes the code by itself during execution time. This technique is particularly abused by malicious code to bypass static analysis. Therefor, in order to effectively detect such malicious codes, it is important to identify self-modifying-codes. In the meantime, Self-modify-codes have been analyzed using dynamic analysis methods, but this is time-consuming and costly. If static analysis can detect self-modifying-code it will be of great help to malicious code analysis. In this paper, we propose a static analysis method to detect self-modified code for binary executable programs converted to LLVM IR and apply this method by making a self-modifying-code benchmark. As a result of the experiment in this paper, the designed static analysis method was effective for the standardized LLVM IR program that was compiled and converted to the benchmark program. However, there was a limitation in that it was difficult to detect the self-modifying-code for the unstructured LLVM IR program in which the binary was lifted and transformed. To overcome this, we need an effective way to lift the binary code.

Ensuring Securityllable Real-Time Systems by Static Program Analysis (원격 실시간 제어 시스템을 위한 정적 프로그램 분석에 의한 보안 기법)

  • Lim Sung-Soo;Lee Kihwal
    • Journal of the Korea Society of Computer and Information
    • /
    • v.10 no.3 s.35
    • /
    • pp.75-88
    • /
    • 2005
  • This paper proposes a method to ensure security attacks caused by insertion of malicious codes in a real-time control system that can be accessed through networks. The proposed technique is for dynamically upgradable real-time software through networks and based on a static program analysis technique to detect the malicious uses of memory access statements. Validation results are shown using a remotely upgradable real-time control system equipped with a modified compiler where the proposed security technique is applied.

  • PDF

Development of a Computer Program for the Dynamic Analysis of Mount System with Flexible Bodies (탄성체를 포함하는 마운트계의 동역학 해석 프로그램 개발)

  • Lee, Byeong-Hun;Kim, Gyeong-U;Jeong, U-Jin
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.24 no.1 s.173
    • /
    • pp.94-102
    • /
    • 2000
  • A computer program for three dimensional dynamic analysis of a mount system composed of rigid or flexible bodies and mount elements is developed. Cartesian coordinates and Euler parameters are used to specify the positions and orientations of the bodies. The equations of motion are formulated using Langrange equation and Langrange multiplier technique. The developed program includes routine, for inclined mount elements, several kinds of driving constrains, and external forces. The Static equilibrium analysis routine is also developed using iterative method.

Static Analysis of Large Scale Software Repositories Using WALA and Boa (WALA와 Boa를 활용하여 대규모 소프트웨어 저장소를 정적으로 분석하는 도구 개발)

  • Park, Gyunghee;Ryu, Sukyoung
    • Journal of KIISE
    • /
    • v.44 no.10
    • /
    • pp.1081-1086
    • /
    • 2017
  • A program analysis of a large-scale open-source software repository has a significant meaning in that it allows us to examine the changes and improvements of the software in repositories, and this brings more reliable results based on a large amount of programs. In this paper, we introduce a new static analysis framework WALABOA, which enables a scalable static analysis of large-scale software repositories. In addition, we show new findings from applying WALABOA, together with a module comparing the analysis results from a static analysis and a dynamic analysis, in evaluation of the field-based analysis, one of JavaScript static analysis techniques used in WALA.

Applying Static Analysis to Improve Performance of Programs using Flash Memory Storage (플래시 메모리 저장 장치를 사용하는 프로그램의 성능 향상을 위한 정적 분석 기법의 응용)

  • Paik, Joon-Young;Cho, Eun-Sun
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.16 no.12
    • /
    • pp.1177-1187
    • /
    • 2010
  • Flash memory becomes popular storage for small devices due to its efficiency, portability, low power consumption and large capacity. Unlike on hard disks, however, write operation on flash memory is much more expensive than read operation, so that it is critical for performance enhancement to reduce the number of executions of write operation. This paper proposes static analysis to rewrite a program to reduce the total number of write operations by merging writable data in a minimum number of pages. To achieve this, we collect information about writable areas by static analysis, and about frequently executed paths by profiling for practicality, and combine both to rewrite the application program to reallocate data. The performance enhancement gained from the proposed methods is shown using a FAST simulator.

A Numerical Simulation of Springback Analysis for Sheet Metal Forming (박판성형을 위한 탄성복원해석의 수치적 모사)

  • 김충식;정완진
    • Proceedings of the Korean Society for Technology of Plasticity Conference
    • /
    • 1998.06a
    • /
    • pp.9-16
    • /
    • 1998
  • New program for springback analysis has been developed to predict the deformation of springback more accurately. Static implicit FEM is used to find out the static equilibrium after springback. The shell element with 6 dogrees of freedom and 4 nodes is carefully implemented to improve the accuracy and the compatibility between forming analysis and springback analysis. Co-rotational approach and Newton-Raphson nonlinear iteration are used to resolve the nonlinearity of large deformation. The benchmark results show that the developed program gives good predictions in comparison with experimental and other commercial S/W's results. As practical examples, U draw bending and S-rail problems are carried out by the developed program.