@portll/cobolwork 0.3.0 → 0.4.0

package/README.md

@@ -101,8 +101,11 @@ here can be checked.
 }
 ```
 
-`crossProgram` marks a path that left the file it started in. Findings carry no source text, so a
-report can be stored and passed on without carrying the code with it.
+`crossProgram` marks a path that left the file it started in. A value a CALL writes back through a
+parameter returns only to the call it came in through: in another caller's CALL the parameter is
+that caller's storage. A value the subprogram keeps in its own storage can reach any later caller.
+Findings carry no source text, so a report can be stored and passed on without carrying the code
+with it.
 
 `fingerprint` is what the finding is, rather than where it is printed today: the rule, the program
 and the paragraph or section it sits in (the job, step and DD for JCL), and the flagged statement's
@@ -113,7 +116,7 @@ that only their position tells apart share one, and `summary.identity.shared` co
 ### Findings and Claim Severity
 
 Severity says how urgent a finding is. `evidence` says what the tool actually established, which
-decides who acts on it. Every rule declares one of eight finding types:
+decides who acts on it. Every rule declares one of nine finding types:
 
 | `evidence` | What the finding claims | Who acts |
 |---|---|---|
@@ -123,6 +126,7 @@ decides who acts on it. Every rule declares one of eight finding types:
 | `advisory` | a pinned compiler or runtime matches a published advisory | whoever owns the build |
 | `exposure` | information about the estate is written into source | the owner |
 | `change` | a change moves an interface or adds a call target (`diff` only) | the reviewer of that change |
+| `execution` | a run of the program on a recorded input ended this way, and the run's verified journal is the record | the program's owner |
 | `coverage` | the analysis stopped following here | nobody's code; read more, or accept the limit |
 | `context` | describes the estate (an entry point, a product in use) | nobody; it asserts no defect |
 
@@ -160,8 +164,9 @@ declares its transaction open:
   ],
   "unknown": "whether it reproduces: a test on a system the estate owns, under its own authorisation, is the only confirmation",
   "fixAt": {
-    "program": "INQUIRY", "path": "INQUIRY.cbl", "line": 13, "item": "WS-STMT",
-    "test": "before the operation at INQUIRY.cbl:13, on every route to it, test WS-STMT against a list of the values allowed (...), and let only a value that passes reach it; a static statement with host variables needs no test"
+    "program": "INQUIRY", "path": "INQUIRY.cbl", "line": 11, "item": "WS-ACCT",
+    "builtInto": { "item": "WS-STMT", "path": "INQUIRY.cbl", "line": 13 },
+    "test": "before the STRING at INQUIRY.cbl:11 that builds WS-STMT, on every route to it, test WS-ACCT against a list of the values allowed (...), or WS-ACCT IS NUMERIC where it is a number, and let only a value that passes reach it; a static statement with host variables needs no test"
   }
 }
 ```
@@ -192,6 +197,11 @@ tests. A finding inside a paragraph they cover carries `executed`, the paragraph
 runs entered it, and `summary.byExecution` counts the findings in paragraphs entered and never
 entered ([docs/spec/evidence.md](docs/spec/evidence.md) §13.5).
 
+`COBOLWORK_ABENDS` names fuzz runs ironwork's harness wrote. Each abend an input caused becomes a
+finding at the line it happened, with the input and the run's journal, once that journal verifies:
+`input-causes-abend-s0c7`, `-s0c4`, `-subscript-range`, or `input-causes-abend` for any other code
+([docs/spec/evidence.md](docs/spec/evidence.md) §13.6).
+
 ### What each finding lets someone do, and the fix
 
 A defect finding carries two more facts, the same for every finding of its rule: what someone can do
@@ -349,10 +359,10 @@ and to a COBIT 2019 practice by identifier alone:
 
 | File | Instrument | Rules mapped |
 |---|---|---|
-| `rules/compliance-dora.json` | Regulation (EU) 2022/2554 (DORA) | 203 |
-| `rules/compliance-ffiec.json` | FFIEC IT Examination Handbook | 201, and 2 recorded as unmapped |
-| `rules/compliance-nist80053.json` | NIST SP 800-53 Rev. 5.2.0 | 201, and 2 recorded as unmapped |
-| `rules/compliance-cobit2019.json` | COBIT 2019 (ISACA), identifiers only | 201, and 2 recorded as unmapped |
+| `rules/compliance-dora.json` | Regulation (EU) 2022/2554 (DORA) | 207 |
+| `rules/compliance-ffiec.json` | FFIEC IT Examination Handbook | 205, and 2 recorded as unmapped |
+| `rules/compliance-nist80053.json` | NIST SP 800-53 Rev. 5.2.0 | 205, and 2 recorded as unmapped |
+| `rules/compliance-cobit2019.json` | COBIT 2019 (ISACA), identifiers only | 205, and 2 recorded as unmapped |
 
 A COBIT 2019 row names the objective or practice and gives this project's own rationale; no ISACA
 text is reproduced, so reading what a practice says needs a copy of the framework. The practice is

