Code Verification

We analysed a huge legacy application for the creation and the management of digital certificates. We had a look at the source code quality and forecasted the complexity of functional extensions. We used - amongst others - static code analysers for the analysis of Java and C++ source code and manual inspections. We gave detailed feedback to the application's user regarding possible weaknesses and future improvement possibilities.