Trust:

• No need to trust javac

  • verifier should catch mistakes

• But, we must trust:

  • verifier (hard, since there’s no spec)
  • mapping to low-level IL
  • optimizer
  • code generator

Previous slide

Next slide

Back to first slide

View graphic version