Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Some Were Meant For C [pdf]
news.ycombinator.com | 2021-03-01
See also .
> I don't like exceptions very much either because control flow gets more complicated. Trapping like Swift does is fine, though.
I agree it introduces action at a distance flow-control. I'm afraid I don't know Swift.
Vaguely related fun: https://github.com/MaxBarraclough/IntegerAbsoluteDifferenceC...