Oninit® BLT — Worked Examples

Each row is one BLT invocation against a real Informix 4GL fixture. The columns show what was fed in and what the configuration demonstrates. The same application appears in several rows because BLT’s output depends on which inputs you give it — adding the compiled binary or removing the schema changes how confident BLT is in each finding.

Scenario	Inputs	Demonstrates
printers — source mode	printers.4gl · printers.per · printers.sql	Source-tree extraction. BLT produces a complete behavioural specification — database operations per function, screen fields bound to backing columns with validation hints, menu workflows, and the rest of the eight required surfaces — at high confidence end to end.
View — 4GL / Form / DDL / Spec
printers — binary mode	Printers.4ge · printers.sql	Binary-only inspection on a compiled Informix4GL ELF. With no source available, BLT recovers function names, control-flow structure, embedded SQL fragments, and the call graph directly from the executable.
View — Config / Spec
printers — cross-source corroboration	printers.4gl · Printers.4ge	Source plus binary together. When both inputs agree on a finding, BLT marks it as cross-source corroborated — two independent derivations of the same behaviour are stronger than one.
View — Cross-source lift
printers — STRICT on a stripped binary	Printers.4ge (stripped) · printers.sql	Mode policy in action. STRICT requires symbols and refuses a stripped binary outright; RECOVERY (the default) tolerates the same input and reports the reduced fidelity in the review log.
View — Mode policy
sp_validcache — SPL extraction	sp_validcache.sql	Stored-procedure extraction from a .sql file. BLT locates each CREATE PROCEDURE / CREATE FUNCTION block, captures the signature and body, and tolerates files that mix DDL and procedure code.
View — Stored procedure

Extraction modes

Mode	Behaviour
Strict	Requires symbols. Refuses to extract from a stripped binary.
Recovery (default)	Tolerates stripped binaries. Continues with reduced fidelity and reports the reduction in the review log.
Forensic	Same warn-and-continue policy as Recovery. Reserves the door for deeper analysis.