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 E3D4E7FA80 for ; Fri, 23 Oct 2015 23:00:01 +0200 (CEST) IronPort-PHdr: 9a23:sX02NxYhR7EfUIwcAxVip6z/LSx+4OfEezUN459isYplN5qZpcu5bnLW6fgltlLVR4KTs6sC0LqL9fi+EjVdut6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDvvcWNKFwV33KUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGY2zRakzTKRZATI6KCh1oZSz7ViQBTeIs1oCW2NevR1UBBbO7BDmRd+lszX1nutw1STcOtf5G+MaQzOnupxrVRbpwBgOMTFxpH7ejMNrjL9SoUP5/jRwxofVZMeeM/8oLfCVRs8TWWcUBpUZbCdGGI7pKtJXV+c= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=wangshuai901@gmail.com; spf=Pass smtp.mailfrom=wangshuai901@gmail.com; spf=None smtp.helo=postmaster@mail-ob0-f177.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of wangshuai901@gmail.com) identity=pra; client-ip=209.85.214.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wangshuai901@gmail.com"; x-sender="wangshuai901@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of wangshuai901@gmail.com designates 209.85.214.177 as permitted sender) identity=mailfrom; client-ip=209.85.214.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wangshuai901@gmail.com"; x-sender="wangshuai901@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-ob0-f177.google.com) identity=helo; client-ip=209.85.214.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wangshuai901@gmail.com"; x-sender="postmaster@mail-ob0-f177.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BMAAAinypWm7HWVdFegmmBIW8GhC2oa5AZeAENgVojhXoCgToHOBQBAQEBAQEBARABAQEBAQYLCwkhLoIrggcBAQECAQESER0BGwwLBgEDAQsGBQsDCioCAiEBAREBBQEcBhMih3gBAwoIDaVKgTE+MYtJgWyCeYgxChknDVaEAAEBAQEGAQEBAQEBARYBBQ6KYYEGglCCOQQHgmmBRQWSXYNIB4UZhhGBdZRahgESI4EXEQ4BAYJGI4F4IjQBAQEBhxQBAQE X-IPAS-Result: A0BMAAAinypWm7HWVdFegmmBIW8GhC2oa5AZeAENgVojhXoCgToHOBQBAQEBAQEBARABAQEBAQYLCwkhLoIrggcBAQECAQESER0BGwwLBgEDAQsGBQsDCioCAiEBAREBBQEcBhMih3gBAwoIDaVKgTE+MYtJgWyCeYgxChknDVaEAAEBAQEGAQEBAQEBARYBBQ6KYYEGglCCOQQHgmmBRQWSXYNIB4UZhhGBdZRahgESI4EXEQ4BAYJGI4F4IjQBAQEBhxQBAQE X-IronPort-AV: E=Sophos;i="5.20,188,1444687200"; d="scan'208";a="151593454" Received: from mail-ob0-f177.google.com ([209.85.214.177]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Oct 2015 23:00:00 +0200 Received: by obbda8 with SMTP id da8so102496134obb.1 for ; Fri, 23 Oct 2015 13:59:59 -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=A4glWzJkQAT4ujYRHPrSPy+P3m8X8LYUwjz9Bm+ByDA=; b=hB1cM/ESG/qU3rQTSDzKPu1AA0LgGVz8XAS/M29L9ZSGzqRkEG86Yy++y9iMxpV9tK XZWFZq0EqaX9EY9jYPkIeeNrHoUI7GepBHPXp18fmo7n/uYyOwIqkBwcxvA8yy1F4OdA wxmA1vR4tB20Dd/B5VTCbwKCInjodgLVL5izeO2+7xxK43TIu6mTDMWBGbFGreiz6tA4 SlY72YzhBWg5LpKj/ayl3CENL4tF8kf0PTWsyMWdppTkSbRvGjBD8C6qLna6816E3BnW Cmh7eKdRwxEVK9SGuolnno5UO9es20fEcOntSL/cOe0soV8F9J0VIei/Wc0FrNLuDnKc W1gw== MIME-Version: 1.0 X-Received: by 10.60.16.170 with SMTP id h10mr12565891oed.83.1445633999472; Fri, 23 Oct 2015 13:59:59 -0700 (PDT) Received: by 10.202.102.77 with HTTP; Fri, 23 Oct 2015 13:59:59 -0700 (PDT) In-Reply-To: References: Date: Fri, 23 Oct 2015 16:59:59 -0400 Message-ID: From: Shuai Wang To: Ivan Gotovchits Cc: caml users , Kenneth Miller Content-Type: multipart/alternative; boundary=089e013a18a20391410522cbe5c0 Subject: Re: [Caml-list] [ANN] Uroboros 0.1 --089e013a18a20391410522cbe5c0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 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#VALli= near_sweep > [3]: > http://binaryanalysisplatform.github.io/bap/api/master/Bap.Std.Disasm_exp= ert.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 infrastr= ucture >> 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-pa= per-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 >> > > --089e013a18a20391410522cbe5c0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi guys,

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

Actually this project star= ts over 1.5 years ago, and I believe at that time, BAP (version 0.7 I belie= ve?) is still a research prototype..

I choose to i= mplement 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 O= Caml... :)

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

Best,
Shuai



<= br>
On Fri, Oct 23, 2015 at 1:30 PM, Ivan Gotovch= its <ivg@ieee.org> wrote:
Hi Shuai,

Nice work! But I'm curious, wh= y 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] interfa= ce, that can disassemble on instruction level granularity.

It will be very interesting, if we can unite our efforts.

Best wishes,
Ivan Gotovchits
<= div>



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 relea= se of Uroboros: =C2=A0an infrastructure for reassembleable disasse= mbling and transformation.

You can find the co= de here:=C2=A0https://github.com/s3team/uroboros=C2=A0
You can find our research paper which describes the = core technique implemented in Uroboros here:=C2=A0

W= e will provide a project home page, as well as more detailed documents in t= he near future. =C2=A0Issues a= nd pull requests welcomed.

Happy hacking!

Sincerely,
Shuai


--089e013a18a20391410522cbe5c0--