Package pascal.taie.analysis.defuse

package pascal.taie.analysis.defuse
  • Classes
    Class
    Description
    DefUse
    Represents the analysis result of DefUseAnalysis, i.e., both def-use chain and use-def chain.
    DefUseAnalysis
    Computes intra-procedural def-use and use-def chains based on reaching definition analysis.