2 call site sensitive analysis performs as 1 call site sensitive analysis

plast-lab / cclyzer-souffle

CClyzer port to souffle lang

MIT License

18 stars 8 forks source link

2 call site sensitive analysis performs as 1 call site sensitive analysis #3

Open psubotic opened 5 years ago

psubotic commented 5 years ago

For our example we have debugged it and we believe the rule that computes var_points_to4 only takes one context into account. We have attached an example c and bc file that demonstrate the bug.

id2.zip