Closed Bug 433743 Opened 16 years ago Closed 11 years ago

Treehydra: Abstract interpretation backgrounder

Categories

(Developer Infrastructure :: Source Code Analysis, defect)

Product:
Developer Infrastructure
Component:
Source Code Analysis
Type:
defect
Priority:
Not set
Severity:
normal

Tracking

(Not tracked)

Status:
RESOLVED WONTFIX

People

(Reporter: dmandelin, Unassigned)

Details

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.
Status: NEW → RESOLVED
Closed: 11 years ago
Resolution: --- → WONTFIX
Product: Core → Firefox Build System
Product: Firefox Build System → Developer Infrastructure
You need to log in before you can comment on or make changes to this bug.