FilesExpand file tree

codeql-cli-2.27.2

/

ContextEfficiency.ql

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

25 lines (23 loc) · 816 Bytes

codeql-cli-2.27.2

/

ContextEfficiency.ql

Copy path

Top

File metadata and controls

• Code
• Blame

25 lines (23 loc) · 816 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

/**

* Compute the total 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

private import LegacyPointsTo

from int total_facts, int total_size, int depth, float efficiency

where

total_facts =

strictcount(ControlFlowNode f, Object value, ClassObject cls |

exists(PointsToContext ctx |

PointsTo::points_to(f, ctx, value, cls, _) and

depth = ctx.getDepth()

)

) 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