- ZVM-K - Dynamic Analysis Tool for Runtime Error Detection in Kernel and Driver Code, Development Tool-Software
- ZVM-U - Dynamic Analysis Tool for Runtime Error Detection in User Space Applications, Development Tool-Software
Parallocity is quickly emerging as a key player in the $2B Automated Software Quality (ASQ) industry. Parallocity's Zeus Virtual Machine (ZVM) dynamic analysis framework automates the detection of hard-to-find errors in user space applications, kernel loadable modules, and device drivers written in C or C++. ZVM finds high impact errors including concurrency errors (data races, deadlocks, stalls, atomicity violations), as well as memory errors and memory leaks in complex single- and multi-threaded code. ZVM scales for use from unit testing to regression testing and from embedded systems with as little as 64MB of system memory to large scale platforms with 72GB or more of system memory running applications with millions of lines of code, hundreds of concurrent threads, and dozens of processes.