Addon
| Java bytecodes are at a higher level than ordinary assembly code |
| exceptions greatly reduce code movement opportunities |
| OOP style (lots of method calls) reduces the data flow information available |
| no knowledge about the whole program at compile time |