The Flowistry Todo List

[willcrichton]

Features

• Windows support
  • Fix span bugs? is this related to unicode? document.offsetAt seems character based and not byte-based
  • Add windows target to release builds
  • Should fix Flowistry outputs nonsense on Windows #27
• Editor support
  • Vim
  • IntelliJ
  • Emacs
• IDE extension options
  • Disable prefetch at startup
• Source mapping improvements
  • fn <name> should not be greyed out
  • param: T should not grey out : T when param is relevant
  • return should not be greyed out when return expression is relevant
• Tests
  • Add integration tests that run Flowistry on real repos (i.e. git clone > cargo flowistry ...)
• Add feature to fold all code not in a focus region

Bugs

• Panic on slicing const string #31
• Projections aren't being included in forward slices of function parameters #32
• Static methods aren't selectable #34
• Cancellation isn't actually stopping flowistry-driver

Performance

For reference, here's a subset of slow calls when running the command in rust-lang/rust:

focus compiler/rustc_typeck/src/check/op.rs 21361

• Create a benchmark to track Flowistry performance. Should include granular information on which pieces are bottlenecks.
  • Program with many lifetimes (in inputs / in body) to stress alias analysis
  • Program with many instructions to stress infoflow analysis
  • Program with giant data structures to test any code relying on Place::interior_*
• Possible opportunities for optimization:
  • Loading TyCtxt can take a while, e.g. 2.5s for rustc_typeck. What's causing this? Can it be made more incremental?
  • Polonius is slow, are there any low hanging fruit we can upstream into datafrog?