search

PLSysSec / sys

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
https://cseweb.ucsd.edu/~dstefan/pubs/brown:2020:sys.pdf
GNU General Public License v2.0
221 stars 41 forks source link

BC (bitcode) or LL (LLVM assembly language format) #20

Open marcinguy opened 3 years ago

marcinguy commented 3 years ago

In the Readme Run section you use LL files as inputs.

Does it support BC and LL files as input? Or only LL?

Does it make a difference from performance, memory usage to have one big LL file/BC file or numerous BC/LL files?

What are the best practices, best approach?

Thanks,

deian commented 3 years ago

I think llvm-hs works happily with bc, but right now the front end is just looking for .ll extensions. Should be easy enough to extend.