Particularly they need:

• Better documentation of DEAD, ERROR_IF, DEOPT_IF and other special macros.
• Checks for use after free. We track liveness of values, so we can report uses of dead variables.