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 |