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