Let's try to extend dataflow-framework to have backward analysis
The code base is from:
https://github.com/typetools/checker-framework/tree/master/dataflow
and
https://github.com/typetools/checker-framework/tree/master/javacutil
Let's try to extend dataflow-framework to have backward analysis
The code base is from:
https://github.com/typetools/checker-framework/tree/master/dataflow
and
https://github.com/typetools/checker-framework/tree/master/javacutil