@ParametersAreNonnullByDefault
| Class | Description |
|---|---|
| BlockExecution | |
| LocalVariables |
Variables which are defined in the scope of a function and may be evaluated through symbolic execution.
|
| ProgramState | |
| SeCheck | |
| SeChecksDispatcher | |
| SymbolicExecution | |
| SymbolicValue |
| Enum | Description |
|---|---|
| Nullability | |
| Truthiness |
Copyright © 2011–2016 SonarSource and Eriks Nukis. All rights reserved.