Class | Description |
---|---|
DefaultIDETabulationProblem<N,D,M,V,I extends InterproceduralCFG<N,M>> |
This is a template for
IDETabulationProblem s that automatically caches values
that ought to be cached. |
DefaultIFDSTabulationProblem<N,D,M,I extends InterproceduralCFG<N,M>> |
This is a template for
IFDSTabulationProblem s that automatically caches values
that ought to be cached. |