Repository of the "KaVE" Project (Software Campus, S. Proksch)