• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.601-603
• /
• 2002

공유메모리 병렬프로그램에서 경합은 프로그램의 비결정적인 수행을 초래하므로 디버깅을 위해서 반드시 탐지되어져야 한다. 경합을 수행 중에 디버깅하기 위한 기존의 도구들은 경합탐지 엔진과 시각화 엔진으로 구성된 경합디버깅 엔진을 특정 프로그램 모델에 의존적으로 적용하여 경합디버깅 환경을 구성한다. 이러한 도구들은 프로그램 모델의 변경 시에 경합디버깅 환경이 최적의 경합 디버깅 엔진으로 구성되지 못한다는 문제점이 있다. 본 논문에서는 OpenMP 병렬프로그랭에서 각 프로그램 모델에 따라 효과성, 효율성, 확장성 등을 고려한 경합탐지 엔진과 추상성을 고려한 시각화 엔진으로 경합디버깅 환경을 자동으로 생성하는 도구를 제안한다. 이 도구는 디버깅 대상이 되는 프로그램의 모델에 최적인 경합디버깅 엔진을 적용하므로 경합탐지 목적에 부합하는 최적의 성능과 효과적인 시각화를 제공한다. 따라서, 본 도구는 디버깅 환경을 생성하기 위한 부담을 줄여서 효과적인 디버깅을 할 수 있게 한다.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.2
• /
• pp.335-346
• /
• 1999

The process of program debugging is essentially an intelligence intensive process. It is thought viable to develop a knowledge-based tool to help programmer perform this process. This paper presents the design of such a system. Unlike other knowledge-based debugging tools which are mostly based on formal program specification and automatic program understanding, this tool is based on debugging heuristic. This tool is a debugging assistant which only suggests the programmer in program debugging what and where to examine using the debugging heuristic stored in the knowledge base. In this paper, a umber of useful heuristic debugging knowledge are explained and their usage in debugging process are described. The, a scheme to organize the knowledge in the knowledge base and an intelligent program debugging assistant using the knowledge are proposed and discussed.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.943-945
• /
• 2004

임베디드 소프트웨어는 타겟 시스템의 자원과 타이밍에 민감하므로 실제 타겟 시스템과 동일한 환경에서 디버깅해야한다. 이를 위한 기존의 기법들은 타겟 시스템의 자원에 직접적으로 접근하여 시스템 상태를 조사하거나 제어한다. 그러나 이러한 기법들은 내부 신호나 자원에 대한 접근이 제한되어 있는 SoC (System-On-a-Chip) 프로그램을 디버깅하기는 부적합하다. 본 논문에서는 산업 표준화된 JTAG을 기반으로 공개 소프트웨어인 gob를 연동하여 SoC 소프트웨어를 디버깅하는 도구를 제안한다. 따라서 본 도구는 타겟 시스템에 영향을 주지 않고 경제적으로 디버깅할 수 있는 환경을 제공한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.13-15
• /
• 2004

OpenMP 프로그램에서 수행되는 스레드들간에 적절한 동기화 없이 적어도 하나의 쓰기 사건으로 동일한 공유변수에 접근하는 경우에 발생되는 오류인 경합은 비결정적인 수행결과를 초래하므로 디버깅을 위해서 반드시 탐지되어야 한다. 이러한 경합탐지를 위한 기존의 디버깅 도구는 프로그램의 복잡한 수행구조 및 디버깅 정보를 시각화하기 위한 공간이 제한적이므로 효과적인 시각화를 제공하지 못한다. 본 논문에서는 경합 시각화를 위해서 3차원적 시각화와 스레드 및 이벤트 둥의 추상화 기능으로 공간적 제약성을 해결하는 도구를 제안한다. 제안된 도구는 추상적 시각화 정보를 제공하므로 프로그램의 이해가 용이하고 효과적인 경합디버깅 환경을 제공한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.1449-1452
• /
• 2005

