ZVM-K - Dynamic Analysis Tool for Runtime Error Detection in Kernel and Driver C by Parallocity, Inc.

Debugger and/or Simulator

Product Description

ZVM-K provides automated software defect detection at runtime for Loadable Kernel Modules (LKMs) and device drivers running on Linux and Android across the full range of ARM Cortex® 32- and 64-bit multi-core processors. ZVM-K is the only dynamic analysis tool in the industry that can find concurrency errors, like data races and deadlocks, memory errors, and memory leaks in complex, multi-threaded C/C++ code running on ARM.

With high performance, memory-efficient instrumentation ZVM-K is highly scalable. It can find hard-to-detect errors on platforms from resource constrained embedded devices to powerful mobile, networking, and server systems. ZVM-K finds data race conditions between kernel threads, soft IRQs and interrupts. It finds memory errors including memory corruption, accesses outside of array bounds and invalid pointers that can go undetected during a typical testing cycle. It also finds memory leaks, or chunks of memory consumed by a kernel module but never released, which are unaffordable in the kernel space. As such, ZVM-K is well-suited to mission critical applications in networking, storage, security, mobility, medical, automotive, defense, consumer electronics, web and cloud infrastructure and many more.

• 
  Languages supported:  C


• 
  Operating Systems: Linux and Android


• 
  ARM CPUs:  Cortex® 32- and 64-bit multi-core processors.


• 
  Defects detected:
  
  
  • 
    Concurrency errors:  data races
  
  
  • 
    Memory errors:  memory corruption, buffer overflows, accesses to freed memory, double free scenarios
  
  
  • 
    Memory leaks:  lost pointers
  
  


• 
  Provides defects and analytics information for Daemons without stopping the application


• 
  Code Analytics
  
  
  • 
    Statement coverage
  
  
  • 
    Source file/function/line level statistics
  
  
  • 
    Branch statistics for conditional statements
  
  
  • 
    Differential View (DiffView) allows the user to see incremental errors and analytics when new code is checked in
  
  
  • 
    Function Hotspots for performance optimization
  
  
  • 
    Memory Statistics to snapshot memory usage over time
  
  

ZVM-K - Dynamic Analysis Tool for Runtime Error Detection in Kernel and Driver Code

Market Segment(s)

• Embedded
• Enterprise
• Home
• Mobile
• Mobile Computing

Target Platform(s)

• Android
• Linux

ARM Processor(s)

• Cortex-A15
• Cortex-A5
• Cortex-A50
• Cortex-A53
• Cortex-A57
• Cortex-A8
• Cortex-A9
• Cortex-M0
• Cortex-M1
• Cortex-M3
• Cortex-M4
• Cortex-R4
• Cortex-R5
• Cortex-R7
• ARMv7
• ARMv8

 Contact Us