[Caml-list] Using binary analysis platform library

[Caml-list] Using binary analysis platform library

[Kenneth Adam Miller]

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

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: 1034 bytes --]

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

[Kenneth Adam Miller]

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

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: 1625 bytes --]

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

[Kenneth Adam Miller]

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

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
>>
>
>

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

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

[Kenneth Adam Miller]

[-- 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 --]