Safe-C-Application