Publication | Closed Access

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification

Software SecurityEngineeringTool SupportProgram AnalysisSoftware TestingSoftware CertificationComputer EngineeringSoftware AnalysisSoftware EngineeringSource Code AnalysisTrusted Execution EnvironmentComputer ScienceSoftware AssuranceFormal VerificationCryptography