Parasoft C/C++test

#!/bin/bash
# Parasoft C/C++test static analysis via CLI
set -e

CPPT_HOME="/opt/parasoft/cpptest"
CONFIG="config/parasoft_misra_asil_b.properties"
REPORT_DIR="reports/parasoft"

mkdir -p "${REPORT_DIR}"

"${CPPT_HOME}/cpptestcli" \
    -config "${CONFIG}" \
    -compiler GCC_9_aurix \
    -include include/ -include include/autosar/ \
    -define AURIX_TC387 \
    -input src/SpeedController.c src/FaultManager.c \
    -report "${REPORT_DIR}" \
    -report.format xml,html \
    -report.rules MISRA_C_2012 \
    -staticanalysis.timeout 300

# Parse and gate
python3 check_parasoft.py "${REPORT_DIR}/static_results.xml"

"""Parse Parasoft C/C++test results; enforce quality gate."""
import sys
import xml.etree.ElementTree as ET

def check_parasoft_results(xml_file: str) -> bool:
    tree = ET.parse(xml_file)
    root = tree.getroot()

    mandatory_violations = 0
    required_violations  = 0
    advisory_violations  = 0

    for finding in root.iter("CodingViolation"):
        sev = finding.get("severity", "advisory")
        if sev == "mandatory":
            mandatory_violations += 1
            rule = finding.get("rule", "")
            file = finding.get("file", "")
            line = finding.get("line", "")
            print(f"  MANDATORY: {rule} at {file}:{line}")
        elif sev == "required":
            required_violations += 1
        else:
            advisory_violations += 1

    print(f"Mandatory: {mandatory_violations}")
    print(f"Required:  {required_violations}")
    print(f"Advisory:  {advisory_violations}")

    # Gate: zero mandatory; required violations need deviation
    return mandatory_violations == 0

result = check_parasoft_results(sys.argv[1])
sys.exit(0 if result else 1)