Ballot Details: Ballot 02c: new design change + change draft for issue #168 (CLOSED)

Ballot Question Add codeflow.state to capture initial execution state for things like static variables?
Ballot Description Shall the design change be approved, and shall the resulting change draft be approved?

The change draft is referenced in this ballot.

The change draft is for the following issue.
https://github.com/oasis-tcs/sarif-spec/issues/168

The provisional draft with the changes from all ballots merged is here:
https://github.com/oasis-tcs/sarif-spec/blob/master/Documents/ProvisionalDrafts/sarif-v2.0-csd02-provisional.docx

-----

E-BALLOT PROPOSAL:
In the codeFlow object:
Add property immutableState of type object with string-valued properties, to hold information like HTTP headers and forms data. That was the initial motivation for this issue.
Add property initialState of type object with string-valued properties (parallel to the existing property graphTraversal.initialState).
In the graphTraversal object:
Add property immutableState of type object with string-valued properties (parallel to the new property codeFlow.immutableState).
In the spec, clarify that threadFlowLocation.state and edgeTraversal.finalState must mention every relevant state variable, even those unchanged since the previous step, because otherwise, if a state variable was present at step n but missing at step n + 1, you couldn't tell if it still existed but its value was unchanged, or if it had gone out of scope.
Ballot Options
VOTING CLOSED: Friday, 22 March 2019 @ 10:00 pm PDT
Yes 8 100
No 0 0
Abstain 0
Open Date Friday, 15 March 2019 @ 10:00 pm PDT
Close Date Friday, 22 March 2019 @ 10:00 pm PDT
Ballot Type Official, as defined by organization policies and procedures

Referenced Items

Name Type Date

sarif-v2.0-issue-168-codeFlow-initial-and-persistentState.docx

  • Folder: Contributions
  • Group: OASIS Static Analysis Results Interchange Format (SARIF) TC
  • State: Draft
  • -
  • 2 downloads
page=ballotrefitems&type=document
sarif-v2.0-issue-168-codeFlow-initial-and-persistentState.docx Document 2019-03-15

Voting Statistics

Number of votes cast (excluding abstentions) 8
Eligible members who have voted 8 of 9 88.889%
Eligible members who have not voted 1 of 9 11.111%

Voting Summary by Option

Options with highest number of votes are bold
Option # Votes % of Total
Yes 8 100%
No 0 0%
Abstain 0

Voting Details

Voter Name Company Vote * Time (UTC) Comments
* Anderson, Paul GrammaTech, Inc. Yes 2019-03-19 18:39:00
* Cartey, Luke Semmle Yes 2019-03-20 16:58:00
* Fanning, Michael Microsoft Yes 2019-03-22 16:31:00
* Golding, Laurence Microsoft Yes 2019-03-16 17:05:00
* Keaton, David Individual Yes 2019-03-23 01:26:00
* Kupsch, Jim SWAMP Yes 2019-03-19 15:51:00
* O'Neil, Yekaterina Micro Focus Yes 2019-03-19 22:51:00
* Sipma, Henny Kestrel Technology Yes 2019-03-21 21:24:00
* Meyer, Chris Microsoft --