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