Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Sir Tony Hoare has died. Parent comment
That work contributes to static analysers' data flow analysis algorithms and is very widespread, even if it's in a limited capacity.
C#, gcc, clang, and even dmd, with my fast DFA engine, utilise it.
We can't all be using Astrée, far too expensive ;)
There are no comments on this comment yet.
That work contributes to static analysers' data flow analysis algorithms and is very widespread, even if it's in a limited capacity.
C#, gcc, clang, and even dmd, with my fast DFA engine, utilise it.
We can't all be using Astrée, far too expensive ;)