A Dataflow Approach to Bytecode Verification

• Specify verification problem as an instance of a generic dataflow architecture

• The problem is then definitively structured into subproblems

  • lattice definition
  • transfer functions

Previous slide

Next slide

Back to first slide

View graphic version