yay that one guy showed up! he always doespic.twitter.com/8YOSypUXl8
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
@spun_off @johnregehr Indeed. Building with ubsan makes this pretty easy. And most UB can't arise to begin with unless you cargo-cult bs...
@RichFelker @spun_off @johnregehr ubsan is far from comprehensive in what it detects, and you'd need complete test coverage to make it sound
@RichFelker @spun_off @johnregehr and UB is not just in bad code, e.g. we caught a memcpy(one_past_end_of_array, foo, 0) in well tested code
@RichFelker @johnregehr and by "well tested" I mean "100% path coverage of relevant code with KLEE + ubsan". Only @spun_off's tool found it.
@bmastenbrook I have so many questions about this metric. Does your notion of “paths” multiply at function calls? What about “if” in a loop?
@bmastenbrook Does Klee tell you with confidence that other potential “paths” are infeasible?
@spun_off @bmastenbrook Klee's paths are pretty idiosyncratic, I believe-- they come from inspecting optimized LLVM code
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.