sarif message

Subject: RE: [sarif] Should we call them "directedGraph" and "directedEdge"?

From: Michael Fanning <Michael.Fanning@microsoft.com>
To: "Larry Golding (Comcast)" <larrygolding@comcast.net>, "sarif@lists.oasis-open.org" <sarif@lists.oasis-open.org>
Date: Tue, 3 Apr 2018 02:16:36 +0000

YAGNI is a concern here.

What static analysis problem do we foresee that might require an undirected graph?

From: sarif@lists.oasis-open.org <sarif@lists.oasis-open.org> On Behalf Of Larry Golding (Comcast)
Sent: Monday, April 2, 2018 2:17 PM
To: sarif@lists.oasis-open.org
Subject: [sarif] Should we call them "directedGraph" and "directedEdge"?
Importance: High

… in case we ever want to introduced undirected graphs?

Larry

Follow-Ups:
- RE: [sarif] Should we call them "directedGraph" and "directedEdge"?
  - From: Larry Golding <larrygolding@comcast.net>

References:
- Should we call them "directedGraph" and "directedEdge"?
  - From: "Larry Golding \(Comcast\)" <larrygolding@comcast.net>