Blog posts


Meditations on Meditations: I-IV BLOG

10 minute read


I’m reading Marcus Aurelius’s Meditations in Marcus Aurelius and His Times (Transition from Paganism to Christianity) [0].

No pain no gain? Comparing 3 program analysis frameworks for C BLOG

11 minute read


Program analysis methods often represent programs as graphs. These graphs should be automatically generated from the source code. There are many tools that have been implemented to do this, but they are often painful to set up. In this post, I will compare 3 program analysis frameworks which I have used to generate graph representations of C programs.