1. 1

Abstract: “Systems software such as OS kernels, embedded systems, and libraries must obey many rules for both correctness and performance… This paper attacks this problem by… meta-level compilation to write simple, system-specific compiler extensions that automatically check their code for rule violations. By melding domain-specific knowledge with compilers, MC brings the benefits of language-level checking and optimizing to the higher, “meta” level of these languages.”

“This paper demonstrates the effectiveness of our approach by applying it to four, complex, real systems: Linux, OpenBSD, the Xok exokernel, and the FLASH machine’s embedded software. MC extensions found roughly 500 errors in these systems… Most extensions were under 100 lines of code and written by implementers who had limited understanding of the systems checked.”

(My emphasis added.)

  1. 1

    My Brute-Force Assurance concept relies on combining meta transformations with piles of checks, tests, etc. I just found and skimmed this work which was an interesting outlier in methods used. I thought it was impressive their first project with the technique hit that number of bugs with so little effort. This is 2000. I wonder if any more research was done on this. I go through so much research that I probably won’t remember even if I’ve already seen it. I didn’t see the MC term in combo with results, though. It’s new to me.