mirror of
https://github.com/github/codeql.git
synced 2026-01-20 09:54:45 +01:00
36b635fb70
These queries were great when evaluating coverage of the new call-graph compared with the old. However, they are not useful to run as part of our DCA experiments.
18 lines
515 B
Plaintext
18 lines
515 B
Plaintext
/**
|
|
* @name New call graph edge from using type-tracking instead of points-to
|
|
* @kind problem
|
|
* @problem.severity recommendation
|
|
* @id py/meta/call-graph-new
|
|
* @precision very-low
|
|
*/
|
|
|
|
import python
|
|
import CallGraphQuality
|
|
|
|
from CallNode call, Target target
|
|
where
|
|
target.isRelevant() and
|
|
not call.(PointsToBasedCallGraph::ResolvableCall).getTarget() = target and
|
|
call.(TypeTrackingBasedCallGraph::ResolvableCall).getTarget() = target
|
|
select call, "NEW: $@ to $@", call, "Call", target, target.toString()
|