| Package | Description |
|---|---|
| org.sonar.java.bytecode.cfg | |
| org.sonar.java.bytecode.se | |
| org.sonar.java.se.constraint |
| Modifier and Type | Class | Description |
|---|---|---|
static class |
Instruction.InvokeDynamicInsn |
|
static class |
Instruction.LdcInsn |
|
static class |
Instruction.MultiANewArrayInsn |
| Modifier and Type | Method | Description |
|---|---|---|
Instruction |
BytecodeCFG.Block.terminator() |
| Modifier and Type | Method | Description |
|---|---|---|
List<Instruction> |
BytecodeCFG.Block.elements() |
|
CFG.IBlock<Instruction> |
BytecodeCFG.entry() |
| Modifier and Type | Method | Description |
|---|---|---|
default ProgramState |
BytecodeSECheck.checkPostStatement(CheckerDispatcher dispatcher,
Instruction inst) |
|
ProgramState |
BytecodeSECheck.ZeronessCheck.checkPostStatement(CheckerDispatcher dispatcher,
Instruction inst) |
|
default ProgramState |
BytecodeSECheck.checkPreStatement(CheckerDispatcher dispatcher,
Instruction inst) |
|
ProgramState |
BytecodeSECheck.NullnessCheck.checkPreStatement(CheckerDispatcher dispatcher,
Instruction inst) |
|
void |
CheckerDispatcher.executeCheckPostStatement(Instruction instruction) |
|
boolean |
CheckerDispatcher.executeCheckPreStatement(Instruction instruction) |
| Modifier and Type | Method | Description |
|---|---|---|
SymbolicValue |
ConstraintManager.createBinarySymbolicValue(Instruction inst,
List<ProgramState.SymbolicValueSymbol> computedFrom) |
|
SymbolicValue |
ConstraintManager.createSymbolicValue(Instruction inst) |
Copyright © 2012–2018 SonarSource. All rights reserved.