---| pkgsrc.se
Notes on using the Z3 constraint solver with the Clang Static Analyzer| www.cambus.net
Base vs ports LLVM in OpenBSD, and why we still need both| www.cambus.net
Calculating the distribution of assembly instructions in ELF binaries| www.cambus.net