Wayfinder / Case study / CSI reports

CSI baseline CSI-IFX-2026-10-22 · 22 October 2026. Limited to the registered source set. Application execution and proposed tests were not run; source findings do not establish runtime behaviour.

Informix4GL Demo: impact graphs and relationship evidence

In this document

Dated baseline: 22 October 2026 · Evidence model

How to interpret the graphs

These graphs connect external notices, component declarations, documented application behaviour and proposed verification. They are assembled from the retained assessment. They do not represent an executed trace or an export from a live monitoring service.

Edge state Meaning
Documented The retained source directly describes the relationship. This does not imply a live observation.
Inferred The assessment correlates facts, such as a declared filename with a vendor range. The stated conditions still apply.
Unresolved Evidence needed to establish the relationship is missing. A dotted edge marks a question, not a confirmed dependency.
Proposed A planned decision or verification step. It is not a completed change or passed test.

The baseline preserves 22 relationships. The diagrams show the important paths; the register below retains the source mapping for every relationship.

Vulnerability candidate and report boundary

Source-derived diagram. Some relationships may be inferred and require review.

Preparing diagram…

View Mermaid diagram source
flowchart TD
  A["CVE-2017-9096"] -->|"Inferred version match"| B["Declared iText 2.1.7"]
  B -->|"Documented classpath entry"| C["Java launch"]
  B -.->|"Unresolved library use"| D["Report framework"]
  E["Mailing labels"] -->|"Documented report lifecycle"| D
  F["Accounts receivable"] -->|"Documented report lifecycle"| D
  G["Successful order commit"] -->|"Documented invocation"| H["Invoice generation"]
  H -->|"Documented report lifecycle"| D

The unresolved iText-to-framework edge prevents the diagram from establishing that any of the three report callers is affected by the advisory. The framework and its callers would still need a separate parser review to establish vulnerable PDF/XML parsing, input origin and controls. Order commit followed by invoice generation is application context, not proof of that parsing route. IFX-S-E0012 IFX-S-E0014 IFX-S-XXE

iText lifecycle decision and verification

Source-derived diagram. Some relationships may be inferred and require review.

Preparing diagram…

View Mermaid diagram source
flowchart TD
  A["Vendor: iText 2 unsupported"] -->|"Inferred family correlation"| B["Declared iText 2.1.7"]
  B -->|"Proposed identity and use review"| C["IFX-V-001 and IFX-V-002"]
  C -.->|"If proven unused"| D["Consider removal"]
  C -.->|"If required"| E["Select supported replacement"]
  D -->|"Proposed behaviour checks"| F["IFX-V-003 and IFX-V-004"]
  E -->|"Proposed behaviour checks"| F

The decision branches are proposed work, not baseline graph assertions that removal or migration is already warranted. Identity and use determine the change. Report destinations, transaction outcomes and invoice totals provide specific behaviour to preserve or deliberately change. IFX-S-ITEXT-EOL IFX-S-E0012 IFX-S-C13

Informix target and Java prerequisite

Source-derived diagram. Some relationships may be inferred and require review.

Preparing diagram…

View Mermaid diagram source
flowchart TD
  A["Declared Informix FC5 archive"] -->|"Proposed environment inventory"| B["IFX-V-001"]
  B -->|"Proposed target decision"| C["Exact server and platform target"]
  D["IBM Java packaging change"] -->|"Documented target constraint"| C
  C -.->|"Unresolved Java provision"| E["Required Java environment"]
  C -->|"Proposed verification"| F["IFX-V-005"]
  E -->|"Proposed verification"| F
  F -->|"Proposed regression scope"| G["Startup, JDBC, orders and invoices"]

The Java prerequisite is conditional on the selected server target. The current FC5 declaration is not evidence of a Java failure, and the alternate mutable database image is not bound to that fix pack. IFX-S-IBM-JRE IFX-S-C10 IFX-S-E0014

Baseline relationship register

Edge Relationship State Source mapping
IFX-E-001 iText 2 lifecycle notice → declared iText family Inferred IFX-S-ITEXT-EOL IFX-S-E0014
IFX-E-002 CVE-2017-9096 range → candidate declared version Inferred IFX-S-XXE IFX-S-E0014
IFX-E-003 Declared iText jar → launch classpath Documented IFX-S-E0014
IFX-E-004 iText → report framework implementation Unresolved IFX-S-E0012 IFX-S-E0014
IFX-E-005 D4_Report.print_labels() → report lifecycle Documented IFX-S-E0012
IFX-E-006 D4_Report.print_ar() → report lifecycle Documented IFX-S-E0012
IFX-E-007 D4_Orders.invoice() → report lifecycle Documented IFX-S-E0012
IFX-E-008 Successful order commit → invoice invocation Documented IFX-S-C13 IFX-S-E0012
IFX-E-009 Order creation → order and item inserts Documented IFX-S-C08 IFX-S-E0012
IFX-E-010 JDBC configuration → demonstration database access Documented IFX-S-C08 IFX-S-C10
IFX-E-011 Installer selection → Informix FC5 archive Documented IFX-S-E0014
IFX-E-012 Declared server route → possible database host Inferred IFX-S-C10
IFX-E-013 Launch configuration → Java launcher Documented IFX-S-E0014
IFX-E-014 IBM packaging notice → upgrade prerequisite Documented IFX-S-IBM-JRE
IFX-E-015 Selected upgrade target → current Java compatibility Unresolved IFX-S-C10 IFX-S-IBM-JRE
IFX-E-016 Mailing labels → proposed destination scenarios Documented proposal IFX-S-C13
IFX-E-017 Accounts receivable → proposed destination scenarios Documented proposal IFX-S-C13
IFX-E-018 Order creation → proposed success and failure scenarios Documented proposal IFX-S-C13
IFX-E-019 Invoice generation → proposed invocation and totals checks Documented proposal IFX-S-C13
IFX-E-020 Declared iText → need for identity and use evidence Inferred verification need IFX-S-E0014 IFX-S-E0012
IFX-E-021 CVE-2017-9096 → need for parser applicability review Inferred verification need IFX-S-XXE IFX-S-E0012
IFX-E-022 IBM xC5 fix → declared FC5 target rejection Inferred fix-level comparison IFX-S-IBM-20515 IFX-S-E0014

“Documented proposal” means that the retained source proposes the scenario. It does not change the verification task's not-run status. “Inferred verification need” records the assessment's reason for requesting evidence.

What would change the impact assessment

IFX-V-001 can turn filename-based correlations into artifact-specific comparisons. IFX-V-002 can resolve the missing iText use edge and the distinct parser-applicability question. IFX-V-003 and IFX-V-004 can replace proposed behaviour checks with observed results for a named build. IFX-V-005 can establish whether a selected server/Java/JDBC combination works with the application. None of these outcomes is assumed in the baseline. IFX-S-E0014 IFX-S-E0012 IFX-S-C13 IFX-S-IBM-JRE