Computer security analysis through decompilation and high-level debugging

被引:6
|
作者
Cifuentes, C [1 ]
Waddington, T [1 ]
Van Emmerik, M [1 ]
机构
[1] Sun Microsyst Labs, Palo Alto, CA 94303 USA
关键词
D O I
10.1109/WCRE.2001.957846
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The extensive use of computers and networks worldwide has raised the awareness of the need for tools and techniques to aid in computer security analysis of binary code, such as the understanding of viruses, trojans, worms, back-doors and general security flaws, in order to provide immediate solutions with or without the aid of software vendors. This paper is a proposal for a high-level debugging tool to be used by computer security experts, which will reduce the amount of time needed in order to solve security-related problems in executable programs. The current state of the art involves the tracing of thousands of lines of assembly code using a standard debugger. A high-level debugger would be capable of displaying a high-level representation of an executable program in the C language, hence reducing the number of lines that need to be inspected by an order of magnitude (i.e. hundreds instead of thousands of lines). Effectively, these techniques will help in reducing the amount of time needed to trace a security flaw in an executable program, as well as reducing the costs of acquiring or training skilled assembler engineers.
引用
收藏
页码:375 / 380
页数:6
相关论文
共 50 条
  • [11] High-level observations in Java']Java debugging
    Mayer, W
    Stumptner, M
    ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 1059 - 1060
  • [12] HARDWARE ASSISTED HIGH-LEVEL DEBUGGING (PRELIMINARY DRAFT)
    GENTLEMAN, WM
    HOEKSMA, H
    SIGPLAN NOTICES, 1983, 18 (08): : 140 - 144
  • [13] REALTIME HIGH-LEVEL DEBUGGING IN HOST TARGET ENVIRONMENTS
    BEMMERL, T
    MICROPROCESSING AND MICROPROGRAMMING, 1986, 18 (1-5): : 387 - 400
  • [14] DEBUGGING CATCHES UP WITH HIGH-LEVEL PROGRAMMING.
    Vannerson, Stuart
    Electronic Design, 1982, 30 (13) : 121 - 124
  • [15] High-Level Synthesis of In-Circuit Assertions for Verification, Debugging, and Timing Analysis
    Curreri, John
    Stitt, Greg
    George, Alan D.
    INTERNATIONAL JOURNAL OF RECONFIGURABLE COMPUTING, 2011, 2011
  • [16] Debug patterns for efficient high-level SystemC debugging
    Rogin, Frank
    Fehlauer, Erhard
    Haufe, Christian
    Ohnewald, Sebastian
    PROCEEDINGS OF THE 2007 IEEE WORKSHOP ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS, 2007, : 403 - +
  • [17] GENERALIZED PATH EXPRESSIONS - A HIGH-LEVEL DEBUGGING MECHANISM
    BRUEGGE, B
    HIBBARD, P
    JOURNAL OF SYSTEMS AND SOFTWARE, 1983, 3 (04) : 265 - 276
  • [18] HLScope: High-Level Performance Debugging for FPGA Designs
    Choi, Young-Kyu
    Cong, Jason
    2017 IEEE 25TH ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM 2017), 2017, : 125 - 128
  • [19] Model-based debugging with high-level observations
    Mayer, W
    Stumptner, M
    INTELLIGENT INFORMATION PROCESSING II, 2005, 163 : 299 - 309
  • [20] HDB - A HIGH-LEVEL DEBUGGING TOOL USING CHECKSUMS
    CHENG, DY
    PROCEEDINGS : SUPERCOMPUTING 89, 1989, : 568 - 573