lifting Assembly Code into BoogieIVL

[yueyuep]

hello
i have read the paper 《Statistical Similarity of Binaries》.In the paper ,you say that lifting Assembly Code into BoogieIVL ,and you use the BPA(Binary Analysis Framework) to lift the binary procedure into LLVM IR code,i have installed the BPA ,but i couldn't find such command .Also,i don't konw the Specific suffix format of the output file： .ll , .bc or .s
Can you tell me how to solve it?