• 전기전자학회논문지
• /
• 제27권1호
• /
• pp.93-102
• /
• 2023

악성코드 분석을 위한 기술 중 하나로 실행 프로그램의 함수 호출 관계를 시퀀스 또는 그래프 작성한 후, 그 결과를 분석하는 기술이 제안되었다. 이러한 기술들은 일반적으로 실행 프로그램 파일의 정적 분석을 통해 함수 호출 코드를 분석하고, 함수 호출 관계를 시퀀스 또는 그래프로 정리한다. 그러나 난독화 된 실행 프로그램의 경우, 실행 프로그램 파일의 구성이 표준구성과 다르기 때문에 정적분석 만으로는 함수 호출관계를 명확히 분석하기 어렵다. 본 논문에서는 난독화 된 실행 프로그램의 함수 호출관계를 분석하기 위한 동적 분석 방법을 제안하고, 제안된 기술을 이용하여 함수 호출관계를 그래프로 구성하는 방법을 제안한다.

• 한국전문물리치료학회지
• /
• 제10권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.

• 대한임상전기생리학회지
• /
• 제8권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.

• 한국콘텐츠학회논문지
• /
• 제10권5호
• /
• pp.70-79
• /
• 2010

바이너리 코드 수준에서 정적인 프로그램 분석을 수행한다. 소스 코드가 아닌 바이너리 코드 수준에서 분석을 수행하는 이유는 일반적으로 로컬 컴퓨터에 설치하는 실행 파일은 소스 코드 없이 단지 바이너리로 된 실행 파일만 주어지는 경우가 대부분이기 때문이다. 또한 정적으로 분석을 수행하려는 이유는 정적인 제어 흐름 분석을 통해 프로그램이 수행 시 어떤 동작을 수행하게 될지를 수행 전에 파악하기 위해서이다. 본 논문에서는 바이너리 실행 파일로부터 함수간의 실행 순서 및 제어 흐름 등의 정보를 표현할 수 있는 실행 흐름 그래프를 작성하여 사용자가 바이너리 파일의 실행 흐름과 위험한 함수의 호출 여부를 동시에 파악할 수 있도록 하며, 그래프를 통해 바이너리 파일의 분석을 용이하게 한다. 또한 실행 흐름에 대한 자동 탐색 방법을 제공하여 수행될 프로그램의 안전성을 보장하고, 수행 전에 외부에서 다운받아 설치할 프로그램이 안전한지를 판단할 수 있도록 한다.

• 정보보호학회논문지
• /
• 제32권2호
• /
• pp.171-179
• /
• 2022

자체 수정 코드(Self-Modifying-Code)란 실행 시간 동안 스스로 실행 코드를 변경하는 코드를 말한다. 이런 기법은 특히 악성코드가 정적 분석을 우회하는 데 악용된다. 따라서 이러한 악성코드를 효과적으로 검출하려면 자체 수정 코드를 파악하는 것이 중요하다. 그동안 동적 분석 방법으로 자체 수정 코드를 분석해왔으나 이는 시간과 비용이 많이 든다. 만약 정적 분석으로 자체 수정 코드를 검출할 수 있다면 악성코드 분석에 큰 도움이 될 것이다. 본 논문에서는 LLVM IR로 변환한 바이너리 실행 프로그램을 대상으로 자체 수정 코드를 탐지하는 정적 분석 방법을 제안하고, 자체 수정 코드 벤치마크를 만들어 이 방법을 적용했다. 본 논문의 실험 결과 벤치마크 프로그램을 컴파일로 변환한 최적화된 형태의 LLVM IR 프로그램에 대해서는 설계한 정적 분석 방법이 효과적이었다. 하지만 바이너리를 리프팅 변환한 비정형화된 LLVM IR 프로그램에 대해서는 자체 수정 코드를 검출하기 어려운 한계가 있었다. 이를 극복하기 위해 바이너리를 리프팅 하는 효과적인 방법이 필요하다.

• 한국컴퓨터정보학회논문지
• /
• 제10권3호
• /
• pp.75-88
• /
• 2005

본 논문에서는 원격으로 제어 가능한 실시간 시스템에서 발생 가능한 악의적인 코드 삽입에 의한 보안 공격을 방지할 수 있는 방법을 제안한다. 제안하는 방법은 원격으로 제어 코드를 전달하여 시스템을 업그레이드하는 경우 전달된 제어 코드의 안전성을 실행 전에 분석하는 방법으로서 정적 프로그램 분석 방법을 이용한다. 제안하는 분석 방법을 구현한 도구를 컴파일러 내에 삽입하여 실제 원격으로 소프트웨어 업그레이드가 가능한 실시간 시스템 환경에 적용하여 효용성을 검증하였다.

• 대한기계학회논문집A
• /
• 제24권1호
• /
• 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.

• 정보과학회 논문지
• /
• 제44권10호
• /
• pp.1081-1086
• /
• 2017

대규모 공개 소스 소프트웨어 저장소를 대상으로 프로그램 분석을 수행하면, 각 저장소의 소프트웨어의 변화 과정을 살펴볼 수 있고, 방대한 양의 프로그램을 분석함으로써 신뢰도가 높은 분석 결과를 얻을 수 있다는 점에서 의의가 있다. 본 논문에서는 대규모 소프트웨어 저장소를 대상으로 확장 가능하게 정적 프로그램 분석을 수행할 수 있는 프레임워크인 WALABOA를 소개한다. 나아가, 정적 분석 결과인 정적 함수 호출 그래프와 동적 분석 결과인 동적 함수 호출 그래프를 비교하는 모듈을 WALABOA에 추가하여, 자바스크립트 분석기 WALA에서 제공하는 분석 기법 중 하나인 필드 기반 분석(field-based analysis) 결과를 평가하는 데 활용하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권12호
• /
• pp.1177-1187
• /
• 2010

플래시 메모리는 휴대성, 저전력, 대용량의 특징을 갖고 있어 휴대용 기기에서의 사용이 증가하고 있다. 그러나 하드디스크와는 달리 플래시 메모리는 읽기 연산에 비해 쓰기 연산의 비용이 상대적으로 커서, 쓰기 연산 횟수 감소에 대한 연구가 요구된다. 본 논문에서는 데이터 쓰기 연산 횟수를 감소시키기 위해, 플래시 메모리에 저장된 데이터를 다루는 응용 프로그램을 재작성하여 저장될 데이터를 적절히 재배치하기 위한 정적 분석 기법을 제안하였다. 이 기법은 프로그램을 정적 분석해서 쓰기 연산 부분을 파악하고, 이들을 분리해내어 저장되도록 프로그램을 재작성 함으로써, 수행 시간에 전체 쓰기 영역이 줄어들도록 하는 것이다. 따라서 본 논문에서는 프로그램에서 다루어지는 데이터 중 쓰기 가능한 영역을 얻어내는 분석과 가능한 작은 개수의 페이지에 쓰기 대상 부분이 모여 있도록 재배치하기 위한 분석을 고안하였다. 정적 분석 결과는 자주 수행되는 프로그램 경로에 대한 프로파일링 결과와 조합되어 보다 실제적인 분석 결과를 얻고자 하였으며, 결과적으로, FAST 시뮬레이터 상에서 데이터 처리 성능을 향상시키는 데에 기여함을 보였다.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 1998년도 제2회 박판성형심포지엄 논문집 박판성형기술의 현재와 미래
• /
• 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.