Package-level declarations

Types

Link copied to clipboard
Link copied to clipboard
sealed class ConstSourceValue : Value
Link copied to clipboard
class ControlFlowAnalyzer : Analyzer<BasicValue>
Link copied to clipboard
data class CopyAssignment(val destination: Int, val source: Int)
Link copied to clipboard
class CopyPropagationAnalyzer(owner: String, method: MethodNode) : DataFlowAnalyzer<Set<CopyAssignment>>
Link copied to clipboard
abstract class DataFlowAnalyzer<T>(owner: String, method: MethodNode, backwards: Boolean = false)
Link copied to clipboard
class FieldWriteAnalyzer(clazz: ClassNode, method: MethodNode, classPath: ClassPath, frames: Array<Frame<ThisValue>>) : DataFlowAnalyzer<Map<MemberDesc, FieldWriteCount>>
Link copied to clipboard
Link copied to clipboard
object IntBranch
Link copied to clipboard
Link copied to clipboard
class IntInterpreter(args: Array<IntValueSet>) : Interpreter<IntValue>
Link copied to clipboard
data class IntValue(val basicValue: BasicValue, val set: IntValueSet = IntValueSet.Unknown) : Value
Link copied to clipboard
sealed class IntValueSet
Link copied to clipboard
class LiveVariableAnalyzer(owner: String, method: MethodNode) : DataFlowAnalyzer<IntSet>
Link copied to clipboard
class ThisInterpreter : Interpreter<ThisValue>
Link copied to clipboard
data class ThisValue(val basicValue: BasicValue, val isThis: Boolean) : Value