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:

1. 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?

2. Flow-Sensitive Substitution Relation:

• Do these implementations support a flow-sensitive substitution relation, and how is it represented?

3. Region vs. Loan Tracking:

• In Polonius, is the term region synonymous with loan? If not, how do they differ in the analysis?

4. 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