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 A5F457FADE for ; Tue, 18 Nov 2014 21:20:43 +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.214.179; 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.214.179 as permitted sender) identity=mailfrom; client-ip=209.85.214.179; 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-ob0-f179.google.com) identity=helo; client-ip=209.85.214.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-ob0-f179.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AocBAJWoa1TRVdazlGdsb2JhbABbg2NZBIMCxzWBZIdNAoEKBxYBAQEBAREBAQEBBwsLCRIwhAIBAQEDARIRHQEbFggDAQsGBQQHDSoCAiEBAREBBQEcBhMiiAkBAwkJrhg9MYs7gXODEYpUChknDWiFaQEBAQEBBQEBAQEBAQEBFAEFDo4/gjcLgneBVAWMFosWgkuCS4IUgTM9hkyHSIR6GCmFUx8wgksBAQE X-IPAS-Result: AocBAJWoa1TRVdazlGdsb2JhbABbg2NZBIMCxzWBZIdNAoEKBxYBAQEBAREBAQEBBwsLCRIwhAIBAQEDARIRHQEbFggDAQsGBQQHDSoCAiEBAREBBQEcBhMiiAkBAwkJrhg9MYs7gXODEYpUChknDWiFaQEBAQEBBQEBAQEBAQEBFAEFDo4/gjcLgneBVAWMFosWgkuCS4IUgTM9hkyHSIR6GCmFUx8wgksBAQE X-IronPort-AV: E=Sophos;i="5.07,412,1413237600"; d="scan'208";a="107999228" Received: from mail-ob0-f179.google.com ([209.85.214.179]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Nov 2014 21:20:42 +0100 Received: by mail-ob0-f179.google.com with SMTP id va2so3021746obc.10 for ; Tue, 18 Nov 2014 12:20:41 -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=WWGPjDPYEv0FwIYsOfyPCSdUinGV7kRFjNcL/O4ad5U=; b=ZpE7mxpWdiF55fly4XpT73OZIjc88ffCAwmLw7H/7HR/8VX7wpRVuaTzbhoX/GsuSE l8rJn8cy3l4zedH1mtC4hv7NpwSMNn/zzY4nB0Z8W/tILlNZA19PBHu1+eAOTSoit9BZ C8MVjZIZZxgN18TBycp7sdMVpG5tk2wBQ4/my+oOLNBRiOKVfxtpeK8dE68C2TvTqJEX vjRUUiT4o2hr+B/YTW8PiFp4EXcruAOUULhLvqKrdOAQheKkGahBSRT4FYkIBegbXlAk eFPcPzCImA2J2aDFUDnebKvLPlm/wpWH4aHz9ze/DtvDX76bYX2ESfhYCH1oX5G7Vp1V Nqrg== MIME-Version: 1.0 X-Received: by 10.202.12.11 with SMTP id 11mr3303229oim.83.1416342041555; Tue, 18 Nov 2014 12:20:41 -0800 (PST) Received: by 10.182.197.1 with HTTP; Tue, 18 Nov 2014 12:20:41 -0800 (PST) In-Reply-To: References: Date: Tue, 18 Nov 2014 15:20:41 -0500 Message-ID: From: Kenneth Adam Miller To: caml users Content-Type: multipart/alternative; boundary=001a113dff6e447c1d050827d476 Subject: Re: [Caml-list] Using binary analysis platform library --001a113dff6e447c1d050827d476 Content-Type: text/plain; charset=UTF-8 I seem to be making good progress today. I was hung up but as soon as I tried to do something, it worked out On Tue, Nov 18, 2014 at 3:15 PM, Kenneth Adam Miller < kennethadammiller@gmail.com> wrote: > 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 >> > > --001a113dff6e447c1d050827d476 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I seem to be making good progress today. I was hung up but= as soon as I tried to do something, it worked out

On Tue, Nov 18, 2014 at 3:15 PM, Ken= neth Adam Miller <kennethadammiller@gmail.com> wro= te:
Actually, I already = discovered the function that I was looking for.=C2=A0

Ca= n 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 Mi= ller <kennethadammiller@gmail.com> wrote:

I have a single u= se case, and its complicated by my clumsiness and new relationship with oca= ml. I'm not sure how to query libraries for various restrictions:

Basically, I'm writing a piqi based rpc service; the toil utility (uti= ls/toil.ml) can be used to= parse some string arguments, read a file from the name given on the comman= d 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 reason= ed about in other languages.=C2=A0

I have all the other parts-piqi bu= ild environment, compilation, setup; all I need is a good way to find a tra= nsform that accepts a string filename and returns a type of stmt. I'm n= ot sure who all is familiar with BAP, but I think it's worth a try to a= sk if anybody knows exactly what I'm looking for, or the utility to fin= d out.


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



--001a113dff6e447c1d050827d476--