public class ControlFlowInspector
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
ControlFlowInspector.Range |
Constructor and Description |
---|
ControlFlowInspector(Model model,
ru.ispras.microtesk.tools.symexec.SymbolicExecutor.BodyInfo info) |
Modifier and Type | Method and Description |
---|---|
java.util.List<ControlFlowInspector.Range> |
inspect() |
boolean |
isBranch(IsaPrimitive insn) |
boolean |
isConditional(IsaPrimitive insn) |
public ControlFlowInspector(Model model, ru.ispras.microtesk.tools.symexec.SymbolicExecutor.BodyInfo info)
public java.util.List<ControlFlowInspector.Range> inspect()
public boolean isBranch(IsaPrimitive insn)
public boolean isConditional(IsaPrimitive insn)