Package com.ibm.wala.core.util.ssa
package com.ibm.wala.core.util.ssa
A set of classes facilitating the construction of synthetic methods.
The usual methods of creating SummarizedMethods are error-prone and sometimes a bit Inflexible. The tools provided in this package can be used to generate summarized methods in a Type-Safe manner and assure all used methods are resolvable.
Needless to say that this method of generating synthetic methods is much slower than the regular one.
- Since:
- 2013-10-25
- Author:
- Tobias Blaschke <code@tobiasblaschke.de>
-
ClassDescriptionClass is not in scope.Used for CallBacks to create an Instance.InstructionByIIndexWrapper<T extends SSAInstruction>Access parameters without confusion on their numbers.The Constructor used to create ParameterAccessor influences the parameter-offset.The kind of parameter.The representation of a Parameter handled using a ParameterAccessor.This key is identified by type and parameter number.A number representating an SSA-Value and its type.Identify variables by a string and type.A key that matches variables by their type - does not compare to NamedKey.A key that cannot be recreated.All variables with the same name in the source code.This NamedKey also equals to TypeKeys.Manage SSA-Variables in synthetic methods.Intended for SyntheticMethods, uses JavaInstructionFactory.