|
|
|
|
|
|
by alphaglosined
92 days ago
|
|
|
It is more widespread than you may realise. 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 ;) |
|
|