[ Web Proxy ]
URL:
Viewing: https://raw.githubusercontent.com/github/codeql/codeql-cli/v2.26.3/python/ql/src/analysis/Pruned.ql [Back]  [Original] 
import python
import semmle.python.pointsto.PointsTo

from int size
where size = count(ControlFlowNode f | not PointsToInternal::reachableBlock(f.getBasicBlock(), _))
select size
Web Proxy Viewer  |  New URL  |  Original Page