Hi,
I'm trying to figure out how to add socket functions to the klee-uclibc
runtime library so I can run simple socket servers and clients. I've
changed __socketcall in runtime/POSIX to print a custom message, to test
whether it actually runs when the program being executed calls socket(),
but it seems like the implementation of socket() in klee-uclibc calls
into inline ASM instead.
It looks like it's trying to run __socketcall when checking the
klee-uclibc sources, but if I unpack the runtime library and disassemble
its implementation, it runs some inline ASM involving the syscall
instruction instead.
I'm really not sure where the ASM is coming from - am I just looking in
the wrong place, or is there more going on in the interface between the
runtime library and KLEE that I don't know about?
Thanks!
- Noah Zentzis
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
