#cambus_net — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #cambus_net, aggregated by home.social.
-
Clang Static Analyzer and the Z3 constraint solver
https://www.cambus.net/clang-static-analyzer-and-the-z3-constraint-solver/
#ycombinator #llvm #clang #scan_build #static #analysis #constraint #solver #cambus_net