|
If you have the full gcc distribution, the source for the C library (glib or libc) is one of the subdirectories that comes for the ride.
I'm curious about your certification approach. Most projects that are serious enough to require certification of library functions also require certification of the compiler itself. What sort of justification is there for certifying a library function without certifying the compiler in your project?
|