Prototype implementation of generation for klocwork