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 条
  • [21] AN APPROACH TO HIGH-LEVEL DEBUGGING OF DISTRIBUTED SYSTEMS (PRELIMINARY DRAFT)
    BATES, P
    WILEDEN, JC
    SIGPLAN NOTICES, 1983, 18 (08): : 107 - 111
  • [22] HIGH-LEVEL DEBUGGING ASSISTANCE VIA OPTIMIZING COMPILER TECHNOLOGY
    OTTENSTEIN, KJ
    SIGPLAN NOTICES, 1983, 18 (08): : 115 - 116
  • [23] HIGH-LEVEL DEBUGGING OF DISTRIBUTED SYSTEMS - THE BEHAVIORAL ABSTRACTION APPROACH
    BATES, PC
    WILEDEN, JC
    JOURNAL OF SYSTEMS AND SOFTWARE, 1983, 3 (04) : 255 - 264
  • [24] DISDEB - AN INTERACTIVE HIGH-LEVEL DEBUGGING SYSTEM FOR A MULTIMICROPROCESSOR SYSTEM
    LAZZERINI, B
    PRETE, CA
    MICROPROCESSING AND MICROPROGRAMMING, 1986, 18 (1-5): : 401 - 408
  • [25] Using DDBG to support testing and high-level debugging interfaces
    Cunha, JC
    Lourenco, J
    Duarte, V
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1998, 17 (05): : 429 - 439
  • [26] High-Level Abstractions and Modular Debugging for FPGA Design Validation
    Iskander, Yousef
    Patterson, Cameron
    Craven, Stephen
    ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, 2014, 7 (01)
  • [27] High-Level Synthesis for Security and Trust
    Rajendran, Jeyavijayan
    Zhang, Huan
    Sinanoglu, Ozgur
    Karri, Ramesh
    PROCEEDINGS OF THE 2013 IEEE 19TH INTERNATIONAL ON-LINE TESTING SYMPOSIUM (IOLTS), 2013, : 232 - +
  • [28] The high-level panel and the security council
    Malone, DM
    SECURITY DIALOGUE, 2005, 36 (03) : 370 - 372
  • [29] High-level synthesis for security and trust
    Rajendran, Jeyavijayan J. V.
    Zhang, Huan
    Sinanoglu, Ozgur
    Karri, Ramesh
    Proceedings of the 2013 IEEE 19th International On-Line Testing Symposium, IOLTS 2013, 2013, : 232 - 233
  • [30] High-level specification of security systems
    López, J
    Ortega, JJ
    Troya, JA
    Vivas, J
    GLOBECOM'03: IEEE GLOBAL TELECOMMUNICATIONS CONFERENCE, VOLS 1-7, 2003, : 1506 - 1510