4 ms·
Hmm, the examples given show local analysis, within a single function. Where this sort of analysis really shines is with global analysis where you can trace da
by jeremysalwen 5y ago
Hmm, the examples given show local analysis, within a single function. Where this sort of analysis really shines is with global analysis where you can trace dataflow across functions, and even across abstract interfaces. I have only seen this previously with Java code in intellij. I assume this is not yet supported by flowistry, otherwise it would be loudly advertised?
- wcrichton 5y agoYes, Flowistry only supports single-function analysis right now. Interprocedural analysis is my next goal. FWIW, part of the technical contribution of Flowistry is being able to analyze influence (or really effects / mutation) locally. With Rust, I can use the type of a function (as opposed to its definition) to soundly approximate what variables it will mutate, and how it affects what references point-to.