Analysis has always been a critical skill in software engineering, but pure analysts frequently lack the programming language skills needed for analyzing source code, and developers frequently lack the analytical skills for in-depth tasks.

SafeCode can provide specialized analysis of source code and tool-produced artifacts for clients with specialized needs.  Examples include:

  • Verification Analysis*
  • Safety Analysis
  • Reverse Engineering*
  • Static Analysis
  • MC/DC Analysis
  • Capture/Re-Capture Defect Analysis
  • Compiler Analysis & Validation
  • Development Tool Qualification
Contact SafeCode today to learn what we can do to help you.