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 D650A7FADE for ; Tue, 18 Nov 2014 21:15:02 +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.54; 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.54 as permitted sender) identity=mailfrom; client-ip=209.85.218.54; 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-f54.google.com) identity=helo; client-ip=209.85.218.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-oi0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUBAGena1TRVdo2m2dsb2JhbABbg2NZBIMCxzWBZIdNAoEKBxYBAQEBAREBAQEBAQYLCwkULoQDAQEDARIRHQEbFggDAQsGBQQHNwICIQEBEQEFARwGEyKICQEDCQmuFT0xizuBc4MRilUKGScNaIVpAQEBAQEFAQEBAQEBARUBBQ6OP4I3C4J3gVQFjBaLFoJLgkuCFIEzPYZMh0iEehgphVMfMIJLAQEB X-IPAS-Result: AoUBAGena1TRVdo2m2dsb2JhbABbg2NZBIMCxzWBZIdNAoEKBxYBAQEBAREBAQEBAQYLCwkULoQDAQEDARIRHQEbFggDAQsGBQQHNwICIQEBEQEFARwGEyKICQEDCQmuFT0xizuBc4MRilUKGScNaIVpAQEBAQEFAQEBAQEBARUBBQ6OP4I3C4J3gVQFjBaLFoJLgkuCFIEzPYZMh0iEehgphVMfMIJLAQEB X-IronPort-AV: E=Sophos;i="5.07,412,1413237600"; d="scan'208";a="107998308" Received: from mail-oi0-f54.google.com ([209.85.218.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Nov 2014 21:15:02 +0100 Received: by mail-oi0-f54.google.com with SMTP id u20so3129758oif.27 for ; Tue, 18 Nov 2014 12:15:00 -0800 (PST) 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=KN3kJV0fLwqKxjnJK+ns/HmoGitBgYe/uQ9/YlFv1q8=; b=J8mF83D8BawT6Rdk0JsEajqd3xjT/n3/2ksb8aigJUkpa3Ii5qkGV+BdNCUq/TAV1T qPLC7GlLtVzYi+eJommA1IPdI8H3OFLtPJOj383I96mNftZLkoYgqkH5m0qtAykkTkl3 JPVFlAmq1OdhFPUR/VyQf/mIIwyUGIdmRF45Sn+eP32JjvyrFSWpTWJbSI/9UdsdmPBW gC5sVMAeJEm3r+Qqla3WPkkmnzLY6MZorzBFssuaQqz2caXvfIqkw1MQMGKd2epk9RJv Zgz2GWf60AAnRBIa3k7Ry9lc2bgok+BBWSVg55jDEF8ertbirq5JcvswsR4GN5LZtq4L HL7Q== MIME-Version: 1.0 X-Received: by 10.202.87.212 with SMTP id l203mr30453090oib.36.1416341700874; Tue, 18 Nov 2014 12:15:00 -0800 (PST) Received: by 10.182.197.1 with HTTP; Tue, 18 Nov 2014 12:15:00 -0800 (PST) In-Reply-To: References: Date: Tue, 18 Nov 2014 15:15:00 -0500 Message-ID: From: Kenneth Adam Miller To: caml users Content-Type: multipart/alternative; boundary=001a113ad19cf61a01050827bf2c Subject: Re: [Caml-list] Using binary analysis platform library --001a113ad19cf61a01050827bf2c Content-Type: text/plain; charset=UTF-8 Actually, I already discovered the function that I was looking for. Can anybody tell me how you declare a list of a certain type in piqi? On Tue, Nov 18, 2014 at 3:01 PM, Kenneth Adam Miller < kennethadammiller@gmail.com> wrote: > 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 > --001a113ad19cf61a01050827bf2c Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Actually, I already discovered the function that I was loo= king for.=C2=A0

Can anybody tell me how you declare a li= st of a certain type in piqi?

On Tue, Nov 18, 2014 at 3:01 PM, Kenneth Adam Mille= r <kennethadammiller@gmail.com> wrote:

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:

Ba= sically, I'm writing a piqi based rpc service; the toil utility (utils/= toil.ml) can be used to pa= rse some string arguments, read a file from the name given on the command l= ine, 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.=C2=A0

I have all the other parts-piqi build= environment, compilation, setup; all I need is a good way to find a transf= orm 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 o= ut.


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


--001a113ad19cf61a01050827bf2c--