To make ESP generally comprehensible, we need a background document on data-flow analysis/abstract interpretation. Existing online resources seem lacking--there are some lecture notes, but they're not complete without the lecture. We should also include or add a tutorial that shows how to actually apply these ideas to the Treehydra analysis libraries. If anyone has expertise in this area, contributions are very welcome.
Dehydra and treehydra are no longer maintained by Mozilla.