radare2/TODO.md

15 KiB


| _ / | / \ _ / _ \ __ \ /
| ( V \ | ) V \ ( / .-` _/| () | |_|||/||___\ |()_/

0.9.8

--> add test * pdr doesnt works well with antidisasm tricks

  • option to disable aslr in rarun2?
  • rafind2 : add support for unicode/widestring search
  • .dr- # documented... but not working
  • libr/debug/p/drx.c <- not used .. debug must have a hw reg api for drx and gpio
  • ah -> add hint to define calls that do not return
  • continue execution until condition happen (reg, mem, ..)
  • rabin2 -x should not work on non-fatmach0 files
  • foldable stuff .. was in r1..redo?
  • cmp rip+xx -> not resolved wtf
  • search for CALL instructions in text segment.
    • analyze the destination address of each call destination
  • analysis: assume there is a function at the end of each function
  • integrate dwarf parser with disassembler and debugger
  • step back .. log all state changes on every debugger stop
  • show analized functions in 'aa' -> discuss
  • timeout for code analysis (check timestamp)
    • add analysis points continuation, so 'aa' can be used progressively
  • Allow to seek to branch N like in visual, but from cmdline
  • Colorize multiple ranges of chars in hexdump -- cparse
  • refactor vmenus.c -> refresh function must be redefined for each menu // show hints for 0x100005eca ff2540130000 jmp qword [rip+0x1340] [1]
  • highlight search hits in hexdump
  • Implement debugger backtrace properly
  • p7 : 7bit encoding (sms)
    • variant for stego print? LSB, MSB, ...
    • add base85 api
  • crackme mach0 happy with rbin
  • if no debugger supported, say so... r_io must ?
  • check search multiple keywords and signatures
  • search for antidebug/disasm tricks opcodes
    • allows to find interesting points to analyze
  • use slices for r_list_iter primitives

BUGS

  • If [0-9] keybindings in visual point to same address use same reference

  • RBinCreate:

    • mach0 create for darwin-ppc
    • mz
    • pe <- must be fixed
    • pe64
    • plan9 bins
  • Implement support for args in 'oo' (like in r1s !load debugger..)

  • opening a file from inside r2 doesnt clears internal data (strings..)

  • 'ao' must be for opcodes, not bytes

  • backtrace for linux or osx at least

  • implement 'ax' to get/set xrefs (better than afl ) .. or afx?

  • shell encoder - get x86-64 one from twitter

  • rasm2 must support binary creation help message or so..

    • rabin2 integration must be easier
  • rabin2 -z /dev/sda1 TAKES TOO LONG. opening r2 /tmp/fs is SLOW as shit.

  • Add support for classes in c++, objc binaries

    • command to add new classes
  • Tracing support for the debugger

    • "e cmd.trace=dr=;.dr*;pd 2@eip"
    • dca sym.main imp.printf
    • dbc

** BUG **

  • fix for indirect list manipulations -- looks like a similar problem with r_cons recusivity
  • when you are iterating a list you CANT remove items from it
  • this is..you CANT call r_core_cmd() while iterating flags unless you want to crash
  • we probably need to queue the deletions and use a commit-like methodology
  • this way we avoid duplications RListBox *b = r_flag_get_list (); r_list_foreach (b, iter, item) { r_list_delete_iter_later (b, iter); } r_list_commit (b);
  • Add r_cons_prompt () ... calling set_prompt + fgets -- this api needs cleanup
    • set prompt, set line, fgets
    • strict width in visual
  • REFACTOR of disasm loop XDDDDD -1 (r2<1.0 plzz)
    • arch dependent anal code must be removed from disasm loop +1

nibble

  • Analyze this opcode: ff2518130000 jmp qword [rip+0x1318]
  • Support for proper analyze of TinyPE binaries
  • Do not show XREF info if in the same function?
  • r_anal
    • Code analysis (detect when an argument is a flagmask or enum and display text format) (ollydbg)
  • r_bin
  • Fix RAnalCond
  • code analysis must resolve jump tables
  • allow to hook r_asm_disassemble and assemble with custom callbacks
    • extend a disassembler with own instructions.
  • For each "call" or "push offset"+"ret" create a function.
    • And, if deep code analysis is enabled:
    • Search every possible function by searching typical prologs and put them in a queue.
    • Perform the same actions as in the previous steps with the entry points.
  • detect strings in code analysis
  • implement aoe = anal op exec
    • sync regs or what?
  • register renaming (per-instruction or ranges)
    • r_parser fun? a specific asm.parser plugin that does all this tricks?
  • Display getsym() stuff in rabin2, not only legit syms
  • dmi command must read from memory if no file path provided
    • rabin from memory ftw, to get libnames of dll, so..
  • add support for sign/unsigned registers..or at least a way to cast them
  • use r_anal_value everywhere
  • diff code analysis
    • diff two programs 1st level: - check all functions EQUAL, DIFFERENT, REMOVED, ADDED - check all symbols - check all imports - check all strings 2nd level: - basic block level diffing (output in graph mode)

earada

  • Add print support for bitfields (pm b...)
  • Fix io_haret memory dump
  • refactor rap and raps
  • remove all uses of alloca() // mingw and grep reports them all :)
  • typedef all function pointers, like in r_bp
  • Implement /. to search using a file .. isnt zignatures about this?
  • Implement search and replace /s
    • insert or append? (see r1 cfg vars)

Assembler

  • Embed bits/arch/endian in a separated structure

    • So one can change from one arch to another with a pointer
    • Cool for defining ranges of memory
  • r_io

    • We need a way to get the underlying file which responds to the read call (this way we can know which library lives at a specified offset. (is this already done?)
  • radare2

    • Use r_bin with r_io to get symbols
      • The offset to read will define the module to analyze and retrieve syms
    • Import msdn doc as comments

RDB

  • Implement iterators r_db_next() and r_db_prev() (HIGH PRIO)
  • Write test programs to ensure the data is stored correctly

RSearch

  • Test r_search_delta()
    • The pattern finding functions are not following the design of the rest of the library, it needs a redesign and code cleanup (see bytepat.c)
    • Implement radare/src/xrefs.c into r_search
    • Add support to change the case sensitive of searchs (ignore case)
      • This must be keyword-based. Not globally
    • Sync vapi (r_search_regexp not implemented)
    • Enable/disable nested hits? (discuss+ implement in parent app?)
      • Just skip bytes until end of keyword
  • AES/RSA Key finding http://citp.princeton.edu/memory/code/ <- implement this stuff in r2

Binaries

  • add support for .a files (r_fs supports cpio and ar archives...)
  • add support for .rar files

Random

  • Implement rap:// upload/download protocol commands (maybe just system() with rsc2+wget?

  • Reimplement or fix the delta diffing in C - first we need to do it for ired..

  • Ranged/scrollable zoom mode

  • Add support for STATIC_PLUGINS in r_lang

    • r_lang_define is implemented in lang.c, but requires the collaboration of the plugins to properly setup the environment for the script execution.
    • Add support for STATIC_PLUGINS in r_lang
    • dlerror(/usr/lib/radare2/lang_perl.so): libperl.so: cannot open shared object file: No such file or directory This issue is fixed by setting LD_LIBRARY_PATH...looks like dlopen ignores rpath
  • gdiff

    • graph based fingerprints? (cyclomatic complexity...)
  • rcore

    • do not allow to disassemble unaligned addresses (toggle)
    • r_asm can reduce cpu without disasm on fixed size ops archs.
  • Add support for templates -- like in 010 http://www.sweetscape.com/010editor/templates.html

  • templates #!template peheader.template

    • pT template.foo # r_print_template translate into c code and gets compiled. use rcc+rasm? it is like a extended regular expression engine

Debugger

  • Skip instruction
  • Step until end of frame (stack pointer restored) (store sp, check if nsp>sp)
  • stepover waits for one unknown event that cannot be stopped
  • code injection facilities? (wtf? insert, execute, restore)
  • Trace contents of buffers: filter search results..? cc 8080 @@ hit* .. check for values that has changed.
  • Record trace of register status for each function when running
    • r_reg_arena_copy();
  • Implement list threads on ALL supported platforms (win,lin,osx)
  • All threads must be stopped when a breakpoint is handled..
  • Add support for windbg+virtualkd
  • Floating point registers
  • MMX/XMM/DRX control
  • Implement dump+restore as macros (dump,)
  • Implement software stepping (with code analysis+breakpoints)
  • Implement dbg.bep - in r_core? in r_debug after attach? maybe only in r2 binr?
    • must be refined.. and look for better names

pancake

  • Implement PTRACE_BLOCK on Linux
  • fork/clone child . inject code to create new threads or pids
  • Functions in r_util to get lil/big ut8,16,32 from ut8*
    • already done..must find better names probably
  • rarc2 allows to compile invalid code like calling puts() out of context
  • Implement RAnalCall (analyze function arguments, return values, propagate types..)
    • define number of arguments for given function
    • warn if signature and analysis differs in number of args or so..
    • when calling a function
      • identify arguments passed and compare with arguments required
      • if they do not match: we need to warn/ask user/store multiple options
        • function signature comparsion if they dont match r_anal_fcn_cmp (anal, f1, f2);

Analysis

  • split r_anal API functions (too much args) _new, _add...
  • Initial analysis looking for xrefs to strings and so? ax? ./a@@entry0 - Launched at startup

To think

  • Ranged value:
    • ut64 from, to
    • restrict : %2 (module)
  • Add support for aout binaries?
  • eprintf should be modified to log into a file
    • eprintf_open() -- start log to file
    • eprintf_close() -- stop log to file
  • Only use uppercase KMG for Kilo,Mega,Giga in r_num? - 'g' is for double
  • radare2.c:217 . find name for maxfilesize to hash
  • r_list_foreach_prev is buggy, review and remove..
  • make symstall in r2-bindings/ ?
  • What about rsc2 ? deprecate, maintain? cleanup from 1? build? install?
  • Add deltified offset in PC? +10, +30 ... asm.reladdr
  • regio not implemented // it is really necessary? imho no..
  • distribute 'spp' with 'rarc2' ? imho no
  • Add graph.nodecolor graph.bgcolor graph.edgecolor ??

Refactoring

  • move r_th into r_util
  • Merge javasm code (asm, bin -> shlr)
  • Rename r_hashtable -> r_ht
  • Remove/deprecate libr/vm
    • Make ht64.c include ht.c
  • Review the r_flags api
  • Add pipe_to_buffer..not only file descriptors
  • r_config set_int and so..simplify
    • find/use more common cases for char* or &int maps
      • automatic callbacks for most common usecases
  • Merge r_socket inside r_util ?
  • Is RCore->block and blocksize a RBuf ? refactor!11
  • Discuss missing r_core_sysenv_update in core/file.c:33
  • Add RLog API.. pipeable to disk and stderr..also hookable ..cool for ui (partially done)
  • Redesign core/disasm.c to provide a pluggable api
  • Move 'r_syscall_t' stuff into r_debug (sync r_core)
  • Implement r_bind api to link multiple pointers core->asm = r_bind_set (core->asm->bind, r_asm_new ());
  • Find a better name for r_buf_fread (really?)

To wipe

  • Move manpages from man/ to binr/*/? (harder to maintain?)
  • Move the content of libr/*/TODO here
  • linestyle?? for disassembly lines
  • remove libr/vm and libr/db
  • imho we should not implement this:
    • Implement BLOCK in r_core_sysenv_begin|end ()
  • Deprecate CiU (remove) those APIs and dependencies!

Optimizations

  • Performance
    • cons_visual_write() should do a single write instead of one per line
    • Refactor get_sym() and so on...
    • TODO: make elf/pe get_os() and others return const and not strdup
    • RAnalValue must be static, not ref
    • save memory and accelerate code analysis
    • basicblock signatures must be just pointers to a big buf
  • Optimize /m
    • search only using given file, not loading default library
    • do not read each block byte per byte
    • do not show repeated consecutive hits

Future

  • memset0 the op before calling the plugin analysis -- not really that is a performance cost..
  • Add 'S' subcommand to display section size and get by perms rwx
  • Implement r_flag_unset_i () ftw
  • Honor string metadata for asmsteps ('jk' in visual)
  • search.kwidx must be search.lastidx or search.idx ?
  • asm.pseudo for brainfuck
  • code analysis for msil
  • rax2 -k by default?
  • Merge libr/db inside libr/util ?
  • implement code analysis using udis86.. is this necessary.. x86im works fine?
  • r_cons_visual_write_tail() -> fill end of screen with spaces \o/
  • Add support for 'expect' like foo in rarun2
    • make rarun live in a lib.. or at least be usable from r2
  • use centralized pubsub or memcached to sync data // redis?
  • r_file_slurp should work fine for big files (not prio) r_file_slurp_buf?
    • mmap if supported - add r_file_mmap ? - read file in blocks instead of the whole file in a single syscall
  • Realign flags when using project in debug mode
  • FileDescriptors: dd -- copy from !fd in r1
  • acr -ldl check must be fixed for kfreebsd
  • metaflags? support to define relations between flags (flag hirearchies) r_flagtree
    • r_flags should have a tree construction to access to them faster
      • btree? following pointers like bigger,smaller { struct r_flag_t *bigger, *smaller; }
      • hooks r_flag_add to recalculate in r_flag_optimize(), bigger/smaller pointers
      • hooks r_flag_del to recalculate too.
    • the r_flag_get by string should have another construction with btree for the string of the name

Threads

  • implement non-threaded thread api (dummy one, when no support)
  • test w32 port
  • Implement a pure clone(2) backend
  • Added a threading pool super-api

Debug information in binaries

  • dwarf, pdb, def, lib
    • from file, from section, ...
    • load symbols from .lib or .def (find signatures) .def -> .idt , .lib -> ar2idt
  • Useful information in the PDB format
    • programming language used (dwarf only?)

    • offset - file:line

    • elements { position, type, name, length, offset, delta }

    • types // using the r_anal vartype API (not yet implemented)

    • position = { inlined, global, local } enum

    • function = { visibility, position, type, calltype (cc), arglist, return }

    • visibility = { local, exported, qualified } Types { // element types array, bitfield, class, struct, union, enum, pointer procedure, function, arglist, vtshape, fieldlist

      // data types float, char, signed short, bool, address, .. } Type { char, short, ushort, long, ulong, }

.------------------------.
|   ___       ___  ____  |
|  | - ) _ _ | _ |/  _/  |    please!
|  | - \| | |\_  |\_  \  |___.  report! :)
|  |___/\___/|___/|___/   ___/
|                        |
`------------------------`