This post was published 107 days ago. The information described in this article may have changed.
This post is auto-generated from RSS feed
The Rust Programming Language Forum - Latest topics. Source:
Whats the differences between these polonius？
Whats the differences between polonius in datalog and -Zpolonius and -Zpolonius=legacy and -Zpolonius=next ？Do they actually implement the flow-sensitive subst relation and region(contain Loans instead of Points) ? Is the location sensitive means flow-sensitive subst relation ? I'm confused about the above questions, thanks for you help 
Hello,
I'm seeking clarification on several aspects of Polonius and its implementations:
- Differences Between Polonius Implementations:
- What are the distinctions between the original Datalog-based Polonius and the
-Zpolonius, -Zpolonius=legacy, and -Zpolonius=next implementations in Rust?
- Flow-Sensitive Substitution Relation:
- Do these implementations support a flow-sensitive substitution relation, and how is it represented?
- Region vs. Loan Tracking:
- In Polonius, is the term region synonymous with loan? If not, how do they differ in the analysis?
- Location Sensitivity and Flow Sensitivity:
- Does location sensitivity imply flow sensitivity in the context of Polonius?
I appreciate any insights or resources that can help clarify these points.
Thank you!
1 post - 1 participant
Read full topic
🏷️ rust_feed
