engineering/java-topology
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
java-topology/defects/cayley/patch/CLEAN.md
russell@unturf.com 3bfe10d197 go-cluster: traefik-0001/nats-server-0001 CWE-407; grafana/consul/containerd/buildkit/helm/cayley CLEAN 
traefik-0001: CheckRecursion slices.Contains on growing stack O(D²) → O(D) with parallel map
nats-server-0001: checkConsumerCfg subject filter overlap double-loop O(S²) → O(S²/2)
grafana: CLEAN (gonum topo sort, map visited sets throughout)
consul: CLEAN (discoverychain map[string]struct{} visited)
containerd: CLEAN (walkBlobVariantsOnly map[digest]struct{})
buildkit: CLEAN (addItemToStorage map[*item] visited)
helm: CLEAN (resolver single-pass, dep list O(D) display-only)
cayley: CLEAN (Recursive.Next map[interface{}]seenAt)
2026-03-29 19:47:27 -04:00

688 B
Raw Permalink Blame History

cayley — CWE-407 Scan Result: CLEAN

Scanned: 2026-03-29

Scope

  • graph/iterator/recursive.go — Recursive.Next: uses map[interface{}]seenAt for visited tracking. The seen[key] lookup is O(1) hash map. BFS/DFS traversal is O(V+E). Correct.
  • graph/iterator/fixed.go — Fixed.Contains: linear scan over fixed set, but only used for small seed sets, not in an outer loop.
  • All Contains methods in iterator package: graph iterator interface, not list-membership inside outer traversal loops.

Verdict

No CWE-407 defects found. Cayley's recursive graph iterator uses a proper map[interface{}]seenAt hash map for cycle detection and visited-node tracking.