Stephen Kell
Stephen Kell
Following yet another TLS certificate update, my messages were not sending and I was curious about why I didn't seem to get repeated notifications of failure, as I thought I...
The malloc-in-exe test case hacks around this with its own LDFLAGS in mk.inc. But without these, the `__wrap___real_malloc` and friends are being defined (in `liballocs_nonshared.a`) too early on the command...
In a hypothetical dynamically safe C, we want to implement a temporally safe ```malloc``` using virtual address rotation techniques. Basically, each heap arena is mapped N times (say 64). In...
Some heaps, like gcc's RTL heap, always allocate objects of the same (super)type so only a bitmap is really needed. This 'easy win' was already mooted in 2015's Onward! paper...
The no-op `liballocs_dummyweaks.so` library is no longer necessary, for at least the following reasons. - The BFD linker provides `-z dynamic-undefined-weak`. So we can just make the symbols weak, if...
As of commit ab4d7b07, we have a new `__private_malloc()` implementation which never does `mmap()`, thanks to a 'large-enough' (1GB) up-front MAP_NORESERVE area created at the same time as the pageindex....
The whole codebase really needs me to do a brain dump in each .c file, explaining what goes on in each. A lot of non-obvious things 'obvious to me' are...
Rather than doing a lot of hairy link-time stuff (see tools/allocscompilerwrapper.py) to interpose on allocation functions, it would be better to do it at run time. This should be less...
Currently, we do an intraprocedural analysis of the flow of 'sizeofness', so that e.g. in the following example we can infer that `p` points to a `struct Foo`. ``` size_t...
Creating a 'precise' struct that ends with a flexible array member is a ballache. You have to create the array type, then create the struct type. The struct type's ```make_precise```...