Some links:
Alias Analysis Library - A framework for static alias analysis, a MiniSAT-based solver for bitvector problems, and my Master's Thesis.
Büro Lenherr


Valid XHTML 1.0!