Support missing targets with uclibc-ng

klee / klee-uclibc

KLEE's version of uClibc

GNU Lesser General Public License v2.1

48 stars 49 forks source link

Support missing targets with uclibc-ng #48

Open zpzigi754 opened 11 months ago

zpzigi754 commented 11 months ago

Currently, uclibc-ng, which is a descendant of uclibc, supports more variety of targets including aarch64 with active maintenance.

I think that if klee-uclibc is rebuilt on top of uclibc-ng instead of the deprecated uclibc, it will become more useful. Or, some of the uclibc-ng's existing code could be ported here.

ccadar commented 11 months ago

@zpzigi754 we would be happy to have support for uclibc-ng in KLEE.
So if you would like to work on this, we would be happy to discuss and review your contribution.

zpzigi754 commented 10 months ago

Thank you for the positive feedback! My personal motivation of using uclibc-ng is that aarch64 support is missing in klee-uclibc. If it turn out that using uclibc is essential for my klee's usage, I will start the porting work and ask for the help. Else, I will leave the task for others.

RossComputerGuy commented 5 months ago

aarch64 would be great, especially since many ARM machines are coming out and people are going to move away from x86 (like me). I want to build in Nix.