search

pascal-lab / Tai-e-assignments

Tai-e assignments for static program analysis
https://tai-e.pascal-lab.net/
GNU Lesser General Public License v3.0
1.01k stars 234 forks source link

A1 里面的DataflowResult<Node, Fact>类 #25

Closed duang123 closed 2 months ago

duang123 commented 2 months ago

我怎样知道Node和Fact的暴露出来的具体接口，因为要实现 Solver.initializeBackward(CFG,DataflowResult) IterativeSolver.doSolveBackward(CFG,DataflowResult) 万分感谢