[HN Gopher] Flowistry helps you understand Rust programs with pr...
       ___________________________________________________________________
        
       Flowistry helps you understand Rust programs with program analysis
        
       Author : ibraheemdev
       Score  : 77 points
       Date   : 2021-09-28 19:25 UTC (1 days ago)
        
 (HTM) web link (github.com)
 (TXT) w3m dump (github.com)
        
       | nsm wrote:
       | One of the authors (Vastraukas) was also an author on " Using
       | Lightweight Formal Methods to Validate a Key-Value Storage Node
       | in Amazon S3" which seems relevant (Rust code base), but does not
       | mention this tool. I wonder if there is any relation.
       | 
       | https://www.amazon.science/publications/using-lightweight-fo...
        
       | rrobukef wrote:
       | Prediction: Coming soon to every language and IDE.
        
         | ithkuil wrote:
         | This kind of analysis is not quite possible to perform with all
         | languages. With some languages doing this kind of data flow
         | analysis basically requires you to run the code and as soon as
         | you perform IO you're out of luck.
        
       | zinclozenge wrote:
       | Looks amazing, I wonder how possible it would be to port it to
       | jetbrains ide.
        
       | noneeeed wrote:
       | Nice. Dataflow analysis is really quite useful, this is making me
       | think I should take a good look at Rust. I used to work in SPARK
       | and I miss the analysis tools we had. The insights that flow
       | analysis could give you in a tight loop was so useful.
        
       | jph wrote:
       | Brilliant. This tracing technique is great for Rust and Code, and
       | likely many more languages and editors. I'm glad to be an early
       | adopter. Thank you!
        
       ___________________________________________________________________
       (page generated 2021-09-29 23:00 UTC)