[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: RE: remove 'graphs' and mark as 'future'?
Pavel, Oege, I forgot that Luke is out on leave. ð
Are there any plans for Semmle to consume the SARIF graphs constructs? Does this need to wait until Luke is back? (which should be fine).
The SARIF v2 graphs work is inconsistent with other changes that weâve recently made. Specifically, it is one of the last remaining dictionaries in the format. To be consistent with the remaining design, we should consider converting this data to arrays, as we have elsewhere (weâve done this for various performance reasons, primarily). At this late stage, though, cycles are few and no one, to my knowledge, has actually attempted to produce/consume this feature.
We have three options:
Any thoughts on this? My sense is that I personally insisted on getting this feature designed based on a concern that the format was insufficient for Semmleâs purposes. If you wonât actually utilize/find value in the feature, that undercuts the argument for further investment (and supports removing it for now).