Supplementary material for the paper "Tunable Control-Flow Sensitivity for Program Analysis".

Directory 'theory/' hold the category theoretical discussion on the space on trace abstractions.

Directory 'code/' holds a Haskell implementation of the example language and analysis given in the paper.