Bruno Haible via Gnulib discussion list <[email protected]> writes: > Fil-C [1] is a tool for running C and C++ programs in a memory-safe mode. > Given a decent test suite coverage for a package, it can be used as an > alternative to ASAN and (to some extent) valgrind. > > But before you can use it with your packages that use Gnulib, Gnulib must be > ported first :) The author of Fil-C noticed some test failures in Gnulib [2]. > > This set of patches ports the essential modules.
Interesting, thanks. > There are still a couple of test failures. Namely, what does not work? > - conversions from [u]intptr_t to a pointer > - <fenv.h> glibc-specific functions > - asm with pointer arguments > - at-init Makes sense. My understanding is that it stores capabilities in pointers. So I would assume we would need adjustments similar to CHERI. It would probably be worth setting up CI for eventually, assuming a package doesn't depend on troublesome modules. Collin
