getAllPointsTo method

Map<int, Set<String>> getAllPointsTo()

Gets all VarPointsTo relationships.

Implementation

Map<int, Set<String>> getAllPointsTo() {
  final results = _engine.query('VarPointsTo');
  final map = <int, Set<String>>{};

  for (final tuple in results) {
    final varId = tuple[0] as int;
    final heapId = tuple[1] as String;
    map.putIfAbsent(varId, () => {}).add(heapId);
  }

  return map;
}