Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Our Students
  3. Online Resources & Handbooks
  4. Student projects - Coding Standards Checker

Coding Standards Checker

Supervisor

Daniel Kroening

Suitable for

MSc in Computer Science

Abstract

Build instrumenters for various coding standards, e.g., AutoSar, MISRA-C, CERT C HIC++, etc.

Our Students

Back to Top