NodeID
Synopsis
Base Classes
Name |
Description |
* NodeFact * A fact associated with a CFG node by * some analysis thatis not evolved as part * of a dataflow analysis (i.e. it should * stay constant throughout the analysis). ** |
Name |
Description |
* NodeFact * A fact associated with a CFG node by * some analysis thatis not evolved as part * of a dataflow analysis (i.e. it should * stay constant throughout the analysis). ** |