Current Projects

Current Projects

People

Projects	Details
CoreC++	Semantics of Multiple Inheritance in C++
KABA	KABA is an interactive refactoring system for Java.
libFirm	graph based SSA intermediate language und optimisations for compilers
Quis-Custodiet	Machine-checked software security analyses
VALSOFT/Joana	Information Flow Control in Program Dependence Graphs

Old Projects