Toolchains adventures - Q2 2022
My continuous journey into toolchains, in the second quarter of 2022 ...more
Clang Static Analyzer and the Z3 constraint solver
Notes on using the Z3 constraint solver with the Clang Static Analyzer ...more
Differences between base and ports LLVM in OpenBSD
Base vs ports LLVM in OpenBSD, and why we still need both ...more
Assembly instructions distribution
Calculating the distribution of assembly instructions in ELF binaries ...more
OpenBSD folklore and share/misc/airport
OpenBSD's share/misc/airport file and a day trip to Lublin ...more