Concurrency Analyzer for Node.js applications
Project
Concurrency Analyzer for Node.js applications
Principal Investigator
Martin Vechev
Oracle Principal Investigator
Thomas Wuerthinger, Vice President
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.