Report question

Question: How to statically analyze reference types passed to each bytecode instruction?