From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id ABD047FA80 for ; Sat, 24 Oct 2015 00:31:31 +0200 (CEST) IronPort-PHdr: 9a23:2h1QYhBLP6kpbWCz2Bb8UyQJP3N1i/DPJgcQr6AfoPdwSP7yp8bcNUDSrc9gkEXOFd2CrakU1qyO7Ou4CSQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTqkbjtsMWDKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46Fp34d6XK77Z6U1S6BDRHRjajhtpZ6jiR6WdguS73pUbWwQnVIcHAHD4wr6Q57w43OjnuV40Siee8bxSOZndy6l6vJIRRnuhTsHfxc1+WSfr810iK9B6Eaiqhp5zpLUaY2cMf9/eqfQZ/sVQGNAWoBaUCkXUdD0VJcGE+dUZbUQlIL6vVZb6ELmXQQ= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kennethadammiller@gmail.com; spf=Pass smtp.mailfrom=kennethadammiller@gmail.com; spf=None smtp.helo=postmaster@mail-yk0-f173.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kennethadammiller@gmail.com) identity=pra; client-ip=209.85.160.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kennethadammiller@gmail.com designates 209.85.160.173 as permitted sender) identity=mailfrom; client-ip=209.85.160.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yk0-f173.google.com) identity=helo; client-ip=209.85.160.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-yk0-f173.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BMAACMtCpWm62gVdFegmmBIWAPBoQtqGuQGXgBDYFaI4V6AoE6BzgUAQEBAQEBAQEQAQEBAQEGCwsJIS6CK4IHAQEBAgEBEhEdARsMCwYBAwELBgULDSoCAiEBAREBBQEcBhMih3gBAwoIDaVdgTE+MYtJgWyCeYgzChknDVaEAAEBAQEBBQEBAQEBAQEWAQUOhmqDd4EGglCCOQQHgmmBRQWSXYNPhRmGEYF1lFqGARIjgRcRDgEBgiIkI4F4IjQBAQEBhxQBAQE X-IPAS-Result: A0BMAACMtCpWm62gVdFegmmBIWAPBoQtqGuQGXgBDYFaI4V6AoE6BzgUAQEBAQEBAQEQAQEBAQEGCwsJIS6CK4IHAQEBAgEBEhEdARsMCwYBAwELBgULDSoCAiEBAREBBQEcBhMih3gBAwoIDaVdgTE+MYtJgWyCeYgzChknDVaEAAEBAQEBBQEBAQEBAQEWAQUOhmqDd4EGglCCOQQHgmmBRQWSXYNPhRmGEYF1lFqGARIjgRcRDgEBgiIkI4F4IjQBAQEBhxQBAQE X-IronPort-AV: E=Sophos;i="5.20,188,1444687200"; d="scan'208";a="151597015" Received: from mail-yk0-f173.google.com ([209.85.160.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 Oct 2015 00:31:30 +0200 Received: by ykba4 with SMTP id a4so128849326ykb.3 for ; Fri, 23 Oct 2015 15:31:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=pnEtwyt+gJBsq1Kj3+gUC0+eM9ZbmD84orjndQSE+Qk=; b=AqEDqeq5aXu8J1sp7ABxFIJpzaeGYFiIyR+3LQB73IQpHnBr8O/+h8u7VZLN4Lo8xa TdGRy/R4EkUZkXvzdqphlTEarkG2U2A+GbwQ4KHeeX7R1lR35uzDWvBwx6WaqNtFAQJU +dTiODrymbQqoKbQway9edOr9jkoH/X4iGUnr0d1s5KTmP1ctodUme3SBBTB+6HBCgm6 AHgcX8ciHW+55qYa6kPf3g+p/ZKsPbIoB+Yz/42oy23HbGzNr5BE0uLFT1ZSkEKU0p/C oXRZcQpbSnl3vZ0McpU9/SXOsmDhGh2wTTLwLGqw/dyOKDAP5rEbk98Y7UNb8eh984EZ GIww== MIME-Version: 1.0 X-Received: by 10.13.192.66 with SMTP id b63mr17111373ywd.80.1445639489042; Fri, 23 Oct 2015 15:31:29 -0700 (PDT) Received: by 10.37.65.143 with HTTP; Fri, 23 Oct 2015 15:31:28 -0700 (PDT) In-Reply-To: References: Date: Fri, 23 Oct 2015 18:31:28 -0400 Message-ID: From: Kenneth Adam Miller To: Shuai Wang Cc: Ivan Gotovchits , caml users Content-Type: multipart/alternative; boundary=001a114e650e37bf390522cd2c55 Subject: Re: [Caml-list] [ANN] Uroboros 0.1 --001a114e650e37bf390522cd2c55 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Well it's interesting that you've gone with a binary recompilation approach. How do you ensure that, statically, for any given edit, you reposition all the jump targets correctly? How do you deal with the difficulty of disassembly reducing to the halting problem? On Fri, Oct 23, 2015 at 4:59 PM, Shuai Wang wrote: > Hi guys, > > I am glad that you are interested in our work!! > > Actually this project starts over 1.5 years ago, and I believe at that > time, BAP (version 0.7 I believe?) is still a research prototype.. > > I choose to implement from the stretch is because I want to have a nice > tool for my own research projects, also I can have an opportunity > to learn OCaml... :) > > Yes, I definitely would like to unite our efforts!! > > Best, > Shuai > > > > > On Fri, Oct 23, 2015 at 1:30 PM, Ivan Gotovchits wrote: > >> Hi Shuai, >> >> Nice work! But I'm curious, why didn't you use [bap][1] as a >> disassembler? >> >> Do you know, that we have a low-level interface to disassembling, like >> [linear_sweep][2] or even >> lower [Disasm_expert.Basic][3] interface, that can disassemble on >> instruction level granularity. >> >> It will be very interesting, if we can unite our efforts. >> >> Best wishes, >> Ivan Gotovchits >> >> [1]: https://github.com/BinaryAnalysisPlatform/bap >> [2]: >> http://binaryanalysisplatform.github.io/bap/api/master/Bap.Std.html#VALl= inear_sweep >> [3]: >> http://binaryanalysisplatform.github.io/bap/api/master/Bap.Std.Disasm_ex= pert.Basic.html >> >> >> >> >> On Fri, Oct 23, 2015 at 1:05 PM, Shuai Wang >> wrote: >> >>> Dear List, >>> >>> I=E2=80=99m glad to announce the first release of Uroboros: an infrast= ructure >>> for reassembleable disassembling and transformation. >>> >>> You can find the code here: https://github.com/s3team/uroboros >>> You can find our research paper which describes the core technique >>> implemented in Uroboros here: >>> >>> https://www.usenix.org/system/files/conference/usenixsecurity15/sec15-p= aper-wang-shuai.pdf >>> >>> We will provide a project home page, as well as more detailed documents >>> in the near future. Issues and pull requests welcomed. >>> >>> Happy hacking! >>> >>> Sincerely, >>> Shuai >>> >> >> > --001a114e650e37bf390522cd2c55 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Well it's interesting that you've gone with a bina= ry recompilation approach. How do you ensure that, statically, for any give= n edit, you reposition all the jump targets correctly? How do you deal with= the difficulty of disassembly reducing to the halting problem?

On Fri, Oct 23, 2015 at= 4:59 PM, Shuai Wang <wangshuai901@gmail.com> wrote:
Hi guys,

I am glad that you are interested in our work!!=C2=A0

Actually this project starts over 1.5 years ago, and I believe at tha= t time, BAP (version 0.7 I believe?) is still a research prototype..
<= div>
I choose to implement from the stretch=C2=A0is because I= want to have a nice tool for my own research projects, also I can have an = opportunity
to learn OCaml... :)

