News for hackers. Stuff that matters.

A comment on C2rust vs. Corrode. Parent comment

Re:C2rust vs. Corrode by dbaupp on Monday July 02, 2018 @02:33AM (#17439703)
I suspect it's not possible for most interesting programs, even with whole program analysis. As soon as you start storing pointers behind other pointers, it's (very) hard to keep track of where they came from.

There's more discussion in the replies to https://news.ycombinator.com/item?id=17382464 that you may've missed.

[ Parent | on HN ]
Re:C2rust vs. Corrode by Animats on Monday July 02, 2018 @12:48PM (#17443239)
Yes, I know; I started that discussion.
[ Parent | on HN ]
Re:C2rust vs. Corrode by dbaupp on Monday July 02, 2018 @06:22PM (#17445875)
I see, I'm sorry. It just seemed like you might not have noticed additional replies to your comment, since you didn't reply there and essentially didn't change what you said.
[ Parent | on HN ]