File list
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 02:16, 16 May 2008 | Treehydra-loop.png (file) |  |
80 KB | Showing solving a CFG with a loop. | 1 |
| 02:03, 16 May 2008 | Treehydra-lock-cfg-1.png (file) |  |
24 KB | Showing solver result | 1 |
| 02:02, 16 May 2008 | Treehydra-lock-cfg-0.png (file) |  |
24 KB | Showing solver after part of first iteration | 1 |
| 02:01, 16 May 2008 | Treehydra-lock-cfg.png (file) |  |
23 KB | Example CFG for locking analysis | 1 |
| 23:38, 15 May 2008 | Treehydra-lattice.png (file) |  |
6 KB | Example abstract value lattice | 1 |
| 21:47, 15 May 2008 | Treehydra-cfg.png (file) |  |
18 KB | Example control flow graph | 1 |
