Efficient dynamic access analysis using JavaScript proxies
Matthias Keil, Peter J. Thiemann · 2013
JSConTest introduced the notions of effect monitoring and dynamic effect inference for JavaScript. It enables the description of effects with path specifications resembling regular expressions. It is implemented by an offline source code transformation.