Re: [Caml-list] Using binary analysis platform library

[Kenneth Adam Miller <kennethadammiller@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 2426 bytes --]

Yeah, I tried to email them, but I couldn't get through to them. If you can
explain how I can get through to be approved that would be helpful. I
thought the bap list was better, but  I can't email to it.

At the current moment, I got the tidbit about stmt lists in  piqi, I
figured that out. Now I just need to get the piqi compiler to produce
equivalent types to what bap is compiled with by importing the module
instead of copying the piqi files and including them; ocaml compiler is
producing equivalent type definitions that are masked under different
module names. My whole compilation has bap-0.8/ and BAP-Service under the
same parent directory; when I try to import in piqi, I can't do ../

On Tue, Nov 18, 2014 at 3:22 PM, Ivan Gotovchits <ivg@ieee.org> wrote:

> Actually is is a good idea to look at the examples in a new BAP repository
>
>
> https://github.com/BinaryAnalysisPlatform/bap/blob/master/lib/bap_types/stmt.piqi
>
>
> In general, list can be declared as:
>
> .list [
>   .name stmt-list
>   .type stmt
> ]
>
> Also, there is a BAP-specific list that is more suited for this kind of
> questions.
>
>
> 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
>>>
>>
>>
>

[-- Attachment #2: Type: text/html, Size: 3795 bytes --]