This is the fifth post in my toolchains adventures series. Please check the previous posts in the toolchains category for more context about this journey. In Pkgsrc land, I updated mold to the 1.2, 1.2.1, and 1.3 versions, and pax-utils to the 1.3.4 one. I also added a z3 option to our llvm and clang packages to allow building them against the Z3 theorem prover. When both lang/llvm and lang/clang are built with the z3 option enabled, the Z3 constraint solver is activated for the Clang static analyzer....
Clang Static Analyzer and the Z3 constraint solver
As far as static analyzers are concerned, one of the most important point to consider is filtering out false positives as much as possible, in order for the reports to be actionable. This is an area on which Coverity did an excellent job, and likely a major reason why they got so popular within the open source community, despite being a closed-source product. LLVM has the LLVM_ENABLE_Z3_SOLVER build option, which allows building LLVM against the Z3 constraint solver....
Differences between base and ports LLVM in OpenBSD
LLVM was imported in the OpenBSD ports tree back in 2008, and happily lived there for a long while before being imported in the source tree at the g2k16 hackathon in 2016. I previously wrote about this in “The state of toolchains in OpenBSD” last year. As mentioned in my previous article, we do not use upstream build system to build LLVM in the base system, but hand-written BSD Makefiles. Importing CMake into the base system was not an option, because of the size of the project and the large dependency chain it requires for building....
Assembly instructions distribution
In my article about running FreeBSD on the Vortex86DX CPU, I mentioned using objdump to disassemble kernels in order to check whether they were using CMOV instructions or not. One thing leading to another, I thought it would be fun to calculate the distribution of assembly instructions in ELF binaries. It turns out it can be done rather easily with a bit of Shell foo. For the purpose of this article, I used SQLite 3....
OpenBSD folklore and share/misc/airport
Back in 2016, I sent a diff to OpenBSD’s tech@ mailing list which added missing airports and area codes for Poland. Theo kindly pointed out privately that there was a rule governing the update of this file, which was known among OpenBSD developers but never made it into a commit. So I ended up making one adding my home airport (RZE) to the list and specifying update rules: only add ones you have been to....
Customizing NetBSD boot banners
I recently discovered that it’s surprisingly easy to customize the NetBSD boot loader banner, simply by adding some directives in the boot.cfg configuration file. Here is the relevant part of the boot.cfg(5) manual page: banner The text from banner lines is displayed instead of the standard welcome text by the boot loader. Up to 12 lines can be defined. No special character sequences are recognised, so to specify a blank line, a banner line with no value should be given....
File transfers via the parallel port on DOS using LapLink
I’ve already mentioned the HP t5570e and HP t510 thin clients a few times on this site, so they probably don’t require any more introduction. I will however just stress that one of the nice thing they have going for them is that they still have serial and parallel ports. I’ve already put their parallel port to good use, as it allowed me to re-plug my Flash Advance Linker and also use the wonderful OPL3LPT device (an ‘AdLib’ parallel port FM synthesizer soundcard)....
Toolchains adventures - Q1 2022
This is the fourth post in my toolchains adventures series. Please check the previous posts in the toolchains category for more context about this journey. In Pkgsrc land, I packaged and imported pax-utils, and updated mold to the 1.0.1, 1.0.2, 1.0.3, 1.1, and 1.1.1 versions. Since version 1.0.2, mold can now link NetBSD object files thanks to work done by pho@. I also committed upstream fix for CVE-2021-45078 in binutils to fix an out-of-bounds write, and imported our NetBSD/aarch64 support patches for ld from the NetBSD’s src repository....
GBA nostalgia and the Flash Advance Linker
I got involved with GameBoy advance development in 2001 shortly after the release of the device on the European market. At the time, the PC demoscene had already moved to producing those horrible hardware-accelerated 3D demos and it was time for me to move on. In my eyes, the GBA scene provided a refuge for the 2D and bitmapped graphics lovers, and so I spent some time playing with the device....
FreeBSD on the Vortex86DX CPU
After trying NetBSD and OpenBSD on my DMP EBOX 3300A-H with a Vortex86DX CPU, I was curious to see how FreeBSD would fare on such constrained systems these days. For more information and background about the hardware, please refer to my previous article. Attempting to install FreeBSD 13.0 failed early when loading the kernel, and both supported releases from the FreeBSD 12 series (12.2 and 12.3) also exhibit the same issue....