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

A4: icfg has no nodes #6

Closed LuoRongLuoRong closed 1 year ago

LuoRongLuoRong commented 1 year ago

In interSolver::initialize() method, I iterate icfg to init in/out fact, but I find icfg has no nodes. I have been stuck on this for two days and still have no idea how to solve it.

LuoRongLuoRong commented 1 year ago

Well, the reason is that I did not add readchable methods in chabuilder.