mirror of
https://github.com/github/codeql.git
synced 2026-07-14 07:48:16 +02:00
30 lines
972 B
Plaintext
30 lines
972 B
Plaintext
/** Compute the marginal increase call-graph facts, the total size of the call-graph relation and
|
|
* the ratio of the two in relation to the depth of context.
|
|
*/
|
|
|
|
import python
|
|
import semmle.python.pointsto.PointsTo
|
|
import semmle.python.pointsto.PointsToContext
|
|
|
|
from int total_facts, int total_size, int depth, float efficiency
|
|
where
|
|
total_facts = strictcount(ControlFlowNode call, FunctionObject func |
|
|
exists(PointsToContext ctx |
|
|
call = PointsTo::get_a_call(func, ctx) and
|
|
depth = ctx.getDepth()
|
|
and not
|
|
exists(PointsToContext shallower |
|
|
call = PointsTo::get_a_call(func, shallower) and
|
|
shallower.getDepth() < depth
|
|
)
|
|
)
|
|
)
|
|
and
|
|
total_size = strictcount(ControlFlowNode call, FunctionObject func, PointsToContext ctx |
|
|
call = PointsTo::get_a_call(func, ctx) and
|
|
depth = ctx.getDepth()
|
|
)
|
|
and
|
|
efficiency = 100.0 * total_facts / total_size
|
|
select depth, total_facts, total_size, efficiency
|