“POSIX defines a thread-safe alternative gmtime_r, which is similar to the C11 function gmtime_s, except that …” ╯‵Д′)╯彡┻━┻
@bmastenbrook @spun_off Not seeing many memory accesses in it. So far just *t and *tm in gmtime_r.c, *tm and months[] in __secs_to_tm.c...?
-
-
@richfelker @spun_off the memory error was a solver bug, sorry for the noise -
@bmastenbrook fuzz all the solvers? -
@spun_off some other time, perhaps
-
@bmastenbrook for the mention on the Libc thing project webpage, did you detect the overflows with tis-interpreter, UBSan, or somethin else? -
@spun_off KLEE + ubsan found the errors, concrete cases were then fed to tis-interpreter for nicely formatted results
End of conversation
New conversation -
-
-
@richfelker @spun_off it's complaining about days_in_month, but the counterexample it produces doesn't do what it claims. I'm blaming KLEE. -
@richfelker @spun_off but! I've got some nice signed overflows for you -
@bmastenbrook@RichFelker I recommend the musl mailing list. -
@spun_off
@richfelker yup, I'm collecting them up now
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.