flowistry

For another example of semantics-aware highlighting for Rust, see Flowistry, which allows you to select an expression in order to highlight all the code that either influences or is influenced by that expression: https://github.com/willcrichton/flowistry

Rust's type system specifically facilitates more powerful tools: https://github.com/willcrichton/flowistry

Explained in README: https://github.com/willcrichton/flowistry#why-isnt-flowistry...

For me it's.. okay it's my daily driver already, but I really really want extensions to be able to create their own UI elements in the buffer, like VSCode does. Basically GPUI for extensions. This would unblock people to write their own Jupyter integration for example, or whatever else they want. There's load of cool stuff like Argus https://github.com/cognitive-engineering-lab/argus that rely on creating buffers with custom UI, and Flowistry https://github.com/willcrichton/flowistry that rely on graying out some code, and I want this stuff on Zed too

My coworker recently showed me this plugin [1] that fades out all Rust code that is unrelated to the variable under the cursor. Think of it as a more powerful version of the "click to highlight all appearances" you can do in most IDEs but it actually does information flow analysis on the code. [1]: https://github.com/willcrichton/flowistry

On the topic of Rust IDE plugins that give you more senses, take a look at Flowistry: https://github.com/willcrichton/flowistry . It's not AI, it's using information flow analysis.

Quick, easy formal verification tools that programmers can use on the spot from the IDE are hard to make for most languages because most languages and their compilers weren't made with such thing in mind. I guess Rust might be heading somewhere interesting with tooling, with tools like Flowistry existing (https://github.com/willcrichton/flowistry) showing what is possible. It's a plugin that can compute backwards / forwards static slices for you, straight in the IDE as a VSCode plugin. I think you need an external program that runs a full program analysis to do the same in C++.

Will Crichton just open sourced flowistry for Rust: https://github.com/willcrichton/flowistry It's a vscode plugin that analyzes the data flow graph, and lets you do things like highlight statements that depend on the current one, etc.