bitblaze-fuzzball / fuzzball

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

Adding X64 support for the clock_gettime system call #16

Closed vaibhavbsharma closed 7 years ago

smcc commented 7 years ago

That fix may be enough for some simple uses, including keeping TJ's example from crashing, but when adding 64-bit syscalls that read or write structures, you need to be careful that structure layouts can change, which they do in this case. I've pushed a more comprehensive change that also adds gettimeofday (already had 32-bit support) and nanosleep (totally new).

My test case, FYI:

https://gist.github.com/smcc/8ff413f7c180072b958c3d6b176b0070