package/lib/cics-commands.mjs

@@ -11,72 +11,338 @@
 // defaults to, named from another option's argument (defaults).
 export const CICS_COMMANDS = {
   "ABEND": {"options":{"ABCODE":"sends"}},
-  "ADDRESS": {"options":{"ACEE":"receives","COMMAREA":"receives","CWA":"receives","EIB":"receives","TCTUA":"receives","TWA":"receives"}},
+  "ADDRESS": {
+    "options": {
+      "ACEE": "receives", "COMMAREA": "receives", "CWA": "receives", "EIB": "receives",
+      "TCTUA": "receives", "TWA": "receives",
+    },
+  },
   "ADDRESS SET": {"identify":["SET"],"options":{"SET":"receives","USING":"sends"}},
   "ASKTIME": {"options":{"ABSTIME":"receives"}},
-  "ASSIGN": {"options":{"ABCODE":"receives","MAPLINE":"receives","ABDUMP":"receives","MAPWIDTH":"receives","ABOFFSET":"receives","MICROVERSION":"receives","ABPROGRAM":"receives","MINORVERSION":"receives","ACTIVITY":"receives","MSRCONTROL":"receives","ACTIVITYID":"receives","NATLANGINUSE":"receives","ALTSCRNHT":"receives","NETNAME":"receives","ALTSCRNWD":"receives","NEXTTRANSID":"receives","APLKYBD":"receives","NUMTAB":"receives","APLTEXT":"receives","OPCLASS":"receives","APPLICATION":"receives","OPERATION":"receives","APPLID":"receives","OPERKEYS":"receives","ASRAINTRPT":"receives","OPID":"receives","ASRAKEY":"receives","OPSECURITY":"receives","ASRAPSW":"receives","ORGABCODE":"receives","ASRAPSW16":"receives","OUTLINE":"receives","ASRAREGS":"receives","PAGENUM":"receives","ASRAREGS64":"receives","PARTNPAGE":"receives","ASRASPC":"receives","PARTNS":"receives","ASRASTG":"receives","PARTNSET":"receives","BRIDGE":"receives","PLATFORM":"receives","BTRANS":"receives","PRINSYSID":"receives","CHANNEL":"receives","PROCESS":"receives","CMDSEC":"receives","PROCESSTYPE":"receives","COLOR":"receives","PROGRAM":"receives","CWALENG":"receives","PS":"receives","DEFSCRNHT":"receives","QNAME":"receives","DEFSCRNWD":"receives","RESSEC":"receives","DELIMITER":"receives","RESTART":"receives","DESTCOUNT":"receives","RETURNPROG":"receives","DESTID":"receives","SCRNHT":"receives","DESTIDLENG":"receives","SCRNWD":"receives","DSSCS":"receives","SIGDATA":"receives","DS3270":"receives","SOSI":"receives","ERRORMSG":"receives","STARTCODE":"receives","ERRORMSGLEN":"receives","STATIONID":"receives","EWASUPP":"receives","SYSID":"receives","EXTDS":"receives","TASKPRIORITY":"receives","FACILITY":"receives","TCTUALENG":"receives","FCI":"receives","TELLERID":"receives","GCHARS":"receives","TERMCODE":"receives","GCODES":"receives","TERMPRIORITY":"receives","GMMI":"receives","TEXTKYBD":"receives","HILIGHT":"receives","TEXTPRINT":"receives","INITPARM":"receives","TRANPRIORITY":"receives","INITPARMLEN":"receives","TWALENG":"receives","INPARTN":"receives","UNATTEND":"receives","INPUTMSGLEN":"receives","USERID":"receives","INVOKINGPROG":"receives","USERNAME":"receives","KATAKANA":"receives","USERPRIORITY":"receives","LANGINUSE":"receives","VALIDATION":"receives","LDCMNEM":"receives","LDCNUM":"receives","LINKLEVEL":"receives","MAJORVERSION":"receives","MAPCOLUMN":"receives","MAPHEIGHT":"receives"}},
+  "ASSIGN": {
+    "options": {
+      "ABCODE": "receives", "MAPLINE": "receives", "ABDUMP": "receives", "MAPWIDTH": "receives",
+      "ABOFFSET": "receives", "MICROVERSION": "receives", "ABPROGRAM": "receives",
+      "MINORVERSION": "receives", "ACTIVITY": "receives", "MSRCONTROL": "receives",
+      "ACTIVITYID": "receives", "NATLANGINUSE": "receives", "ALTSCRNHT": "receives",
+      "NETNAME": "receives", "ALTSCRNWD": "receives", "NEXTTRANSID": "receives", "APLKYBD": "receives",
+      "NUMTAB": "receives", "APLTEXT": "receives", "OPCLASS": "receives", "APPLICATION": "receives",
+      "OPERATION": "receives", "APPLID": "receives", "OPERKEYS": "receives", "ASRAINTRPT": "receives",
+      "OPID": "receives", "ASRAKEY": "receives", "OPSECURITY": "receives", "ASRAPSW": "receives",
+      "ORGABCODE": "receives", "ASRAPSW16": "receives", "OUTLINE": "receives", "ASRAREGS": "receives",
+      "PAGENUM": "receives", "ASRAREGS64": "receives", "PARTNPAGE": "receives", "ASRASPC": "receives",
+      "PARTNS": "receives", "ASRASTG": "receives", "PARTNSET": "receives", "BRIDGE": "receives",
+      "PLATFORM": "receives", "BTRANS": "receives", "PRINSYSID": "receives", "CHANNEL": "receives",
+      "PROCESS": "receives", "CMDSEC": "receives", "PROCESSTYPE": "receives", "COLOR": "receives",
+      "PROGRAM": "receives", "CWALENG": "receives", "PS": "receives", "DEFSCRNHT": "receives",
+      "QNAME": "receives", "DEFSCRNWD": "receives", "RESSEC": "receives", "DELIMITER": "receives",
+      "RESTART": "receives", "DESTCOUNT": "receives", "RETURNPROG": "receives", "DESTID": "receives",
+      "SCRNHT": "receives", "DESTIDLENG": "receives", "SCRNWD": "receives", "DSSCS": "receives",
+      "SIGDATA": "receives", "DS3270": "receives", "SOSI": "receives", "ERRORMSG": "receives",
+      "STARTCODE": "receives", "ERRORMSGLEN": "receives", "STATIONID": "receives",
+      "EWASUPP": "receives", "SYSID": "receives", "EXTDS": "receives", "TASKPRIORITY": "receives",
+      "FACILITY": "receives", "TCTUALENG": "receives", "FCI": "receives", "TELLERID": "receives",
+      "GCHARS": "receives", "TERMCODE": "receives", "GCODES": "receives", "TERMPRIORITY": "receives",
+      "GMMI": "receives", "TEXTKYBD": "receives", "HILIGHT": "receives", "TEXTPRINT": "receives",
+      "INITPARM": "receives", "TRANPRIORITY": "receives", "INITPARMLEN": "receives",
+      "TWALENG": "receives", "INPARTN": "receives", "UNATTEND": "receives", "INPUTMSGLEN": "receives",
+      "USERID": "receives", "INVOKINGPROG": "receives", "USERNAME": "receives", "KATAKANA": "receives",
+      "USERPRIORITY": "receives", "LANGINUSE": "receives", "VALIDATION": "receives",
+      "LDCMNEM": "receives", "LDCNUM": "receives", "LINKLEVEL": "receives", "MAJORVERSION": "receives",
+      "MAPCOLUMN": "receives", "MAPHEIGHT": "receives",
+    },
+  },
   "BIF DEEDIT": {"identify":["DEEDIT"],"options":{"FIELD":"both","LENGTH":"sends"}},
   "CANCEL": {"options":{"REQID":"sends","SYSID":"sends","TRANSID":"sends"}},
-  "DEFINE COUNTER": {"identify":["COUNTER","DCOUNTER"],"options":{"COUNTER":"sends","POOL":"sends","VALUE":"sends","MINIMUM":"sends","MAXIMUM":"sends"}},
-  "DELAY": {"options":{"INTERVAL":"sends","TIME":"sends","REQID":"sends","HOURS":"sends","MINUTES":"sends","SECONDS":"sends","MILLISECS":"sends"}},
-  "DELETE": {"options":{"FILE":"sends","TOKEN":"sends","RIDFLD":"sends","KEYLENGTH":"sends","NUMREC":"receives","SYSID":"sends"}},
+  "DEFINE COUNTER": {
+    "identify": ["COUNTER","DCOUNTER"],
+    "options": {
+      "COUNTER": "sends", "POOL": "sends", "VALUE": "sends", "MINIMUM": "sends", "MAXIMUM": "sends",
+    },
+  },
+  "DELAY": {
+    "options": {
+      "INTERVAL": "sends", "TIME": "sends", "REQID": "sends", "HOURS": "sends", "MINUTES": "sends",
+      "SECONDS": "sends", "MILLISECS": "sends",
+    },
+  },
+  "DELETE": {
+    "options": {
+      "FILE": "sends", "TOKEN": "sends", "RIDFLD": "sends", "KEYLENGTH": "sends", "NUMREC": "receives",
+      "SYSID": "sends",
+    },
+  },
   "DELETE CONTAINER": {"identify":["CONTAINER"],"options":{"CONTAINER":"sends","CHANNEL":"sends"}},
-  "DELETE COUNTER": {"identify":["COUNTER","DCOUNTER"],"options":{"COUNTER":"sends","POOL":"sends"}},
+  "DELETE COUNTER": {
+    "identify": ["COUNTER","DCOUNTER"],
+    "options": {
+      "COUNTER": "sends", "POOL": "sends",
+    },
+  },
   "DELETEQ TD": {"identify":["TD"],"options":{"QUEUE":"sends","SYSID":"sends"}},
-  "DELETEQ TS": {"identify":["TS"],"default":true,"options":{"QUEUE":"sends","QNAME":"sends","SYSID":"sends"}},
+  "DELETEQ TS": {
+    "identify": ["TS"],
+    "default": true,
+    "options": {
+      "QUEUE": "sends", "QNAME": "sends", "SYSID": "sends",
+    },
+  },
   "DEQ": {"options":{"RESOURCE":"sends","LENGTH":"sends","MAXLIFETIME":"sends"}},
-  "DUMP TRANSACTION": {"identify":["TRANSACTION"],"options":{"DUMPCODE":"sends","FROM":"sends","LENGTH":"sends","FLENGTH":"sends","SEGMENTLIST":"sends","LENGTHLIST":"sends","NUMSEGMENTS":"sends","DUMPID":"receives"}},
+  "DUMP TRANSACTION": {
+    "identify": ["TRANSACTION"],
+    "options": {
+      "DUMPCODE": "sends", "FROM": "sends", "LENGTH": "sends", "FLENGTH": "sends",
+      "SEGMENTLIST": "sends", "LENGTHLIST": "sends", "NUMSEGMENTS": "sends", "DUMPID": "receives",
+    },
+  },
   "ENDBR": {"options":{"FILE":"sends","REQID":"sends","SYSID":"sends"}},
   "ENQ": {"options":{"RESOURCE":"sends","LENGTH":"sends","MAXLIFETIME":"sends"}},
-  "ENTER TRACENUM": {"identify":["TRACENUM"],"options":{"TRACENUM":"sends","FROM":"sends","RESOURCE":"sends","FROMLENGTH":"sends"}},
-  "FORMATTIME": {"options":{"DATESTRING":"receives","ABSTIME":"sends","DATE":"receives","FULLDATE":"receives","DATEFORM":"receives","DATESEP":"sends","DAYCOUNT":"receives","STRINGZONE":"sends","DAYOFMONTH":"receives","DAYOFWEEK":"receives","DDMMYY":"receives","DDMMYYYY":"receives","MILLISECONDS":"receives","MMDDYY":"receives","MMDDYYYY":"receives","MONTHOFYEAR":"receives","STRINGFORMAT":"sends","TIME":"receives","YEAR":"receives","YYDDD":"receives","TIMESEP":"sends","YYDDMM":"receives","YYMMDD":"receives","YYYYDDD":"receives","YYYYDDMM":"receives","YYYYMMDD":"receives"}},
+  "ENTER TRACENUM": {
+    "identify": ["TRACENUM"],
+    "options": {
+      "TRACENUM": "sends", "FROM": "sends", "RESOURCE": "sends", "FROMLENGTH": "sends",
+    },
+  },
+  "FORMATTIME": {
+    "options": {
+      "DATESTRING": "receives", "ABSTIME": "sends", "DATE": "receives", "FULLDATE": "receives",
+      "DATEFORM": "receives", "DATESEP": "sends", "DAYCOUNT": "receives", "STRINGZONE": "sends",
+      "DAYOFMONTH": "receives", "DAYOFWEEK": "receives", "DDMMYY": "receives", "DDMMYYYY": "receives",
+      "MILLISECONDS": "receives", "MMDDYY": "receives", "MMDDYYYY": "receives",
+      "MONTHOFYEAR": "receives", "STRINGFORMAT": "sends", "TIME": "receives", "YEAR": "receives",
+      "YYDDD": "receives", "TIMESEP": "sends", "YYDDMM": "receives", "YYMMDD": "receives",
+      "YYYYDDD": "receives", "YYYYDDMM": "receives", "YYYYMMDD": "receives",
+    },
+  },
   "FREEMAIN": {"options":{"DATA":"sends","DATAPOINTER":"sends"}},
-  "GET CONTAINER": {"identify":["CONTAINER"],"options":{"CONTAINER":"sends","CHANNEL":"sends","INTO":"receives","FLENGTH":"both","SET":"receives","BYTEOFFSET":"sends","INTOCCSID":"sends","INTOCODEPAGE":"sends","CONVERTST":"sends","CCSID":"receives"}},
-  "GET COUNTER": {"identify":["COUNTER","DCOUNTER"],"options":{"COUNTER":"sends","VALUE":"receives","POOL":"sends","INCREMENT":"sends","COMPAREMIN":"sends","COMPAREMAX":"sends"}},
+  "GET CONTAINER": {
+    "identify": ["CONTAINER"],
+    "options": {
+      "CONTAINER": "sends", "CHANNEL": "sends", "INTO": "receives", "FLENGTH": "both",
+      "SET": "receives", "BYTEOFFSET": "sends", "INTOCCSID": "sends", "INTOCODEPAGE": "sends",
+      "CONVERTST": "sends", "CCSID": "receives",
+    },
+  },
+  "GET COUNTER": {
+    "identify": ["COUNTER","DCOUNTER"],
+    "options": {
+      "COUNTER": "sends", "VALUE": "receives", "POOL": "sends", "INCREMENT": "sends",
+      "COMPAREMIN": "sends", "COMPAREMAX": "sends",
+    },
+  },
   "GETMAIN": {"options":{"SET":"receives","FLENGTH":"sends","LENGTH":"sends","INITIMG":"sends"}},
   "HANDLE ABEND": {"identify":["ABEND"],"options":{"PROGRAM":"sends","LABEL":"label"}},
   "HANDLE AID": {"identify":["AID"],"anyOption":"label","options":{}},
   "HANDLE CONDITION": {"identify":["CONDITION"],"anyOption":"label","options":{}},
   "IGNORE CONDITION": {"identify":["CONDITION"],"anyOption":"none","options":{}},
-  "LINK": {"options":{"PROGRAM":"sends","COMMAREA":"both","CHANNEL":"sends","LENGTH":"sends","DATALENGTH":"sends","INPUTMSG":"sends","INPUTMSGLEN":"sends","SYSID":"sends","TRANSID":"sends"}},
-  "LOAD": {"options":{"PROGRAM":"sends","SET":"receives","LENGTH":"receives","FLENGTH":"receives","ENTRY":"receives"}},
+  "LINK": {
+    "options": {
+      "PROGRAM": "sends", "COMMAREA": "both", "CHANNEL": "sends", "LENGTH": "sends",
+      "DATALENGTH": "sends", "INPUTMSG": "sends", "INPUTMSGLEN": "sends", "SYSID": "sends",
+      "TRANSID": "sends",
+    },
+  },
+  "LOAD": {
+    "options": {
+      "PROGRAM": "sends", "SET": "receives", "LENGTH": "receives", "FLENGTH": "receives",
+      "ENTRY": "receives",
+    },
+  },
   "POP HANDLE": {"identify":["HANDLE"],"options":{}},
   "PURGE MESSAGE": {"identify":["MESSAGE"],"options":{}},
   "PUSH HANDLE": {"identify":["HANDLE"],"options":{}},
-  "PUT CONTAINER": {"identify":["CONTAINER"],"options":{"CONTAINER":"sends","FROM":"sends","CHANNEL":"sends","FLENGTH":"sends","DATATYPE":"sends","FROMCCSID":"sends","FROMCODEPAGE":"sends"}},
-  "QUERY COUNTER": {"identify":["COUNTER","DCOUNTER"],"options":{"COUNTER":"sends","POOL":"sends","VALUE":"receives","MINIMUM":"receives","MAXIMUM":"receives"}},
-  "READ": {"options":{"FILE":"sends","INTO":"receives","SET":"receives","TOKEN":"receives","RIDFLD":"both","KEYLENGTH":"sends","SYSID":"sends","LENGTH":"both"}},
-  "READNEXT": {"options":{"FILE":"sends","INTO":"receives","SET":"receives","TOKEN":"receives","RIDFLD":"both","KEYLENGTH":"sends","REQID":"sends","SYSID":"sends","LENGTH":"both"}},
-  "READPREV": {"options":{"FILE":"sends","INTO":"receives","SET":"receives","TOKEN":"receives","RIDFLD":"both","KEYLENGTH":"sends","REQID":"sends","LENGTH":"both","SYSID":"sends"}},
-  "READQ TD": {"identify":["TD"],"options":{"QUEUE":"sends","INTO":"receives","SET":"receives","LENGTH":"both","SYSID":"sends"}},
-  "READQ TS": {"identify":["TS"],"default":true,"options":{"QUEUE":"sends","QNAME":"sends","INTO":"receives","SET":"receives","LENGTH":"both","NUMITEMS":"receives","ITEM":"sends","SYSID":"sends"}},
-  "RECEIVE": {"options":{"INTO":"receives","SET":"receives","LENGTH":"both","FLENGTH":"both","MAXLENGTH":"sends","MAXFLENGTH":"sends"}},
-  "RECEIVE MAP": {"identify":["MAP"],"options":{"MAP":"sends","MAPSET":"sends","INTO":"receives","SET":"receives","FROM":"sends","LENGTH":"sends","INPARTN":"sends"},"defaults":{"INTO":{"name":"MAP","suffix":"I","unless":["SET"]}}},
+  "PUT CONTAINER": {
+    "identify": ["CONTAINER"],
+    "options": {
+      "CONTAINER": "sends", "FROM": "sends", "CHANNEL": "sends", "FLENGTH": "sends",
+      "DATATYPE": "sends", "FROMCCSID": "sends", "FROMCODEPAGE": "sends",
+    },
+  },
+  "QUERY COUNTER": {
+    "identify": ["COUNTER","DCOUNTER"],
+    "options": {
+      "COUNTER": "sends", "POOL": "sends", "VALUE": "receives", "MINIMUM": "receives",
+      "MAXIMUM": "receives",
+    },
+  },
+  "READ": {
+    "options": {
+      "FILE": "sends", "INTO": "receives", "SET": "receives", "TOKEN": "receives", "RIDFLD": "both",
+      "KEYLENGTH": "sends", "SYSID": "sends", "LENGTH": "both",
+    },
+  },
+  "READNEXT": {
+    "options": {
+      "FILE": "sends", "INTO": "receives", "SET": "receives", "TOKEN": "receives", "RIDFLD": "both",
+      "KEYLENGTH": "sends", "REQID": "sends", "SYSID": "sends", "LENGTH": "both",
+    },
+  },
+  "READPREV": {
+    "options": {
+      "FILE": "sends", "INTO": "receives", "SET": "receives", "TOKEN": "receives", "RIDFLD": "both",
+      "KEYLENGTH": "sends", "REQID": "sends", "LENGTH": "both", "SYSID": "sends",
+    },
+  },
+  "READQ TD": {
+    "identify": ["TD"],
+    "options": {
+      "QUEUE": "sends", "INTO": "receives", "SET": "receives", "LENGTH": "both", "SYSID": "sends",
+    },
+  },
+  "READQ TS": {
+    "identify": ["TS"],
+    "default": true,
+    "options": {
+      "QUEUE": "sends", "QNAME": "sends", "INTO": "receives", "SET": "receives", "LENGTH": "both",
+      "NUMITEMS": "receives", "ITEM": "sends", "SYSID": "sends",
+    },
+  },
+  "RECEIVE": {
+    "options": {
+      "INTO": "receives", "SET": "receives", "LENGTH": "both", "FLENGTH": "both", "MAXLENGTH": "sends",
+      "MAXFLENGTH": "sends",
+    },
+  },
+  "RECEIVE MAP": {
+    "identify": ["MAP"],
+    "options": {
+      "MAP": "sends", "MAPSET": "sends", "INTO": "receives", "SET": "receives", "FROM": "sends",
+      "LENGTH": "sends", "INPARTN": "sends",
+    },
+    "defaults": {"INTO":{"name":"MAP","suffix":"I","unless":["SET"]}},
+  },
   "RELEASE": {"options":{"PROGRAM":"sends"}},
-  "RESETBR": {"options":{"FILE":"sends","RIDFLD":"sends","KEYLENGTH":"sends","REQID":"sends","SYSID":"sends"}},
-  "RETRIEVE": {"options":{"INTO":"receives","SET":"receives","LENGTH":"both","RTRANSID":"receives","RTERMID":"receives","QUEUE":"receives"}},
-  "RETURN": {"options":{"TRANSID":"sends","COMMAREA":"sends","LENGTH":"sends","CHANNEL":"sends","INPUTMSG":"sends","INPUTMSGLEN":"sends"}},
-  "REWIND COUNTER": {"identify":["COUNTER","DCOUNTER"],"options":{"COUNTER":"sends","POOL":"sends","INCREMENT":"sends"}},
-  "REWRITE": {"options":{"FILE":"sends","FROM":"sends","TOKEN":"sends","SYSID":"sends","LENGTH":"sends"}},
+  "RESETBR": {
+    "options": {
+      "FILE": "sends", "RIDFLD": "sends", "KEYLENGTH": "sends", "REQID": "sends", "SYSID": "sends",
+    },
+  },
+  "RETRIEVE": {
+    "options": {
+      "INTO": "receives", "SET": "receives", "LENGTH": "both", "RTRANSID": "receives",
+      "RTERMID": "receives", "QUEUE": "receives",
+    },
+  },
+  "RETURN": {
+    "options": {
+      "TRANSID": "sends", "COMMAREA": "sends", "LENGTH": "sends", "CHANNEL": "sends",
+      "INPUTMSG": "sends", "INPUTMSGLEN": "sends",
+    },
+  },
+  "REWIND COUNTER": {
+    "identify": ["COUNTER","DCOUNTER"],
+    "options": {
+      "COUNTER": "sends", "POOL": "sends", "INCREMENT": "sends",
+    },
+  },
+  "REWRITE": {
+    "options": {
+      "FILE": "sends", "FROM": "sends", "TOKEN": "sends", "SYSID": "sends", "LENGTH": "sends",
+    },
+  },
   "SEND": {"options":{"FROM":"sends","LENGTH":"sends","FLENGTH":"sends"}},
-  "SEND CONTROL": {"identify":["CONTROL"],"options":{"CURSOR":"sends","MSR":"sends","OUTPARTN":"sends","ACTPARTN":"sends","LDC":"sends","SET":"receives","REQID":"sends"}},
-  "SEND MAP": {"identify":["MAP"],"options":{"MAP":"sends","MAPSET":"sends","FROM":"sends","LENGTH":"sends","MSR":"sends","FMHPARM":"sends","OUTPARTN":"sends","ACTPARTN":"sends","LDC":"sends","SET":"receives","REQID":"sends","CURSOR":"sends"},"defaults":{"FROM":{"name":"MAP","suffix":"O","unless":["MAPONLY"]}}},
-  "SEND PAGE": {"identify":["PAGE"],"options":{"TRANSID":"sends","TRAILER":"sends","SET":"receives","FMHPARM":"sends"}},
-  "SEND TEXT": {"identify":["TEXT"],"options":{"FROM":"sends","LENGTH":"sends","CURSOR":"sends","FMHPARM":"sends","OUTPARTN":"sends","ACTPARTN":"sends","MSR":"sends","LDC":"sends","SET":"receives","REQID":"sends","HEADER":"sends","TRAILER":"sends","JUSTIFY":"sends"}},
+  "SEND CONTROL": {
+    "identify": ["CONTROL"],
+    "options": {
+      "CURSOR": "sends", "MSR": "sends", "OUTPARTN": "sends", "ACTPARTN": "sends", "LDC": "sends",
+      "SET": "receives", "REQID": "sends",
+    },
+  },
+  "SEND MAP": {
+    "identify": ["MAP"],
+    "options": {
+      "MAP": "sends", "MAPSET": "sends", "FROM": "sends", "LENGTH": "sends", "MSR": "sends",
+      "FMHPARM": "sends", "OUTPARTN": "sends", "ACTPARTN": "sends", "LDC": "sends", "SET": "receives",
+      "REQID": "sends", "CURSOR": "sends",
+    },
+    "defaults": {"FROM":{"name":"MAP","suffix":"O","unless":["MAPONLY"]}},
+  },
+  "SEND PAGE": {
+    "identify": ["PAGE"],
+    "options": {
+      "TRANSID": "sends", "TRAILER": "sends", "SET": "receives", "FMHPARM": "sends",
+    },
+  },
+  "SEND TEXT": {
+    "identify": ["TEXT"],
+    "options": {
+      "FROM": "sends", "LENGTH": "sends", "CURSOR": "sends", "FMHPARM": "sends", "OUTPARTN": "sends",
+      "ACTPARTN": "sends", "MSR": "sends", "LDC": "sends", "SET": "receives", "REQID": "sends",
+      "HEADER": "sends", "TRAILER": "sends", "JUSTIFY": "sends",
+    },
+  },
   "SIGNOFF": {"options":{}},
-  "SIGNON": {"options":{"USERID":"sends","ESMREASON":"receives","ESMRESP":"receives","GROUPID":"sends","LANGUAGECODE":"sends","NATLANG":"sends","LANGINUSE":"receives","NATLANGINUSE":"receives","PASSWORD":"sends","NEWPASSWORD":"sends","PHRASE":"sends","PHRASELEN":"sends","NEWPHRASE":"sends","NEWPHRASELEN":"sends","OIDCARD":"sends"}},
-  "START": {"options":{"TRANSID":"sends","INTERVAL":"sends","TIME":"sends","REQID":"sends","HOURS":"sends","MINUTES":"sends","SECONDS":"sends","FROM":"sends","LENGTH":"sends","TERMID":"sends","USERID":"sends","SYSID":"sends","RTRANSID":"sends","RTERMID":"sends","QUEUE":"sends"}},
-  "STARTBR": {"options":{"FILE":"sends","RIDFLD":"sends","KEYLENGTH":"sends","REQID":"sends","SYSID":"sends"}},
+  "SIGNON": {
+    "options": {
+      "USERID": "sends", "ESMREASON": "receives", "ESMRESP": "receives", "GROUPID": "sends",
+      "LANGUAGECODE": "sends", "NATLANG": "sends", "LANGINUSE": "receives", "NATLANGINUSE": "receives",
+      "PASSWORD": "sends", "NEWPASSWORD": "sends", "PHRASE": "sends", "PHRASELEN": "sends",
+      "NEWPHRASE": "sends", "NEWPHRASELEN": "sends", "OIDCARD": "sends",
+    },
+  },
+  "START": {
+    "options": {
+      "TRANSID": "sends", "INTERVAL": "sends", "TIME": "sends", "REQID": "sends", "HOURS": "sends",
+      "MINUTES": "sends", "SECONDS": "sends", "FROM": "sends", "LENGTH": "sends", "TERMID": "sends",
+      "USERID": "sends", "SYSID": "sends", "RTRANSID": "sends", "RTERMID": "sends", "QUEUE": "sends",
+    },
+  },
+  "STARTBR": {
+    "options": {
+      "FILE": "sends", "RIDFLD": "sends", "KEYLENGTH": "sends", "REQID": "sends", "SYSID": "sends",
+    },
+  },
   "SYNCPOINT": {"options":{}},
   "SYNCPOINT ROLLBACK": {"identify":["ROLLBACK"],"options":{}},
   "UNLOCK": {"options":{"FILE":"sends","TOKEN":"sends","SYSID":"sends"}},
-  "UPDATE COUNTER": {"identify":["COUNTER","DCOUNTER"],"options":{"COUNTER":"sends","VALUE":"sends","POOL":"sends","COMPAREMIN":"sends","COMPAREMAX":"sends"}},
-  "WRITE": {"options":{"FILE":"sends","FROM":"sends","RIDFLD":"both","KEYLENGTH":"sends","SYSID":"sends","LENGTH":"sends"}},
-  "WRITE JOURNALNAME": {"identify":["JOURNALNAME"],"options":{"JOURNALNAME":"sends","JTYPEID":"sends","FROM":"sends","FLENGTH":"sends","REQID":"receives","PREFIX":"sends","PFXLENG":"sends"}},
-  "WRITE OPERATOR": {"identify":["OPERATOR"],"options":{"TEXT":"sends","TEXTLENGTH":"sends","ROUTECODES":"sends","NUMROUTES":"sends","ACTION":"sends","REPLY":"receives","MAXLENGTH":"sends","REPLYLENGTH":"receives","TIMEOUT":"sends"}},
-  "WRITEQ TD": {"identify":["TD"],"options":{"QUEUE":"sends","FROM":"sends","LENGTH":"sends","SYSID":"sends"}},
-  "WRITEQ TS": {"identify":["TS"],"default":true,"options":{"QUEUE":"sends","QNAME":"sends","FROM":"sends","LENGTH":"sends","NUMITEMS":"receives","ITEM":"both","SYSID":"sends"}},
-  "XCTL": {"options":{"PROGRAM":"sends","COMMAREA":"sends","CHANNEL":"sends","LENGTH":"sends","INPUTMSG":"sends","INPUTMSGLEN":"sends"}},
+  "UPDATE COUNTER": {
+    "identify": ["COUNTER","DCOUNTER"],
+    "options": {
+      "COUNTER": "sends", "VALUE": "sends", "POOL": "sends", "COMPAREMIN": "sends",
+      "COMPAREMAX": "sends",
+    },
+  },
+  "WRITE": {
+    "options": {
+      "FILE": "sends", "FROM": "sends", "RIDFLD": "both", "KEYLENGTH": "sends", "SYSID": "sends",
+      "LENGTH": "sends",
+    },
+  },
+  "WRITE JOURNALNAME": {
+    "identify": ["JOURNALNAME"],
+    "options": {
+      "JOURNALNAME": "sends", "JTYPEID": "sends", "FROM": "sends", "FLENGTH": "sends",
+      "REQID": "receives", "PREFIX": "sends", "PFXLENG": "sends",
+    },
+  },
+  "WRITE OPERATOR": {
+    "identify": ["OPERATOR"],
+    "options": {
+      "TEXT": "sends", "TEXTLENGTH": "sends", "ROUTECODES": "sends", "NUMROUTES": "sends",
+      "ACTION": "sends", "REPLY": "receives", "MAXLENGTH": "sends", "REPLYLENGTH": "receives",
+      "TIMEOUT": "sends",
+    },
+  },
+  "WRITEQ TD": {
+    "identify": ["TD"],
+    "options": {
+      "QUEUE": "sends", "FROM": "sends", "LENGTH": "sends", "SYSID": "sends",
+    },
+  },
+  "WRITEQ TS": {
+    "identify": ["TS"],
+    "default": true,
+    "options": {
+      "QUEUE": "sends", "QNAME": "sends", "FROM": "sends", "LENGTH": "sends", "NUMITEMS": "receives",
+      "ITEM": "both", "SYSID": "sends",
+    },
+  },
+  "XCTL": {
+    "options": {
+      "PROGRAM": "sends", "COMMAREA": "sends", "CHANNEL": "sends", "LENGTH": "sends",
+      "INPUTMSG": "sends", "INPUTMSGLEN": "sends",
+    },
+  },
 };
 
 // Options any command may carry.

package/lib/consequence.mjs

@@ -118,6 +118,12 @@ const RULE_CLASSES = {
   'zowe-config-cleartext': [],
   'zowe-mcp-data-marking-off': [],
   'zowe-mcp-unpinned': [],
+  // An abend stops the run; an overrun or a protection exception is a write that landed, or would
+  // have landed, where the input chose.
+  'input-causes-abend-s0c7': [],
+  'input-causes-abend': [],
+  'input-causes-abend-s0c4': [MUTATES],
+  'input-causes-abend-subscript-range': [MUTATES],
 };
 
 // Coverage and context assert no defect, so they carry no consequence.