| sewardj | de4a1d0 | 2002-03-22 01:27:54 +0000 | [diff] [blame] | 1 | |
| 2 | Doesn't run | ||||
| 3 | ~~~~~~~~~~~ | ||||
| sewardj | d72a7d3 | 2002-06-18 16:31:21 +0000 | [diff] [blame] | 4 | User Mode Linux. |
| 5 | Wine. | ||||
| sewardj | de4a1d0 | 2002-03-22 01:27:54 +0000 | [diff] [blame] | 6 | |
| 7 | |||||
| 8 | Desirable | ||||
| 9 | ~~~~~~~~~ | ||||
| sewardj | de4a1d0 | 2002-03-22 01:27:54 +0000 | [diff] [blame] | 10 | Stack: make return address into NoAccess ? |
| 11 | |||||
| sewardj | de4a1d0 | 2002-03-22 01:27:54 +0000 | [diff] [blame] | 12 | |
| sewardj | d72a7d3 | 2002-06-18 16:31:21 +0000 | [diff] [blame] | 13 | Future |
| 14 | ~~~~~~ | ||||
| 15 | Automatic invariant inference and checking. | ||||