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
215 stars 41 forks source link

Is it architecture independent? #18

Closed marcinguy closed 3 years ago

marcinguy commented 3 years ago

Working on project where I got the ll (assembly language format files) files for arm architecture.

Will it also work on it?

Do I have to specify some extra flags?

I think it is architecture independent, but got some errors like below:

DecodeException "Unknown DW_OP 4097"
DecodeException "Unknown DW_OP 148" 

Thanks,

deian commented 3 years ago

it works on llvm. that's a llvm-hs problem, see some of the closed issues.