The libc cross-testing project
Back to news Cross-testing libc and bugs found Cross testing libc While discussing with a number of other people, the idea arose of the differential testing of libc implementations. There are many of these (musl libc is my favorite; the implementation of the libc is one of the points on which the *BSD Unices differ, […]
Compile-time consistency checks for types in C
Back to news Walkthrough of a compile-time consistency check for types in C language Compile-time consistency checks Say that in existing source code, you happened upon the construct below: #define CHECKED_TYPE(original_type, p) ((conversion_type*) (1 ? p : (original_type*) 0)) What might the purpose of this strange construct be? At run-time, the inner conditional expression […]
