| Package | Description |
|---|---|
| soot.jimple.toolkits.typing.fast |
| Modifier and Type | Field and Description |
|---|---|
protected Typing |
TypeResolver.CastInsertionUseVisitor.tg |
| Modifier and Type | Method and Description |
|---|---|
Typing |
DefaultTypingStrategy.createTyping(Chain<Local> locals) |
Typing |
ITypingStrategy.createTyping(Chain<Local> locals)
Creates a new typing class instance with initialized bottom types for the given locals
|
Typing |
DefaultTypingStrategy.createTyping(Typing tg) |
Typing |
ITypingStrategy.createTyping(Typing tg)
Creates a new typing class as a copy from a given class
|
| Modifier and Type | Method and Description |
|---|---|
void |
UseChecker.check(Typing tg,
IUseVisitor uv) |
int |
DefaultTypingStrategy.compare(Typing a,
Typing b,
IHierarchy h,
Collection<Local> localsToIgnore) |
protected TypeResolver.CastInsertionUseVisitor |
TypeResolver.createCastInsertionUseVisitor(Typing tg,
IHierarchy h,
boolean countOnly)
Allows clients to provide an own visitor for cast insertion
|
Typing |
DefaultTypingStrategy.createTyping(Typing tg) |
Typing |
ITypingStrategy.createTyping(Typing tg)
Creates a new typing class as a copy from a given class
|
static Type |
AugEvalFunction.eval_(Typing tg,
Value expr,
Stmt stmt,
JimpleBody jb) |
Collection<Type> |
IEvalFunction.eval(Typing tg,
Value expr,
Stmt stmt) |
Collection<Type> |
AugEvalFunction.eval(Typing tg,
Value expr,
Stmt stmt) |
| Modifier and Type | Method and Description |
|---|---|
static MultiMap<Local,Type> |
DefaultTypingStrategy.getFlatTyping(List<Typing> tgs) |
static Set<Local> |
DefaultTypingStrategy.getObjectLikeTypings(List<Typing> tgs) |
void |
DefaultTypingStrategy.minimize(List<Typing> tgs,
IHierarchy h) |
void |
ITypingStrategy.minimize(List<Typing> tgs,
IHierarchy h)
Minimize the given typing list using the hierarchy
|
| Constructor and Description |
|---|
CastInsertionUseVisitor(boolean countOnly,
JimpleBody jb,
Typing tg,
IHierarchy h) |
Typing(Typing tg) |
Copyright © 2020 Soot OSS. All rights reserved.