search

bitblaze-fuzzball / fuzzball

FuzzBALL: Vine-based Binary Symbolic Execution
Other
215 stars 58 forks source link

Fix inconsist system memory limit #51

Closed yanxx297 closed 1 year ago

yanxx297 commented 1 year ago

Make sure all memory limits in linux syscall implementation are 0x20000000L