Remove call-graph false positives based on type
Remove call-graph false positives based on type

This accounts for not being able to strongly update the vpointer of a
non-base class. The imprecision of the analysis will cause the vpointer
to point to the vtable of superclasses also. We can eliminate some of
these false positives by checking for type compatibility.

plast-lab/cclyzer,plast-lab/llvm-datalog