C is Brittle D is Plastic

[Richard (Rikki) Andrew Cattermole]

On 07/04/2026 5:17 PM, Walter Bright wrote:
> On 4/4/2026 6:27 PM, Richard (Rikki) Andrew Cattermole wrote:
>> https://www.absint.com/astree/index.htm
> 
> I don't see mention of use-after-free, double free, or memory leak 
> detection.
> 
> There's no static analyzer that can detect this reliably and have C 
> semantics.

https://www.absint.com/astree/compliance.htm

Page CWE:

401	Improper release of memory before removing last reference (memory leak)
415	Double free
416	Use after free

Astrée is literally the static analyzer where if money was not a 
limitation here is what you build.

The reason I am so gung-ho on it, is because its quite literally a 
marvel of engineering. Right up there with TeleType's and the black 
bird. Just a 21st century feat, not a 20th.

Its a shame we can't go and play with it, we don't have that kind of budget.