I see, that's what you meant. You are right. You need to use boehmgc in precise ...

rurban on Jan 24, 2019 | parent | context | favorite | on: Fearless Security: Memory Safety

I see, that's what you meant. You are right. You need to use boehmgc in precise mode, which is not the default. You need to tag your pointers. Also use incremental mode for shorter pause times.