Concurrency Analyzer for Node.js applications
Oracle Principal Investigator
Thomas Wuerthinger, Senior Director
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.