App 加固后 Kotlin 协程取消、超时与异常传播怎样做语义回归

import json
import re
import sys
from pathlib import Path

REQUIRED_SCENARIOS = {
    'normal_complete',
    'parent_child_cancel',
    'timeout_cleanup',
    'launch_uncaught',
    'async_await_failure',
    'supervisor_isolation',
    'process_exit_restore',
}
SENSITIVE = {'token', 'userInput', 'privateData', 'stackDump'}

if len(sys.argv) != 2:
    raise SystemExit('usage: validate_coroutine_matrix.py results.json')
input_path = Path(sys.argv[1])
if not input_path.is_file():
    raise SystemExit('results file is missing')
data = json.loads(input_path.read_text(encoding='utf-8'))
results = data.get('results')
if not isinstance(results, list) or not results:
    raise SystemExit('results array is missing')
coverage = {}
contracts = {}
for index, item in enumerate(results):
    if not isinstance(item, dict):
        raise SystemExit(f'result {index} is not an object')
    leaked = SENSITIVE.intersection(item)
    if leaked:
        raise SystemExit(f'result {index} contains sensitive fields: {sorted(leaked)}')
    required = {'candidateSha256', 'device', 'scenario', 'contract', 'expected', 'actual', 'assertions'}
    if not required.issubset(item):
        raise SystemExit(f'result {index} is missing required fields')
    candidate = str(item['candidateSha256']).lower()
    if not re.fullmatch(r'[0-9a-f]{64}', candidate):
        raise SystemExit(f'result {index} has an invalid candidate digest')
    scenario = str(item['scenario'])
    if scenario not in REQUIRED_SCENARIOS:
        raise SystemExit(f'result {index} has an unknown scenario')
    contract = item['contract']
    if not isinstance(contract, dict):
        raise SystemExit(f'result {index} contract is not an object')
    contract_fields = {'id', 'dispatcher', 'jobStructure', 'clockPolicy'}
    if not contract_fields.issubset(contract):
        raise SystemExit(f'result {index} has an incomplete contract')
    contract_id = str(contract['id'])
    stable_contract = json.dumps(contract, ensure_ascii=False, sort_keys=True, separators=(',', ':'))
    if contract_id in contracts and contracts[contract_id] != stable_contract:
        raise SystemExit(f'contract {contract_id} changes between results')
    contracts[contract_id] = stable_contract
    assertions = item['assertions']
    if not isinstance(assertions, list) or not assertions or any(not str(value).strip() for value in assertions):
        raise SystemExit(f'result {index} has no substantive assertions')
    if item['actual'] != item['expected'] and not str(item.get('errorType', '')).strip():
        raise SystemExit(f'result {index} failed without an error type')
    coverage.setdefault(candidate, set()).add(scenario)
for candidate, scenarios in coverage.items():
    missing = sorted(REQUIRED_SCENARIOS - scenarios)
    if missing:
        raise SystemExit(f'candidate {candidate} lacks scenarios: {missing}')
print(json.dumps({'candidates': len(coverage), 'contracts': len(contracts), 'status': 'pass'}))