iframe-proxy | Sunbelt Computer Software

18 lines (15 loc) · 627 Bytes

 * @name Flow Statistics
 * @description Count the number points-to sets with 0 or 1 incoming flow edges, and the total number of points-to sets
 * @kind table
 * @id cpp/points-to/stats
 * @deprecated This query is not suitable for production use and has been deprecated.
import semmle.code.cpp.pointsto.PointsTo
predicate inc(int set, int cnt) {
  (setflow(set, _) or setflow(_, set)) and
  cnt = count(int i | setflow(i, set) and i != set)
select count(int set | inc(set, _)) as total, count(int set | inc(set, 0)) as nullary,
  count(int set | inc(set, 1)) as unary, total - nullary - unary as rest

Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

Stats.ql

Latest commit

History

Stats.ql

File metadata and controls