basis/tools/disassembler/udis/udis.factor

   1 ! Copyright (C) 2008 Slava Pestov, Jorge Acereda Macia.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: tools.disassembler namespaces combinators
   4 alien alien.syntax alien.c-types lexer parser kernel
   5 sequences layouts math math.order alien.libraries
   6 math.parser system make fry arrays libc destructors
   7 tools.disassembler.utils splitting alien.data
   8 classes.struct ;
   9 IN: tools.disassembler.udis
  10
  11 <<
  12 "libudis86" {
  13     { [ os macosx? ] [ "libudis86.0.dylib" ] }
  14     { [ os unix? ] [ "libudis86.so.0" ] }
  15     { [ os winnt? ] [ "libudis86.dll" ] }
  16 } cond "cdecl" add-library
  17 >>
  18
  19 LIBRARY: libudis86
  20
  21 STRUCT: ud_operand
  22     { type int }
  23     { size uchar }
  24     { lval ulonglong }
  25     { base int }
  26     { index int }
  27     { offset uchar }
  28     { scale uchar } ;
  29
  30 STRUCT: ud
  31     { inp_hook void* }
  32     { inp_curr uchar }
  33     { inp_fill uchar }
  34     { inp_file void* }
  35     { inp_ctr uchar }
  36     { inp_buff uchar* }
  37     { inp_buff_end uchar* }
  38     { inp_end uchar }
  39     { translator void* }
  40     { insn_offset ulonglong }
  41     { insn_hexcode char[32] }
  42     { insn_buffer char[64] }
  43     { insn_fill uint }
  44     { dis_mode uchar }
  45     { pc ulonglong }
  46     { vendor uchar }
  47     { mapen void* }
  48     { mnemonic int }
  49     { operand ud_operand[3] }
  50     { error uchar }
  51     { pfx_rex uchar }
  52     { pfx_seg uchar }
  53     { pfx_opr uchar }
  54     { pfx_adr uchar }
  55     { pfx_lock uchar }
  56     { pfx_rep uchar }
  57     { pfx_repe uchar }
  58     { pfx_repne uchar }
  59     { pfx_insn uchar }
  60     { default64 uchar }
  61     { opr_mode uchar }
  62     { adr_mode uchar }
  63     { br_far uchar }
  64     { br_near uchar }
  65     { implicit_addr uchar }
  66     { c1 uchar }
  67     { c2 uchar }
  68     { c3 uchar }
  69     { inp_cache uchar[256] }
  70     { inp_sess uchar[64] }
  71     { itab_entry void* } ;
  72
  73 FUNCTION: void ud_translate_intel ( ud* u ) ;
  74 FUNCTION: void ud_translate_att ( ud* u ) ;
  75
  76 : UD_SYN_INTEL ( -- addr ) &: ud_translate_intel ; inline
  77 : UD_SYN_ATT ( -- addr ) &: ud_translate_att ; inline
  78
  79 CONSTANT: UD_EOI          -1
  80 CONSTANT: UD_INP_CACHE_SZ 32
  81 CONSTANT: UD_VENDOR_AMD   0
  82 CONSTANT: UD_VENDOR_INTEL 1
  83
  84 FUNCTION: void ud_init ( ud* u ) ;
  85 FUNCTION: void ud_set_mode ( ud* u, uchar mode ) ;
  86 FUNCTION: void ud_set_pc ( ud* u, ulonglong pc ) ;
  87 FUNCTION: void ud_set_input_buffer ( ud* u, uchar* offset, size_t size ) ;
  88 FUNCTION: void ud_set_vendor ( ud* u, uint vendor ) ;
  89 FUNCTION: void ud_set_syntax ( ud* u, void* syntax ) ;
  90 FUNCTION: void ud_input_skip ( ud* u, size_t size ) ;
  91 FUNCTION: int ud_input_end ( ud* u ) ;
  92 FUNCTION: uint ud_decode ( ud* u ) ;
  93 FUNCTION: uint ud_disassemble ( ud* u ) ;
  94 FUNCTION: char* ud_insn_asm ( ud* u ) ;
  95 FUNCTION: void* ud_insn_ptr ( ud* u ) ;
  96 FUNCTION: ulonglong ud_insn_off ( ud* u ) ;
  97 FUNCTION: char* ud_insn_hex ( ud* u ) ;
  98 FUNCTION: uint ud_insn_len ( ud* u ) ;
  99 FUNCTION: char* ud_lookup_mnemonic ( int c ) ;
 100
 101 : <ud> ( -- ud )
 102     ud malloc-struct &free
 103     dup ud_init
 104     dup cell-bits ud_set_mode
 105     dup UD_SYN_INTEL ud_set_syntax ;
 106
 107 : with-ud ( quot: ( ud -- ) -- )
 108     [ [ [ <ud> ] dip call ] with-destructors ] with-words-xt ; inline
 109
 110 SINGLETON: udis-disassembler
 111
 112 : buf/len ( from to -- buf len ) [ drop <alien> ] [ swap - ] 2bi ;
 113
 114 : resolve-call ( str -- str' ) "0x" split1-last [ resolve-xt append ] when* ;
 115
 116 : format-disassembly ( lines -- lines' )
 117     dup [ second length ] [ max ] map-reduce
 118     '[
 119         [
 120             [ first >hex cell 2 * CHAR: 0 pad-head % ": " % ]
 121             [ second _ CHAR: \s pad-tail % "  " % ]
 122             [ third resolve-call % ]
 123             tri
 124         ] "" make
 125     ] map ;
 126
 127 : (disassemble) ( ud -- lines )
 128     [
 129         dup '[
 130             _ ud_disassemble 0 =
 131             [ f ] [
 132                 _
 133                 [ ud_insn_off ]
 134                 [ ud_insn_hex ]
 135                 [ ud_insn_asm ]
 136                 tri 3array , t
 137             ] if
 138         ] loop
 139     ] { } make ;
 140
 141 M: udis-disassembler disassemble* ( from to -- buffer )
 142     '[
 143         _ _
 144         [ drop ud_set_pc ]
 145         [ buf/len ud_set_input_buffer ]
 146         [ 2drop (disassemble) format-disassembly ]
 147         3tri
 148     ] with-ud ;
 149
 150 udis-disassembler disassembler-backend set-global