5 ms·
There are earlier attempts to do this, CCured was as I recall wholly based on comment annotation, and it was also closely related to cyclone, which inspired rus
by vintermann 3y ago
There are earlier attempts to do this, CCured was as I recall wholly based on comment annotation, and it was also closely related to cyclone, which inspired rust.
Have you looked at them? Always good to look at prior art, it's not easy what you're trying to do.
- bvrmn 3y agoPrior art is hard to find and touch in-person. There is real reason the only easy searchable leftovers are academic papers.
- vintermann 3y agoWell I mentioned some, at last. Pretty sure I still have the CCured code lying around in a backup somewhere, I downloaded it and played with it long ago. If it's truly not available on the net anywhere, I suppose I can try to dig it up.