Static Source Code Analysis Consulting by Code Integrity Solutions

Software Validation and Verification

Product Description

Code Integrity Solutions provide a wide range of services to help ARM customers write higher quality software. Code Integrity Solutions provides industry leading static source code analysis and build automation consulting to help software development teams write higher quality code. Code Integrity Solutions consulting includes:
* Analysis tuning to reduce false positives and increase the detection of critical, crash causing defects
* Performance tuning so that static analysis operates significantly faster than expected
* Custom checker creation to find hard-to-find bugs in code and enforce coding standards. Custom checkers may be used to detect endian and 32/64-bit incompatibility issues when porting or maintaining support for multiple platforms
* Bug triage. Our experienced engineers can quickly go through a large number of defects and efficiently pick the ones that are most relevant to you.
* Process automation, process consulting and integrations to bake static source code analysis and build tools into your process
* Ongoing administration available full-time, part-time, remote or on-site. Having the expertise when you need it and for however long you need it for.

Static Source Code Analysis Consulting

Market Segment(s)

• Embedded
• Enterprise
• Home
• Mobile
• Mobile Computing

Target Platform(s)

• Android
• ITRON
• Java
• Linux
• Nucleus
• OpenGL ES
• OpenVG
• OSE
• Other OS
• Palm OS
• QNX
• Symbian
• ThreadX
• VRTX
• VxWorks
• Windows Embedded CE
• Windows Mobile

ARM Processor(s)

• ARM7EJ-S
• ARM7TDMI
• ARM7TDMI-S
• ARM720T
• ARM920T
• ARM922T
• ARM926EJ-S
• ARM940T
• ARM946E-S
• ARM966E-S
• ARM968E-S
• VFP9-S
• ARM1020E
• ARM1022E
• ARM1026EJ-S
• VFP10
• ARM1136J-S
• ARM1136JF-S
• ARM1156T2(F)-S
• ARM1176JZ(F)-S
• ARM11 MPCore
• Cortex-A15
• Cortex-A5
• Cortex-A53
• Cortex-A57
• Cortex-A8
• Cortex-A9
• Cortex-M0
• Cortex-M1
• Cortex-M3
• Cortex-M4
• Cortex-R4
• Cortex-R5
• Cortex-R7
• SC000
• SC100
• SC200
• SC300
• ARMv4
• ARMv5
• ARMv6
• ARMv7
• ARMv8
• StrongARM
• XScale
• Mali55
• Mali-200+GP2
• Mali-400
• Mali-T604
• Other

Security Software

• TrustZone™ Technology

 Contact Us