[libc-commits] [PATCH] D149359: [libc] add exception to atof differential fuzz

Michael Jones via Phabricator via libc-commits libc-commits at lists.llvm.org
Thu Apr 27 13:41:57 PDT 2023


michaelrj added inline comments.


================
Comment at: libc/fuzzing/stdlib/atof_differential_fuzz.cpp:41
+bool should_be_skipped(const uint8_t *str) {
+  double init_result = __llvm_libc::atof(reinterpret_cast<const char *>(str));
+  if (init_result < 0) {
----------------
sivachandra wrote:
> michaelrj wrote:
> > sivachandra wrote:
> > > Can there be a way to do this without using `__llvm_libc::atof`?
> > Not really. We need to use some version of `atof`, either the system's or ours. The thing we're trying to detect here is hexadecimal subnormals, and the process for checking that is exactly the process for converting a string to a float. 
> Let me rephrase my question: can you detect problem inputs using the system libc `atof`?
yes, either `atof` will work.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D149359/new/

https://reviews.llvm.org/D149359



More information about the libc-commits mailing list