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 条
  • [1] VERY HIGH-LEVEL DEBUGGING
    LOPES, AV
    HELLER, RS
    FELDMAN, MB
    COMPUTERS & EDUCATION, 1994, 22 (03) : 231 - 238
  • [2] HIGH-LEVEL DEBUGGING IN PARASIGHT
    ARAL, Z
    GERTNER, I
    SIGPLAN NOTICES, 1989, 24 (01): : 151 - 162
  • [3] HIGH-LEVEL LANGUAGE DEBUGGING WITH A COMPILER
    FERRANTE, J
    SIGPLAN NOTICES, 1983, 18 (08): : 115 - 115
  • [4] OPIUM - A HIGH-LEVEL DEBUGGING ENVIRONMENT
    DUCASSE, M
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 472 - 474
  • [5] Nonintrusive high-level systemc debugging
    Rogin, Frank
    Fehlauer, Erhard
    Ruelke, Steffen
    Ohnewald, Sebastian
    Berndt, Thomas
    ADVANCES IN DESIGN AND SPECIFICATION LANGUAGES FOR EMBEDDED SYSTEMS, 2007, : 131 - +
  • [6] SEQUENTIAL DEBUGGING AT A HIGH-LEVEL OF ABSTRACTION
    OLSSON, RA
    CRAWFORD, RH
    HO, WW
    WEE, CE
    IEEE SOFTWARE, 1991, 8 (03) : 27 - 36
  • [7] HARDWARE ASSISTED HIGH-LEVEL DEBUGGING
    GENTLEMAN, WM
    HOEKSMA, H
    JOURNAL OF SYSTEMS AND SOFTWARE, 1983, 3 (04) : 309 - 314
  • [8] MULTILINGUAL DEBUGGING WITH THE SWAT HIGH-LEVEL DEBUGGER
    CARDELL, JR
    SIGPLAN NOTICES, 1983, 18 (08): : 180 - 189
  • [9] HIGH-LEVEL LANGUAGE DEBUGGING FOR CONCURRENT PROGRAMS
    GOLDSZMIDT, GS
    YEMINI, S
    KATZ, S
    ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1990, 8 (04): : 311 - 336
  • [10] HIGH-LEVEL DEBUGGING WITH THE AID OF AN INCREMENTAL OPTIMIZER
    POLLOCK, LL
    SOFFA, ML
    PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK, 1988, : B524 - B532