David Chisnall

I’m completely confused by this. It looks as if your binary contains things that shouldn’t be possible.

Is there something unusual about CAAction's protocol definition? (Is it missing a definition?) I can't usefully help debug this without a test case that doesn't depend on a big pile...

I'd like to see some distribution of object sizes before thinking about adding that. And it will probably be different on 32- and 64-bit systems. It might be worth marking...

We've started doing some work here. We use csetbounds to materialise globals on CHERIoT so make heavy use of this instruction and have been trying to determine if we need...

The other thing to note: almost 100% of cases we've seen (we'll prod the compiler to try to make this more quantitative) of the cases are ones where the source...

> It should be quite simple to write a script that looks at some large binaries and see how many csetbounds use the same input and output registers. It's not...

I'd love to see FreeBSD support, but there's a long tail of other platforms. For [Microsoft/snmalloc](https://github.com/Microsoft/snmalloc), we support Windows, macOS, Linux, OpenEnclave, and FreeBSD and have had external contributions for...

@ChristopherHX, thank you, this is fantastic! I can confirm that your runner works really well on FreeBSD. I have not yet done so, but it looks as if the `--once`...

I've written [some scripts](https://github.com/davidchisnall/act-pot) for running @ChristopherHX's version on FreeBSD. They use `pot` to create a jail backed by a ZFS dataset with the runner and any dependencies you want...

Disclaimer: I am currently a Microsoft employee, but I have submitted my resignation and my last day is very soon. I definitely do not speak for Microsoft in this, or...