I’ve been working on Mozilla’s Tracemonkey source code for quite awhile now as part of my research. The basic goal is to apply a labeling mechanism to JavaScript objects that will help in tracking information flow. Along the way though, you notice things about the code: some area’s look like they need cleaning, or could [...]