Concurrency Analyzer for Node.js applications

Project

Concurrency Analyzer for Node.js applications

Principal Investigator

Martin Vechev

ETH Zurich

Oracle Principal Investigator

Thomas Wuerthinger, Senior Director

Summary

The project aims to develop an analyzer for finding concurrency errors in Node.js server-side applications. The analyzer will consist of two parts: a dynamic race detector which finds race conditions in Node.js applications and a static component based on the Truffle framework. The static analysis will reduce the overhead of the dynamic analysis by soundly eliding instrumentation of selected shared read/write accesses. The expected outcome is a working analyzer for Node.js applications.