David Tarditi
David Tarditi
Please feel free to make pull request that fixes this.
Thanks for the proposed change. I have some suggestions.
@longhronshen, what is the status of this change? We do need a cmake configuration to work for different developers. Are there dependencies missing from the cmake file that would better...
I think it is fine to exclude some samples for now from the cmake build. We can merge the PR and that can be worked on later. Please make sure...
Please let me know when this is ready for further review.
Yes, I agree we can cut a new release. I also have a PR that I would like to merge before we do so.
After further thought, it seems reasonable and concise to allow bounds-safe interfaces on parameters of function types. As the prior comment says, there is a problem in that function pointer...
After more experience with Checked C, I think the important thing is to provide guidance on how to write a bounds-safe interface for a function pointer type. Given a function...
Thanks for the pointer to your library! I agree that the two efforts are complementary. We are interested in use-after-free and use-of-initialized value problems as well. In terms of the...
Yes, the correct answer for question 1 is to make it an `nt_array_ptr` with bounds of `count(len-1)`. This forces you to put a `NUL` at the end of the buffer,...