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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id CABC57FADE for ; Tue, 18 Nov 2014 21:01:59 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kennethadammiller@gmail.com) identity=pra; client-ip=209.85.218.43; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of kennethadammiller@gmail.com designates 209.85.218.43 as permitted sender) identity=mailfrom; client-ip=209.85.218.43; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-oi0-f43.google.com) identity=helo; client-ip=209.85.218.43; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-oi0-f43.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AocBAA6la1TRVdorlGdsb2JhbABbg2NZBIMCxzWBZIdNgQwHFgEBAQEBEQEBAQEHCwsJEjCEGxEdARsWCAMSCQEGNwIkAREBBQEiNYgJAQMSqnKDIj0xizuBc4MRilcKGScNaIVpDBoBBQ6QdoMCgVQFjBaLFoJLhF+BMz2GTIxCGCmFUx8wgksBAQE X-IPAS-Result: AocBAA6la1TRVdorlGdsb2JhbABbg2NZBIMCxzWBZIdNgQwHFgEBAQEBEQEBAQEHCwsJEjCEGxEdARsWCAMSCQEGNwIkAREBBQEiNYgJAQMSqnKDIj0xizuBc4MRilcKGScNaIVpDBoBBQ6QdoMCgVQFjBaLFoJLhF+BMz2GTIxCGCmFUx8wgksBAQE X-IronPort-AV: E=Sophos;i="5.07,412,1413237600"; d="scan'208";a="107996263" Received: from mail-oi0-f43.google.com ([209.85.218.43]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Nov 2014 21:01:59 +0100 Received: by mail-oi0-f43.google.com with SMTP id a3so6509818oib.30 for ; Tue, 18 Nov 2014 12:01:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=YQA1cC7T7y0ewHwFYwW/aoMxlyvtibZGZ5uhZW2w4d8=; b=nZ1HCHU4Ww2X/BQ9v5eGz04765Eny+hQP9lMKkIJ3g4MjLpjiLTr1/Ewm+87HjNB95 l7HMgaLTerEZyJChnbXKa3qUkGWWK2tTzgvNGjpEnu3tqgIDPf3Dnb4idup25KKk0aVk /iO3OGmMAwwe5cxGwVvtklTnfOtB9BT2MaCFaqJfjGQF7hQlZ0+jzwSZPgkaqMyT+Nlh hRWaS4H3DLY8/dLkHDgJdAT6g2b9X8EIkT6hi1/QOKiBUzYobwFoa09HwM8rCOwt1Dba UNj45G1hiay19D537JKUeWlvPC+zJv4pz5SM59SokunWMHbjawCqRHwkMff3DDg6VIEd WSeg== MIME-Version: 1.0 X-Received: by 10.202.108.82 with SMTP id h79mr30409258oic.0.1416340917626; Tue, 18 Nov 2014 12:01:57 -0800 (PST) Received: by 10.182.197.1 with HTTP; Tue, 18 Nov 2014 12:01:57 -0800 (PST) Date: Tue, 18 Nov 2014 15:01:57 -0500 Message-ID: From: Kenneth Adam Miller To: caml users Content-Type: multipart/alternative; boundary=001a1142dd9846b2f205082791f2 Subject: [Caml-list] Using binary analysis platform library --001a1142dd9846b2f205082791f2 Content-Type: text/plain; charset=UTF-8 I have a single use case, and its complicated by my clumsiness and new relationship with ocaml. I'm not sure how to query libraries for various restrictions: Basically, I'm writing a piqi based rpc service; the toil utility (utils/ toil.ml) can be used to parse some string arguments, read a file from the name given on the command line, and then output the BIL to stdout. I want to link with it as though it were a library in order that the returned data structured can be reasoned about in other languages. I have all the other parts-piqi build environment, compilation, setup; all I need is a good way to find a transform that accepts a string filename and returns a type of stmt. I'm not sure who all is familiar with BAP, but I think it's worth a try to ask if anybody knows exactly what I'm looking for, or the utility to find out. BAP: https://github.com/argp/bap --001a1142dd9846b2f205082791f2 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

I have a single use case, and its complicat= ed by my clumsiness and new relationship with ocaml. I'm not sure how t= o query libraries for various restrictions:

Basically, I'm writin= g a piqi based rpc service; the toil utility (utils/toil.ml) can be used to parse some string arguments, read a file fr= om the name given on the command line, and then output the BIL to stdout. I= want to link with it as though it were a library in order that the returne= d data structured can be reasoned about in other languages.=C2=A0

I h= ave all the other parts-piqi build environment, compilation, setup; all I n= eed is a good way to find a transform that accepts a string filename and re= turns a type of stmt. I'm not sure who all is familiar with BAP, but I = think it's worth a try to ask if anybody knows exactly what I'm loo= king for, or the utility to find out.


BAP:=C2=A0https://github.com/argp/bap

--001a1142dd9846b2f205082791f2--