mirror of
https://github.com/github/codeql.git
synced 2025-12-24 12:46:34 +01:00
f07a7bf8cf
Will need subsequent PRs fixing up test failures (due to deprecated methods moving around), but other than that everything should be straight-forward.
33 lines
1.1 KiB
Plaintext
33 lines
1.1 KiB
Plaintext
/**
|
|
* Compute the marginal increase points-to facts, the total size of the points-to 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
|
|
|
|
int depth(ControlFlowNode f, Object value, ClassObject cls) {
|
|
exists(PointsToContext ctx |
|
|
PointsTo::points_to(f, ctx, value, cls, _) and
|
|
result = ctx.getDepth()
|
|
)
|
|
}
|
|
|
|
int shallowest(ControlFlowNode f, Object value, ClassObject cls) {
|
|
result = min(int x | x = depth(f, value, cls))
|
|
}
|
|
|
|
from int total_facts, int total_size, int depth, float efficiency
|
|
where
|
|
total_facts =
|
|
strictcount(ControlFlowNode f, Object value, ClassObject cls | depth = shallowest(f, value, cls)) and
|
|
total_size =
|
|
strictcount(ControlFlowNode f, Object value, ClassObject cls, PointsToContext ctx,
|
|
ControlFlowNode orig |
|
|
PointsTo::points_to(f, ctx, value, cls, orig) and
|
|
depth = ctx.getDepth()
|
|
) and
|
|
efficiency = 100.0 * total_facts / total_size
|
|
select depth, total_facts, total_size, efficiency
|