All public group projects can be found on github.

Active Projects

  • adiff: A tool for differentially testing soundness and precision of program analyzers
  • bran: A static analysis framework for EVM bytecode
Contact
Maria Christakis
MPI-SWS
Paul-Ehrlich Strasse G 26
67663 Kaiserslautern
Germany
E-mail: maria@mpi-sws.org