Auditing with CodePro