cz.muni.stanse.pointeranalyzer.shapirohorwitz.VariableCounter Member List

This is the complete list of members for cz.muni.stanse.pointeranalyzer.shapirohorwitz.VariableCounter, including all inherited members.

countVariables(Collection< CFGHandle > cfgs)

cz.muni.stanse.pointeranalyzer.shapirohorwitz.VariableCounter

inlinestatic