angr 漏洞发现官方例子 —— strcpy_find

int __cdecl main(int argc, const char **argv, const char **envp)
{
  size_t v3; // rbx@4
  size_t v4; // rax@5
  char s[8]; // [sp+10h] [bp-30h]@2
  int i; // [sp+2Ch] [bp-14h]@2

  if ( argc <= 2 )
  {
    func3(*argv, argv, envp);
  }
  else
  {
    strcpy(s, "Unu`mmx!onu!uid!q`rrvnse///");
    for ( i = 0; ; ++i )
    {
      v3 = i;
      if ( v3 >= strlen(s) )
        break;
      s[i] ^= 1u;
    }
    v4 = strlen(s);
    if ( !strncmp(argv[1], s, v4) )
      func(argv[2]);
    else
      func("Wrong password!");
  }
  return 0;
}

int __fastcall func3(__int64 a1)
{
  return printf(
           "Usage: %s <password> <message_to_store>\n"
           "Note: You can only post a custom message if you give the right password!\n",
           a1);
}

int __fastcall func(const char *a1)
{
  char dest; // [sp+10h] [bp-30h]@1

  strcpy(&dest, a1);
  return printf("Your Message: %s\n", &dest);
}

# -*- coding: utf-8 -*-
import angr
import claripy

def main():
    def getFuncAddress(func_name, plt = None):
        # for addr,func in cfg.kb.functions.iteritems():
        #     if func.name == func_name and (plt is None or func.is_plt == plt):
        #         return func.addr
        found = [
                addr for addr,func in cfg.kb.functions.iteritems()
                if func_name == func.name and (plt is None or func.is_plt == plt)
                ]
        if len( found ) > 0:
            print "Found "+func_name+"'s address at "+hex(found[0])+"!"
            return found[0]
        else:
            raise Exception("No address found for function : "+func_name)

    def check(state):
        if (state.ip.args[0] == strcpy_addr):
            BV_strCpySrc = state.memory.load(state.regs.rsi, len(argv[2]))
            strCpySrc = state.solver.eval( BV_strCpySrc , cast_to=str )
            return True if argv[2] in strCpySrc else False
        else:
            return False


    project = angr.Project("./strcpy_test", load_options={'auto_load_libs':False})
    # get control flow graph
    cfg = project.analyses.CFG(fail_fast=True)
    strcpy_addr = getFuncAddress("strcpy", True)
    func3_addr = getFuncAddress("func3")

    argv = [project.filename]   #argv[0]
    sym_arg_size = 40
    sym_arg = claripy.BVS('sym_arg', 8*sym_arg_size)
    argv.append(sym_arg)        #argv[1]   
    argv.append("HAHAHAHA") # argv[2]

    state = project.factory.entry_state(args=argv) 
    sm = project.factory.simulation_manager(state)

    sm = sm.explore(find=check, avoid=(func3_addr,))
    found = sm.found

    if ( len( found ) > 0 ):    #   Make sure we found a path before giving the solution
        found = sm.found[0]
        result = found.solver.eval(argv[1], cast_to=str)
        try:
            result = result[:result.index('\0')]
        except ValueError:
            pass
    else:   # Aww somehow we didn't find a path.  Time to work on that check() function!
        result = "Couldn't find any paths which satisfied our conditions."

    print 'The password is "%s"' % result
	
main()

(angr) angr@e766290917a5:~/angr-workdir/examples/strcpy_find$ python angrexp.py 
Found strcpy's address at 0x4004a0L!
Found func3's address at 0x40061d!
The password is "Totally not the password..."

(angr) angr@e766290917a5:~/angr-workdir/examples/strcpy_find$ ./strcpy_test "Totally not the password..." "giantbranch test"
Your Message: giantbranch test