Support missing targets with uclibc-ng

[zpzigi754]

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]

@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]

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]

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.