that seems one of the points of enzyme[1], which was mentioned in the article. [1] - https://enzyme.mit.edu/ https://enzyme.mit.edu/ being able to do interpro

that seems one of the points of enzyme[1], which was mentioned in the article. [1] - https://enzyme.mit.edu/ https://enzyme.mit.edu/ being able to do interprocedural cross language analysis seems awesome considering how much code is written in C++, but used in higher level languages.