SoC 프로그램은 타겟 시스템의 자원과 타이밍에 민감하여 실제 타겟 시스템과 동일한 환경에서 디버깅해야 하므로 호스트 시스템과 타겟 시스템간의 원격 접속을 위한 Adapter가 필수적으로 요구된다. 그러나 기존의 디버깅 도구에 사용되는 고가의 Adapter들은 도구에 제한적이기 때문에 다른 도구와의 연동이 불가능하다. 본 논문에서는 산업표준인 JTAG을 기반으로하는 SoC를 원격으로 제어하기 위한 고속의 USB-JTAG Adapter를 개발하여 GDB 기반의 경제적 원격 디버깅 도구를 개발할 수 있음을 보인다.

• Journal of Internet Computing and Services
• /
• v.17 no.5
• /
• pp.33-42
• /
• 2016

Pin is a framework that creates dynamic program analysis tools and can be used to perform program analysis on user space in Linux and Windows. It is hard to analyze the program such as Anti-reversing program or malware using anti-debugging by Pin. In this paper, we will suggest the implementation of scheme bypassing anti-debugging with Pin. Each pin code is written to bypass anti-debugging detecting Pin. And Pin creates a pin tool combined with Pin codes that bypass anti-debugging methods. The pin tool are tested with files created by anti-debugging protector. The technique in the paper is expected to be a reference of code bypassing anti-debugging and be applied to bypass newly discovered anti-debugging through code modification in the future.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.4-6
• /
• 2005

임베디드 시스템에서 요구하는 SoC 프로그램을 개발하기 위해서는 자원이 풍부한 호스트 시스템에서 원격으로 디버깅할 수 있는 도구가 필요하다. 그러나 GDB를 이용하는 기존의 원격디버깅 도구는 SoC 프로그램의 수행시에 정보를 실시간으로 제공하지 못하므로, 프로그램의 수행 양상을 실시간으로 감시하기 어렵다. 본 논문은 지정된 명령문의 수행시마다 SoC의 상태를 수행 중에 기록할 수 있는 실시간 추적도구를 소개한다. 그리고 본 도구가 PXA255 프로세서 기반의 타켓 시스템에서 합성 프로그램의 수행을 실시간으로 추적할 수 있음을 보인다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.17-19
• /
• 2012

윈도우즈, 리눅스 등 시장 점유율이 높은 운영체제의 경우에는 다양한 디버깅 도구들로 인해 개발 효율성이 향상된다. 반면 VxWorks 운영체제의 경우에는 실시간성이 요구되는 임베디드 환경에서 제한적으로 사용되어 디버깅 도구 부족 등 개발 효율성 측면에서 여러 제약사항들이 존재한다. 다양한 소프트웨어 오류 가운데 임베디드 환경의 제약으로 인한 대표적인 하드웨어 리소스인 CPU, 메모리와 관련된 디버깅 방안에 관해 소개하고 디버깅 효율성을 개선하고자 한다.

• The KIPS Transactions:PartA
• /
• v.12A no.7 s.97
• /
• pp.583-588
• /
• 2005

To develop SoC program for embedded systems, a tool that can remotely debug from host system is needed. Because the existing remote debugging systems using GDB don't offer information of the SoC program execution in real-time, it is difficult to observe condition of the program execution, and also they have limited characteristics to tools and use costly adaptors. In this paper, a real-time tracking tool that can record SoC status on the nv each execution of the assigned instructions is introduced and an economical USB-JTAG adaptor is proposed. And it is shown that this tool can track the execution of a composed program in the target system based on PXA255 processor.

• The KIPS Transactions:PartA
• /
• v.15A no.2
• /
• pp.87-94
• /
• 2008

Message races should be detected for debugging effectively message-passing programs because they can cause non-deterministic executions of a program. Previous tools for detecting message races report that message races occur in every receive operation which is expected to receive any messages. However message races might not occur in the receive operation if each of messages is transmitted through a different logical communication channel so that their incorrect detection makes it a difficult task for programmers to debug programs. In this paper we suggest a tool, MPIRace-Check, which can exactly detect message races by checking the concurrency between send/receive operations, and by inspecting the logical communication channels of the messages. To detect message races, this tool uses the vector timestamp to check if send and receive operations are concurrent during an execution of a program and it also uses the message envelop to inspect if the logical communication channels of transmitted messages are the same. In our experiment, we show that our tool can exactly detect message races with efficiency using MPI_RTED and a benchmark program. By detecting message races exactly, therefore, our tool enables programmers to develop reliable parallel programs reducing the burden of debugging.