Defines a prototype checker in the Clang Static Analyzer for proper definition/use of time.h related functionality. The intention for this work is to audit user code for identifying potential issues in the light of the "Year 2038" (aka: "Y2K38") problem.
Checks implemented:
0. Warn if the time_t type is not defined to be a signed integer type, at-least 64-bits in size, having file scope. When the size of the time_t type is less than 64-bits, report the actual size in the warning.
- Warn when a time_t value is cast to: a. A non-integer type. b. An integer type of lesser width. c. An unsigned integer type.
Are you planning to add more time.h related functionality? If not, maybe you could specialize this description, explicitly mentioning the Y2K38 problem.
Buuuuut mentioning would be great idea anyways, because this is a little vague just yet.