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
CharlesZ-Chen/dataflow-framework
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|