Inconsistent Results of CFL reachability analysis

[enochii]

Hi, I use the cfl tool and encounter some issues. Since there is no running examples, I randomly choose one from https://github.com/SVF-tools/Test-Suite/.

When running cfl with -pocr-alias -grammar=<SVF-path>/svf/include/CFL/VFG.txt <SVF-path>/Test-Suite/test_cases_bc/complex_tests/test1-path.c.bc, I get the result (POCRAlias):

When running cfl with -grammar=<SVF-path>/svf/include/CFL/VFG.txt <SVF-path>/Test-Suite/test_cases_bc/complex_tests/test1-path.c.bc, I get the result (CFLAlias):

I have the following questions:

• The SumEdges items seem not consistent in two runs, is it anything I missed?
• Also, is there any specilized test cases for cfl tool (especially those in dot file format)?

[yuleisui]

@TalbenXu could you take a look at this issue?