top
new
show
ask
jobs
about

Clang Static Analyzer and the Z3 constraint solver

cambus.net

78 points by davikr 10 hours ago

rgovostes 9 hours ago

(2022)

Previously: https://news.ycombinator.com/item?id=31832588