Static shape analysis for MATLAB. Catch dimension errors before runtime, no MATLAB license required.
function result = process(data, weights)
scaled = data .* weights;
result = scaled' * scaled;
end
A = rand(10, 3);
w = rand(4, 1); % wrong size
R = process(A, w);
W_ELEMENTWISE_MISMATCH line 2:
data .* weights:
matrix[10 x 3] vs matrix[4 x 1]
(in process, called from line 8)
Conformal follows the shapes into
the function call and catches the
mismatch inside the body.
Dimension mismatches appear as underlines while you type.
Conformal analyzes .m files directly without calling MATLAB, so it runs on any machine, including CI servers and laptops without a license.
Tested against 1,197 real-world files from 11 open-source repos. Zero crashes, zero false positives in default mode. 515 tests across 22 categories.
The VS Code extension runs analysis on every keystroke with a 500ms debounce. The analyzer is compiled to JavaScript and runs in-process, so there is no subprocess startup cost.
Conformal Migrate uses shape analysis to translate MATLAB to Python more accurately than a purely syntactic tool can. 168 builtins, shape-aware operator dispatch, and 1-to-0 index conversion with constant folding.