fix/ubuntu compatibility - Githubissues

bitblaze-fuzzball / fuzzball

FuzzBALL: Vine-based Binary Symbolic Execution

Other

215 stars 58 forks source link

fix/ubuntu compatibility #55

Open joonkim0625 opened 12 months ago

joonkim0625 commented 12 months ago

Remove the unsafe string force option from Makefile
Replace String module with Bytes module
Add return types to functions
Fix unhandled syscalls