We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
d72299e
First release
slicer for LLVM LLVM dg: flow-insensitive points-to analysis, traditional data-flow reaching definition analysis, etc.