From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 EC3057FC86 for ; Wed, 18 Mar 2015 15:42:29 +0100 (CET) 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.218.51; 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.218.51 as permitted sender) identity=mailfrom; client-ip=209.85.218.51; 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-oi0-f51.google.com) identity=helo; client-ip=209.85.218.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-oi0-f51.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DqAACqjQlVmzPaVdFcg1haBIMJwnYBCYV1AoFKB0wBAQEBAQERAQEBAQEGCwsJFC6EEAEBAwEBAQEPER0BGxIMAwELBgUEBzcCAiIBBAEMAQUBHAYBEiKHeAEDCQgNpE4+MYsxgWuCd5BWChknDVSETgEBAQEGAQEBAQEXAQEEDosJhG0LgmiBRQWUL4NZgiWBG4MvgliLOBIjgQwJhC0iMQGCQgEBAQ X-IPAS-Result: A0DqAACqjQlVmzPaVdFcg1haBIMJwnYBCYV1AoFKB0wBAQEBAQERAQEBAQEGCwsJFC6EEAEBAwEBAQEPER0BGxIMAwELBgUEBzcCAiIBBAEMAQUBHAYBEiKHeAEDCQgNpE4+MYsxgWuCd5BWChknDVSETgEBAQEGAQEBAQEXAQEEDosJhG0LgmiBRQWUL4NZgiWBG4MvgliLOBIjgQwJhC0iMQGCQgEBAQ X-IronPort-AV: E=Sophos;i="5.11,423,1422918000"; d="scan'208";a="103850322" Received: from mail-oi0-f51.google.com ([209.85.218.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Mar 2015 15:42:29 +0100 Received: by oier21 with SMTP id r21so38020394oie.1 for ; Wed, 18 Mar 2015 07:42:27 -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 :content-type; bh=ys85sz/C0x/IIQtdxpHQH47KTOADeZWtkdZHEiY3VW0=; b=ccfAZ3Ka8+XzTPDXZK/9Jx1Pr/c+dADHsLzf1E68T0xOV2urt6BBK8nZPvflZAp9fE ErgcEq+G8CnDH9PXfHZoTZJhyz7s0cyJOi4Pj3+MlGtbhxYYr99Tzx6/L7J/p9kBzOMY JViChe5xivNC/9SYnQnm2KfFF+naPSNPUzlaGfdrauqvODj7gLetwRksVf2vTqW2KwB7 bgM825uIvcG0XUHjtL5IyKZQMGnOdd1jGz7tLYvtbptAvn+w8xfxt9dj2K5yeHB5EGrT 30piaGGtIsEerSObseH3au1YAxrR4KA/PJDnxBDa5/IMn2bGRZCQAJ2Qv9dJVUd1Z3Me d5pA== MIME-Version: 1.0 X-Received: by 10.182.215.133 with SMTP id oi5mr57568274obc.55.1426689747837; Wed, 18 Mar 2015 07:42:27 -0700 (PDT) Received: by 10.202.185.8 with HTTP; Wed, 18 Mar 2015 07:42:27 -0700 (PDT) In-Reply-To: <9696c69210215810aca6ca5f0c54be9f.squirrel@webmail.iai.uni-bonn.de> References: <9696c69210215810aca6ca5f0c54be9f.squirrel@webmail.iai.uni-bonn.de> Date: Wed, 18 Mar 2015 10:42:27 -0400 Message-ID: From: Kenneth Adam Miller To: kaszian@informatik.uni-bonn.de, caml users Content-Type: multipart/alternative; boundary=001a11c254349fe87605119117f9 Subject: Re: [Caml-list] [bap] BAP Tools with Python Bindings --001a11c254349fe87605119117f9 Content-Type: text/plain; charset=UTF-8 Depends on what version of BAP you're using. That I know of, the toil binary and iltrans that were available previously now no longer are, although the functionality that you're looking for still exists. Can you tell me what it is that you want to do? (Also, as you can see, BAP mailing list is retired, please use Caml-list, because, well, BAP is in ocaml :) ) On Tue, Mar 17, 2015 at 11:25 AM, Viktor Kaszian < kaszian@informatik.uni-bonn.de> wrote: > Dear Everyone, > > I am currently working on a project dealing with C disassembly and I want > to use BAP as a base framework, since it has Python Bindings. I've read > through the BAP Handbook, and since i would like to make extensive use of > the tools described in Chapter Two (toil, iltrans) I was wondering: > > How do I use them with the Python Bindings? I have already loaded a binary > and played around a bit, but is there a guide to using the tools properly? > > > Best Regards, > Viktor > > _______________________________________________ > BAP-Users mailing list > BAP-Users@lists.andrew.cmu.edu > https://lists.andrew.cmu.edu/mailman/listinfo/bap-users > --001a11c254349fe87605119117f9 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Depends on what version of BAP you're using. That I kn= ow of, the toil binary and iltrans that were available previously now no lo= nger are, although the functionality that you're looking for still exis= ts.

Can you tell me what it is that you want to do?

(Also, as you can see, BAP mailing list is retired, pl= ease use Caml-list, because, well, BAP is in ocaml :) )

On Tue, Mar 17, 2015 at 1= 1:25 AM, Viktor Kaszian <kaszian@informatik.uni-bonn.de&g= t; wrote:
Dear Everyone,

I am currently working on a project dealing with C disassembly and I want to use BAP as a base framework, since it has Python Bindings. I've read=
through the BAP Handbook, and since i would like to make extensive use of the tools described in Chapter Two (toil, iltrans) I was wondering:

How do I use them with the Python Bindings? I have already loaded a binary<= br> and played around a bit, but is there a guide to using the tools properly?<= br>

Best Regards,
Viktor

_______________________________________________
BAP-Users mailing list
BAP-Users@lists.andrew.cm= u.edu
https://lists.andrew.cmu.edu/mailman/listinfo/bap-users

--001a11c254349fe87605119117f9--