Yes, I = definitely would like to unite our efforts!!=C2=A0

Best,
Shuai




On Fri, Oct 23, 2015 at 1:30 PM, Ivan Gotovchits &l= t;ivg@ieee.org> wrote:
Hi Shuai,

Nice work! But I'm curio= us, why didn't you use [bap][1] as a disassembler?=C2=A0

=
Do you know, that we have a low-level interface to disassembling= , like [linear_sweep][2] or even
lower [Disasm_expert.Basic][3] i= nterface, that can disassemble on instruction level granularity.
=
It will be very interesting, if we can unite our efforts.

Best wishes,
Ivan Gotovchits
[1]:=C2=A0https://github.com/BinaryAnalysisPlatform/bap=

On Fri, Oct 23, 2015 at 1:= 05 PM, Shuai Wang <wangshuai901@gmail.com> wrote:
Dear List,

I=E2=80=99m glad= to=C2=A0announce=C2=A0the first release of Uroboros: =C2=A0an= infrastructure for reassembleable disassembling and transformatio= n.

You can find the code here:=C2=A0https://github.co= m/s3team/uroboros=C2=A0
You can find our research paper which describes the core technique implem= ented in Uroboros here:=C2=A0

We will provide a pro= ject home page, as well as more detailed documents in the near future. =C2= =A0Issues and pull requests we= lcomed.

Happy hacking!

Sincerely,
Shuai



--001a114e650e37bf390522cd2c55--