|
||||||||||
| PREV NEXT | FRAMES NO FRAMES |
| Classes in soot used by soot | |
|---|---|
| AbstractUnitPrinter
Partial default UnitPrinter implementation. |
|
| AnySubType
|
|
| ArrayType
A class that models Java's array types. |
|
| AttributesUnitPrinter
Adds PositionTags to ValueBoxes to identify their position in the output. |
|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyPack
A wrapper object for a pack of optimizations. |
|
| BooleanType
Soot representation of the Java built-in type 'boolean'. |
|
| ByteType
Soot representation of the Java built-in type 'byte'. |
|
| CharType
Soot representation of the Java built-in type 'char'. |
|
| ClassMember
Provides methods common to Soot objects belonging to classes, namely SootField and SootMethod. |
|
| ClassProvider
A class provider looks for a file of a specific format for a specified class, and returns a ClassSource for it if it finds it. |
|
| ClassSource
A class source is responsible for resolving a single class from a particular source format (.class, .jimple, .java, etc.) |
|
| Context
A context in a context-sensitive all graph. |
|
| DoubleType
Soot representation of the Java built-in type 'double'. |
|
| EntryPoints
Returns the various potential entry points of a Java program. |
|
| EquivTo
An alternate equivalence relation between objects. |
|
| ErroneousType
Soot representation used for untypable objects. |
|
| FastHierarchy
Represents the class hierarchy. |
|
| FastHierarchy.Interval
|
|
| FloatType
Soot representation of the Java built-in type 'float'. |
|
| G
A class to group together all the global variables in Soot. |
|
| HasPhaseOptions
Interface for things like Packs and phases that have phase options. |
|
| Hierarchy
Represents the class hierarchy. |
|
| Immediate
A local or constant. |
|
| IntegerType
Soot interface implemented by all classes representing integer types [boolean, byte, short, char, and int]. |
|
| IntType
Soot representation of the Java built-in type 'int'. |
|
| JastAddInitialResolver
An IInitialResolver for the JastAdd frontend. |
|
| Kind
Enumeration type representing the kind of a call graph edge. |
|
| LabeledUnitPrinter
UnitPrinter implementation for representations that have labelled stmts, such as Jimple, Grimp, and Baf |
|
| Local
A local variable, used within Body classes. |
|
| LongType
Soot representation of the Java built-in type 'long'. |
|
| Main
Main class for Soot; provides Soot's command-line user interface. |
|
| MethodContext
Represents a pair of a method and a context. |
|
| MethodOrMethodContext
A common interface for either just a method, or a method with context. |
|
| MethodSource
A class which knows how to produce Body's for SootMethods. |
|
| NullType
Soot representation of the Java type 'null'. |
|
| Pack
A wrapper object for a pack of optimizations. |
|
| PackManager
Manages the Packs containing the various phases and their options. |
|
| PatchingChain
An implementation of a Chain which can contain only Units, and handles patching to deal with element insertions and removals. |
|
| PhaseOptions
Manages the phase options of the various soot phases. |
|
| PointsToAnalysis
A generic interface to any type of pointer analysis. |
|
| PointsToSet
A generic interface to some set of runtime objects computed by a pointer analysis. |
|
| PrimType
Abstract class for Soot classes that that model Java primitive types (ie all types except void, null, reference types, and array types) |
|
| Printer
Prints out a class and all its methods. |
|
| RefLikeType
Abstract class for Soot classes that model subtypes of java.lang.Object (ie. |
|
| RefType
A class that models Java's reference types. |
|
| Scene
Manages the SootClasses of the application being analyzed. |
|
| ScenePack
A wrapper object for a pack of optimizations. |
|
| ShortType
Soot representation of the Java built-in type 'short'. |
|
| Singletons
A class to group together all the global variables in Soot. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| SootField
Soot representation of a Java field. |
|
| SootFieldRef
Representation of a reference to a field as it appears in a class file. |
|
| SootMethod
Soot representation of a Java method. |
|
| SootMethodRef
Representation of a reference to a method as it appears in a class file. |
|
| SootResolver
Loads symbols for SootClasses from either class files or jimple files. |
|
| SourceLocator
Provides utility methods to retrieve an input stream for a class name, given a classfile, or jimple or baf output files. |
|
| SourceLocator.FoundFile
|
|
| StmtAddressType
Soot representation of the Java type for a statement address. |
|
| Timer
Utility class providing a timer. |
|
| Timers
|
|
| Transform
Maintains the pair (phaseName, singleton) needed for a transformation. |
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Trap
A trap (exception catcher), used within Body classes. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| UnitBox
A box which can contain units. |
|
| UnitBoxOwner
An implementor of this interface indicates that it may contain UnitBoxes. |
|
| UnitPrinter
Interface for different methods of printing out a Unit. |
|
| UnknownType
Soot representation used for not-yet-typed objects. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
|
| ValueBox
A box which can contain values. |
|
| VoidType
Represents the Java void type. |
| Classes in soot used by soot.baf | |
|---|---|
| AbstractJasminClass
|
|
| AbstractUnit
Provides default implementations for the methods in Unit. |
|
| ArrayType
A class that models Java's array types. |
|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| Context
A context in a context-sensitive all graph. |
|
| IdentityUnit
A unit that assigns to a variable from one of {parameters, this, caughtexception}. |
|
| Local
A local variable, used within Body classes. |
|
| RefType
A class that models Java's reference types. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| SootField
Soot representation of a Java field. |
|
| SootFieldRef
Representation of a reference to a field as it appears in a class file. |
|
| SootMethod
Soot representation of a Java method. |
|
| SootMethodRef
Representation of a reference to a method as it appears in a class file. |
|
| Trap
A trap (exception catcher), used within Body classes. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| UnitBox
A box which can contain units. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
|
| ValueBox
A box which can contain values. |
| Classes in soot used by soot.baf.internal | |
|---|---|
| AbstractTrap
Partial implementation of trap (exception catcher), used within Body classes. |
|
| AbstractUnit
Provides default implementations for the methods in Unit. |
|
| AbstractValueBox
Reference implementation for ValueBox; just add a canContainValue method. |
|
| ArrayType
A class that models Java's array types. |
|
| Context
A context in a context-sensitive all graph. |
|
| EquivTo
An alternate equivalence relation between objects. |
|
| IdentityUnit
A unit that assigns to a variable from one of {parameters, this, caughtexception}. |
|
| Immediate
A local or constant. |
|
| Local
A local variable, used within Body classes. |
|
| RefType
A class that models Java's reference types. |
|
| SootClass
Soot representation of a Java class. |
|
| SootField
Soot representation of a Java field. |
|
| SootFieldRef
Representation of a reference to a field as it appears in a class file. |
|
| SootMethodRef
Representation of a reference to a method as it appears in a class file. |
|
| Trap
A trap (exception catcher), used within Body classes. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| UnitBox
A box which can contain units. |
|
| UnitBoxOwner
An implementor of this interface indicates that it may contain UnitBoxes. |
|
| UnitPrinter
Interface for different methods of printing out a Unit. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
|
| ValueBox
A box which can contain values. |
| Classes in soot used by soot.baf.toolkits.base | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.coffi | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| Local
A local variable, used within Body classes. |
|
| MethodSource
A class which knows how to produce Body's for SootMethods. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| SootMethod
Soot representation of a Java method. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
| Classes in soot used by soot.dava | |
|---|---|
| AbstractUnitPrinter
Partial default UnitPrinter implementation. |
|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| Local
A local variable, used within Body classes. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| SootFieldRef
Representation of a reference to a field as it appears in a class file. |
|
| SootMethod
Soot representation of a Java method. |
|
| SootMethodRef
Representation of a reference to a method as it appears in a class file. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| UnitPrinter
Interface for different methods of printing out a Unit. |
| Classes in soot used by soot.dava.internal.AST | |
|---|---|
| AbstractUnit
Provides default implementations for the methods in Unit. |
|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| Context
A context in a context-sensitive all graph. |
|
| Local
A local variable, used within Body classes. |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| UnitPrinter
Interface for different methods of printing out a Unit. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
|
| ValueBox
A box which can contain values. |
| Classes in soot used by soot.dava.internal.SET | |
|---|---|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
| Classes in soot used by soot.dava.internal.javaRep | |
|---|---|
| AbstractUnit
Provides default implementations for the methods in Unit. |
|
| AbstractValueBox
Reference implementation for ValueBox; just add a canContainValue method. |
|
| ArrayType
A class that models Java's array types. |
|
| Context
A context in a context-sensitive all graph. |
|
| EquivTo
An alternate equivalence relation between objects. |
|
| IdentityUnit
A unit that assigns to a variable from one of {parameters, this, caughtexception}. |
|
| Immediate
A local or constant. |
|
| Local
A local variable, used within Body classes. |
|
| RefType
A class that models Java's reference types. |
|
| SootFieldRef
Representation of a reference to a field as it appears in a class file. |
|
| SootMethodRef
Representation of a reference to a method as it appears in a class file. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| UnitPrinter
Interface for different methods of printing out a Unit. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
|
| ValueBox
A box which can contain values. |
| Classes in soot used by soot.dava.toolkits.base.AST | |
|---|---|
| Singletons.Global
|
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
| Classes in soot used by soot.dava.toolkits.base.AST.analysis | |
|---|---|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
|
| ValueBox
A box which can contain values. |
| Classes in soot used by soot.dava.toolkits.base.AST.interProcedural | |
|---|---|
| SootField
Soot representation of a Java field. |
| Classes in soot used by soot.dava.toolkits.base.AST.structuredAnalysis | |
|---|---|
| Local
A local variable, used within Body classes. |
|
| SootField
Soot representation of a Java field. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
| Classes in soot used by soot.dava.toolkits.base.AST.transformations | |
|---|---|
| Local
A local variable, used within Body classes. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| SootField
Soot representation of a Java field. |
|
| SootMethodRef
Representation of a reference to a method as it appears in a class file. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
|
| ValueBox
A box which can contain values. |
| Classes in soot used by soot.dava.toolkits.base.AST.traversals | |
|---|---|
| Local
A local variable, used within Body classes. |
|
| Singletons.Global
|
|
| SootField
Soot representation of a Java field. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
| Classes in soot used by soot.dava.toolkits.base.finders | |
|---|---|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
| Classes in soot used by soot.dava.toolkits.base.misc | |
|---|---|
| Singletons.Global
|
| Classes in soot used by soot.dava.toolkits.base.renamer | |
|---|---|
| Local
A local variable, used within Body classes. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
| Classes in soot used by soot.grimp | |
|---|---|
| ArrayType
A class that models Java's array types. |
|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| EquivTo
An alternate equivalence relation between objects. |
|
| Local
A local variable, used within Body classes. |
|
| RefType
A class that models Java's reference types. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| SootFieldRef
Representation of a reference to a field as it appears in a class file. |
|
| SootMethod
Soot representation of a Java method. |
|
| SootMethodRef
Representation of a reference to a method as it appears in a class file. |
|
| Trap
A trap (exception catcher), used within Body classes. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| UnitBox
A box which can contain units. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
|
| ValueBox
A box which can contain values. |
| Classes in soot used by soot.grimp.internal | |
|---|---|
| AbstractTrap
Partial implementation of trap (exception catcher), used within Body classes. |
|
| AbstractUnit
Provides default implementations for the methods in Unit. |
|
| AbstractValueBox
Reference implementation for ValueBox; just add a canContainValue method. |
|
| ArrayType
A class that models Java's array types. |
|
| Context
A context in a context-sensitive all graph. |
|
| EquivTo
An alternate equivalence relation between objects. |
|
| IdentityUnit
A unit that assigns to a variable from one of {parameters, this, caughtexception}. |
|
| RefType
A class that models Java's reference types. |
|
| SootClass
Soot representation of a Java class. |
|
| SootFieldRef
Representation of a reference to a field as it appears in a class file. |
|
| SootMethodRef
Representation of a reference to a method as it appears in a class file. |
|
| Trap
A trap (exception catcher), used within Body classes. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| UnitBoxOwner
An implementor of this interface indicates that it may contain UnitBoxes. |
|
| UnitPrinter
Interface for different methods of printing out a Unit. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
|
| ValueBox
A box which can contain values. |
| Classes in soot used by soot.grimp.toolkits.base | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.javaToJimple | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| FastHierarchy
Represents the class hierarchy. |
|
| Local
A local variable, used within Body classes. |
|
| MethodSource
A class which knows how to produce Body's for SootMethods. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| SootField
Soot representation of a Java field. |
|
| SootMethod
Soot representation of a Java method. |
|
| SootMethodRef
Representation of a reference to a method as it appears in a class file. |
|
| Trap
A trap (exception catcher), used within Body classes. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
| Classes in soot used by soot.javaToJimple.toolkits | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.jbco | |
|---|---|
| Local
A local variable, used within Body classes. |
|
| SootClass
Soot representation of a Java class. |
|
| SootMethod
Soot representation of a Java method. |
| Classes in soot used by soot.jbco.bafTransformations | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| Local
A local variable, used within Body classes. |
|
| PatchingChain
An implementation of a Chain which can contain only Units, and handles patching to deal with element insertions and removals. |
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
| Classes in soot used by soot.jbco.jimpleTransformations | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| SootClass
Soot representation of a Java class. |
|
| SootField
Soot representation of a Java field. |
|
| SootMethod
Soot representation of a Java method. |
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
| Classes in soot used by soot.jbco.util | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| Local
A local variable, used within Body classes. |
|
| PatchingChain
An implementation of a Chain which can contain only Units, and handles patching to deal with element insertions and removals. |
|
| SootClass
Soot representation of a Java class. |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
| Classes in soot used by soot.jimple | |
|---|---|
| AbstractUnit
Provides default implementations for the methods in Unit. |
|
| ArrayType
A class that models Java's array types. |
|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| Context
A context in a context-sensitive all graph. |
|
| EquivTo
An alternate equivalence relation between objects. |
|
| IdentityUnit
A unit that assigns to a variable from one of {parameters, this, caughtexception}. |
|
| Immediate
A local or constant. |
|
| Local
A local variable, used within Body classes. |
|
| MethodSource
A class which knows how to produce Body's for SootMethods. |
|
| PointsToAnalysis
A generic interface to any type of pointer analysis. |
|
| RefType
A class that models Java's reference types. |
|
| SideEffectTester
Provides side effect information. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| SootField
Soot representation of a Java field. |
|
| SootFieldRef
Representation of a reference to a field as it appears in a class file. |
|
| SootMethod
Soot representation of a Java method. |
|
| SootMethodRef
Representation of a reference to a method as it appears in a class file. |
|
| Trap
A trap (exception catcher), used within Body classes. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| UnitBox
A box which can contain units. |
|
| UnitPrinter
Interface for different methods of printing out a Unit. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
|
| ValueBox
A box which can contain values. |
| Classes in soot used by soot.jimple.internal | |
|---|---|
| AbstractTrap
Partial implementation of trap (exception catcher), used within Body classes. |
|
| AbstractUnit
Provides default implementations for the methods in Unit. |
|
| AbstractUnitBox
Reference implementation for UnitBox; just add a canContainUnit method. |
|
| AbstractValueBox
Reference implementation for ValueBox; just add a canContainValue method. |
|
| ArrayType
A class that models Java's array types. |
|
| Context
A context in a context-sensitive all graph. |
|
| EquivTo
An alternate equivalence relation between objects. |
|
| IdentityUnit
A unit that assigns to a variable from one of {parameters, this, caughtexception}. |
|
| Immediate
A local or constant. |
|
| Local
A local variable, used within Body classes. |
|
| RefType
A class that models Java's reference types. |
|
| SootClass
Soot representation of a Java class. |
|
| SootField
Soot representation of a Java field. |
|
| SootFieldRef
Representation of a reference to a field as it appears in a class file. |
|
| SootMethod
Soot representation of a Java method. |
|
| SootMethodRef
Representation of a reference to a method as it appears in a class file. |
|
| Trap
A trap (exception catcher), used within Body classes. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| UnitBox
A box which can contain units. |
|
| UnitBoxOwner
An implementor of this interface indicates that it may contain UnitBoxes. |
|
| UnitPrinter
Interface for different methods of printing out a Unit. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
|
| ValueBox
A box which can contain values. |
| Classes in soot used by soot.jimple.paddle | |
|---|---|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.jimple.parser | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| SootClass
Soot representation of a Java class. |
|
| SootMethod
Soot representation of a Java method. |
|
| SootResolver
Loads symbols for SootClasses from either class files or jimple files. |
| Classes in soot used by soot.jimple.spark | |
|---|---|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.jimple.spark.builder | |
|---|---|
| Local
A local variable, used within Body classes. |
|
| SootClass
Soot representation of a Java class. |
|
| SootMethod
Soot representation of a Java method. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
| Classes in soot used by soot.jimple.spark.fieldrw | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| Singletons.Global
|
|
| SootMethod
Soot representation of a Java method. |
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
| Classes in soot used by soot.jimple.spark.geom.geomE | |
|---|---|
| Type
Represents types within Soot, eg int , java.lang.String . |
| Classes in soot used by soot.jimple.spark.geom.geomPA | |
|---|---|
| Context
A context in a context-sensitive all graph. |
|
| Local
A local variable, used within Body classes. |
|
| PointsToAnalysis
A generic interface to any type of pointer analysis. |
|
| PointsToSet
A generic interface to some set of runtime objects computed by a pointer analysis. |
|
| RefType
A class that models Java's reference types. |
|
| SootField
Soot representation of a Java field. |
|
| SootMethod
Soot representation of a Java method. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
| Classes in soot used by soot.jimple.spark.geom.heapinsE | |
|---|---|
| Type
Represents types within Soot, eg int , java.lang.String . |
| Classes in soot used by soot.jimple.spark.geom.ptinsE | |
|---|---|
| Type
Represents types within Soot, eg int , java.lang.String . |
| Classes in soot used by soot.jimple.spark.internal | |
|---|---|
| FastHierarchy
Represents the class hierarchy. |
|
| SootMethod
Soot representation of a Java method. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
| Classes in soot used by soot.jimple.spark.ondemand | |
|---|---|
| Context
A context in a context-sensitive all graph. |
|
| Local
A local variable, used within Body classes. |
|
| PointsToAnalysis
A generic interface to any type of pointer analysis. |
|
| PointsToSet
A generic interface to some set of runtime objects computed by a pointer analysis. |
|
| SootField
Soot representation of a Java field. |
|
| SootMethod
Soot representation of a Java method. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
| Classes in soot used by soot.jimple.spark.ondemand.pautil | |
|---|---|
| RefType
A class that models Java's reference types. |
|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| SootClass
Soot representation of a Java class. |
|
| SootMethod
Soot representation of a Java method. |
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
| Classes in soot used by soot.jimple.spark.pag | |
|---|---|
| Context
A context in a context-sensitive all graph. |
|
| Local
A local variable, used within Body classes. |
|
| PointsToAnalysis
A generic interface to any type of pointer analysis. |
|
| PointsToSet
A generic interface to some set of runtime objects computed by a pointer analysis. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| SootField
Soot representation of a Java field. |
|
| SootMethod
Soot representation of a Java method. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
| Classes in soot used by soot.jimple.spark.sets | |
|---|---|
| PointsToSet
A generic interface to some set of runtime objects computed by a pointer analysis. |
|
| Singletons.Global
|
|
| Type
Represents types within Soot, eg int , java.lang.String . |
| Classes in soot used by soot.jimple.toolkits.annotation | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.jimple.toolkits.annotation.arraycheck | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| SootField
Soot representation of a Java field. |
|
| SootMethod
Soot representation of a Java method. |
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.jimple.toolkits.annotation.callgraph | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| Kind
Enumeration type representing the kind of a call graph edge. |
|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| Singletons.Global
|
|
| SootMethod
Soot representation of a Java method. |
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.jimple.toolkits.annotation.defs | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.jimple.toolkits.annotation.fields | |
|---|---|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.jimple.toolkits.annotation.j5anno | |
|---|---|
| Singletons.Global
|
| Classes in soot used by soot.jimple.toolkits.annotation.liveness | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.jimple.toolkits.annotation.logic | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.jimple.toolkits.annotation.methods | |
|---|---|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.jimple.toolkits.annotation.nullcheck | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| EquivalentValue
Encapsulates the Value class, but uses EquivTo for equality comparisons. |
|
| Immediate
A local or constant. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
| Classes in soot used by soot.jimple.toolkits.annotation.parity | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.jimple.toolkits.annotation.profiling | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.jimple.toolkits.annotation.purity | |
|---|---|
| Local
A local variable, used within Body classes. |
|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| Singletons.Global
|
|
| SootMethod
Soot representation of a Java method. |
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.jimple.toolkits.annotation.qualifiers | |
|---|---|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.jimple.toolkits.annotation.tags | |
|---|---|
| BodyTransformer
An abstract class which acts on a Body. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
| Classes in soot used by soot.jimple.toolkits.base | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| RefType
A class that models Java's reference types. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| SootMethod
Soot representation of a Java method. |
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
| Classes in soot used by soot.jimple.toolkits.callgraph | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| Context
A context in a context-sensitive all graph. |
|
| HasPhaseOptions
Interface for things like Packs and phases that have phase options. |
|
| Kind
Enumeration type representing the kind of a call graph edge. |
|
| Local
A local variable, used within Body classes. |
|
| MethodOrMethodContext
A common interface for either just a method, or a method with context. |
|
| Pack
A wrapper object for a pack of optimizations. |
|
| PointsToAnalysis
A generic interface to any type of pointer analysis. |
|
| RadioScenePack
A wrapper object for a pack of optimizations. |
|
| RefType
A class that models Java's reference types. |
|
| ScenePack
A wrapper object for a pack of optimizations. |
|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| Singletons.Global
|
|
| SootMethod
Soot representation of a Java method. |
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
| Classes in soot used by soot.jimple.toolkits.graph | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.jimple.toolkits.infoflow | |
|---|---|
| EquivalentValue
Encapsulates the Value class, but uses EquivTo for equality comparisons. |
|
| EquivTo
An alternate equivalence relation between objects. |
|
| Immediate
A local or constant. |
|
| Local
A local variable, used within Body classes. |
|
| SootClass
Soot representation of a Java class. |
|
| SootField
Soot representation of a Java field. |
|
| SootMethod
Soot representation of a Java method. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| UnitPrinter
Interface for different methods of printing out a Unit. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
| Classes in soot used by soot.jimple.toolkits.invoke | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| ClassMember
Provides methods common to Soot objects belonging to classes, namely SootField and SootMethod. |
|
| Local
A local variable, used within Body classes. |
|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| SootField
Soot representation of a Java field. |
|
| SootMethod
Soot representation of a Java method. |
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.jimple.toolkits.pointer | |
|---|---|
| AnySubType
|
|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| Context
A context in a context-sensitive all graph. |
|
| Local
A local variable, used within Body classes. |
|
| PointsToAnalysis
A generic interface to any type of pointer analysis. |
|
| PointsToSet
A generic interface to some set of runtime objects computed by a pointer analysis. |
|
| RefType
A class that models Java's reference types. |
|
| SideEffectTester
Provides side effect information. |
|
| Singletons.Global
|
|
| SootField
Soot representation of a Java field. |
|
| SootMethod
Soot representation of a Java method. |
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
| Classes in soot used by soot.jimple.toolkits.pointer.nativemethods | |
|---|---|
| SootMethod
Soot representation of a Java method. |
| Classes in soot used by soot.jimple.toolkits.pointer.representations | |
|---|---|
| Singletons.Global
|
|
| Type
Represents types within Soot, eg int , java.lang.String . |
| Classes in soot used by soot.jimple.toolkits.pointer.util | |
|---|---|
| SootMethod
Soot representation of a Java method. |
| Classes in soot used by soot.jimple.toolkits.reflection | |
|---|---|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| SootClass
Soot representation of a Java class. |
|
| SootMethod
Soot representation of a Java method. |
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.jimple.toolkits.scalar | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| Local
A local variable, used within Body classes. |
|
| SideEffectTester
Provides side effect information. |
|
| Singletons.Global
|
|
| SootMethod
Soot representation of a Java method. |
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
| Classes in soot used by soot.jimple.toolkits.scalar.pre | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| EquivalentValue
Encapsulates the Value class, but uses EquivTo for equality comparisons. |
|
| SideEffectTester
Provides side effect information. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
| Classes in soot used by soot.jimple.toolkits.thread | |
|---|---|
| SootClass
Soot representation of a Java class. |
|
| SootMethod
Soot representation of a Java method. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
| Classes in soot used by soot.jimple.toolkits.thread.mhp | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| Hierarchy
Represents the class hierarchy. |
|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| SootMethod
Soot representation of a Java method. |
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
| Classes in soot used by soot.jimple.toolkits.thread.mhp.findobject | |
|---|---|
| SootMethod
Soot representation of a Java method. |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
| Classes in soot used by soot.jimple.toolkits.thread.mhp.stmt | |
|---|---|
| SootMethod
Soot representation of a Java method. |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
| Classes in soot used by soot.jimple.toolkits.thread.synchronization | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| EquivalentValue
Encapsulates the Value class, but uses EquivTo for equality comparisons. |
|
| EquivTo
An alternate equivalence relation between objects. |
|
| PatchingChain
An implementation of a Chain which can contain only Units, and handles patching to deal with element insertions and removals. |
|
| PointsToAnalysis
A generic interface to any type of pointer analysis. |
|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| SootMethod
Soot representation of a Java method. |
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| UnitPrinter
Interface for different methods of printing out a Unit. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
| Classes in soot used by soot.jimple.toolkits.typing | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| Scene
Manages the SootClasses of the application being analyzed. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
| Classes in soot used by soot.jimple.toolkits.typing.fast | |
|---|---|
| IntegerType
Soot interface implemented by all classes representing integer types [boolean, byte, short, char, and int]. |
|
| Local
A local variable, used within Body classes. |
|
| PrimType
Abstract class for Soot classes that that model Java primitive types (ie all types except void, null, reference types, and array types) |
|
| RefType
A class that models Java's reference types. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
| Classes in soot used by soot.jimple.toolkits.typing.integer | |
|---|---|
| Singletons.Global
|
| Classes in soot used by soot.options | |
|---|---|
| Singletons.Global
|
| Classes in soot used by soot.shimple | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| EquivTo
An alternate equivalence relation between objects. |
|
| Local
A local variable, used within Body classes. |
|
| MethodSource
A class which knows how to produce Body's for SootMethods. |
|
| PointsToAnalysis
A generic interface to any type of pointer analysis. |
|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| Singletons.Global
|
|
| SootMethod
Soot representation of a Java method. |
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| UnitBoxOwner
An implementor of this interface indicates that it may contain UnitBoxes. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
| Classes in soot used by soot.shimple.internal | |
|---|---|
| AbstractValueBox
Reference implementation for ValueBox; just add a canContainValue method. |
|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| EquivTo
An alternate equivalence relation between objects. |
|
| Local
A local variable, used within Body classes. |
|
| PatchingChain
An implementation of a Chain which can contain only Units, and handles patching to deal with element insertions and removals. |
|
| PatchingChain.PatchingIterator
|
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| UnitBox
A box which can contain units. |
|
| UnitBoxOwner
An implementor of this interface indicates that it may contain UnitBoxes. |
|
| UnitPrinter
Interface for different methods of printing out a Unit. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
|
| ValueBox
A box which can contain values. |
| Classes in soot used by soot.shimple.toolkits.graph | |
|---|---|
| EquivTo
An alternate equivalence relation between objects. |
|
| Local
A local variable, used within Body classes. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| UnitPrinter
Interface for different methods of printing out a Unit. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
| Classes in soot used by soot.shimple.toolkits.scalar | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| EquivTo
An alternate equivalence relation between objects. |
|
| Immediate
A local or constant. |
|
| Local
A local variable, used within Body classes. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
| Classes in soot used by soot.sootify | |
|---|---|
| AnySubType
|
|
| ArrayType
A class that models Java's array types. |
|
| BooleanType
Soot representation of the Java built-in type 'boolean'. |
|
| ByteType
Soot representation of the Java built-in type 'byte'. |
|
| CharType
Soot representation of the Java built-in type 'char'. |
|
| DoubleType
Soot representation of the Java built-in type 'double'. |
|
| ErroneousType
Soot representation used for untypable objects. |
|
| FloatType
Soot representation of the Java built-in type 'float'. |
|
| IntType
Soot representation of the Java built-in type 'int'. |
|
| Local
A local variable, used within Body classes. |
|
| LongType
Soot representation of the Java built-in type 'long'. |
|
| NullType
Soot representation of the Java type 'null'. |
|
| RefType
A class that models Java's reference types. |
|
| ShortType
Soot representation of the Java built-in type 'short'. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| StmtAddressType
Soot representation of the Java type for a statement address. |
|
| Type
Represents types within Soot, eg int , java.lang.String . |
|
| TypeSwitch
Implements Switchable on base Java types. |
|
| UnknownType
Soot representation used for not-yet-typed objects. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
|
| VoidType
Represents the Java void type. |
| Classes in soot used by soot.tagkit | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| UnitBox
A box which can contain units. |
| Classes in soot used by soot.toolkits.exceptions | |
|---|---|
| AnySubType
|
|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| Local
A local variable, used within Body classes. |
|
| RefType
A class that models Java's reference types. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Trap
A trap (exception catcher), used within Body classes. |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
| Classes in soot used by soot.toolkits.graph | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| Singletons.Global
|
|
| SootMethod
Soot representation of a Java method. |
|
| Trap
A trap (exception catcher), used within Body classes. |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
| Classes in soot used by soot.toolkits.graph.interaction | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| Singletons.Global
|
|
| SootMethod
Soot representation of a Java method. |
|
| Transform
Maintains the pair (phaseName, singleton) needed for a transformation. |
| Classes in soot used by soot.toolkits.graph.pdg | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| SootClass
Soot representation of a Java class. |
|
| SootMethod
Soot representation of a Java method. |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
| Classes in soot used by soot.toolkits.scalar | |
|---|---|
| AbstractValueBox
Reference implementation for ValueBox; just add a canContainValue method. |
|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| EquivTo
An alternate equivalence relation between objects. |
|
| Local
A local variable, used within Body classes. |
|
| Singletons.Global
|
|
| Transformer
An abstract class which acts on some Soot object. |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
|
| UnitBox
A box which can contain units. |
|
| UnitPrinter
Interface for different methods of printing out a Unit. |
|
| Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions. |
|
| ValueBox
A box which can contain values. |
| Classes in soot used by soot.tools | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| BodyTransformer
An abstract class which acts on a Body. |
|
| SceneTransformer
An abstract class which acts on the whole Scene. |
|
| Transformer
An abstract class which acts on some Soot object. |
| Classes in soot used by soot.util | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| Unit
A code fragment (eg Stmt or Inst), used within Body classes. |
| Classes in soot used by soot.util.cfgcmd | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| CompilationDeathException
|
|
| Singletons.Global
|
| Classes in soot used by soot.xml | |
|---|---|
| Body
Abstract base class that models the body (code attribute) of a Java method. |
|
| Singletons.Global
|
|
| SootClass
Soot representation of a Java class. |
|
| SootField
Soot representation of a Java field. |
|
| SootMethod
Soot representation of a Java method. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES |


Entertainment
Prithviraj also owns the distribution rights of Vijay's most-anticipated movie Master...
Kangana Ranaut opposed actor-politician Kamal Haasan's idea of recognising the work of homemakers...
Paachuvum Albuthavilakkum marks the directorial debut of Akhil Sathyan....
Sports
Kane Williamson became the fastest Kiwi to 7000 Test runs. Along with Henry Nicholls, he put on a 369-run stand fo.....
BCCI president Sourav Ganguly is “doing well” and would be discharged from...
While Shardul Thakur and T Natarajan are also in contention, the former left-arm pacer feels the selection of Saini for the Sydney Test, starting Thursday, is a no-brainer if one goes by ....
.
Technology
Redmi Note 5, Redmi Note 5 Pro Getting MIUI 12 ..
Dell Launches Wide Range of Latitude, Precision Laptops and OptiPle....
Samsung Galaxy S21 Series Camera Teased, Could Be a Hint at New....
Sports
Kane Williamson became the fastest Kiwi to 7000 Test runs. Along with Henry Nicholls, he put on a 369-run stand fo.....
BCCI president Sourav Ganguly is “doing well” and would be discharged from...
While Shardul Thakur and T Natarajan are also in contention, the former left-arm pacer feels the selection of Saini for the Sydney Test, starting Thursday, is a no-brainer if one goes by ....
.
Technology
Redmi Note 5, Redmi Note 5 Pro Getting MIUI 12 ..
Dell Launches Wide Range of Latitude, Precision Laptops and OptiPle....
Samsung Galaxy S21 Series Camera Teased, Could Be a Hint at New....
Sports
Kane Williamson became the fastest Kiwi to 7000 Test runs. Along with Henry Nicholls, he put on a 369-run stand fo.....
BCCI president Sourav Ganguly is “doing well” and would be discharged from...
While Shardul Thakur and T Natarajan are also in contention, the former left-arm pacer feels the selection of Saini for the Sydney Test, starting Thursday, is a no-brainer if one goes by ....
.
Entertainment
Prithviraj also owns the distribution rights of Vijay's most-anticipated movie Master...
Kangana Ranaut opposed actor-politician Kamal Haasan's idea of recognising the work of homemakers...
Paachuvum Albuthavilakkum marks the directorial debut of Akhil Sathyan....


Software developer + hardware hacker interested in digital privacy, web browsers, and embedded systems.


Address: 205 E 32nd St
Baltimore, MD 21218
Email<EMAIL_ADDRESS>Consul's Phone:<PHONE_NUMBER>
Pro Consul's Phone:<PHONE_NUMBER>
We brothers of Kappa Upsilon would love to continue our efforts to further grow the chapter, but our funds are limited. If you would like to donate an undisclosed amount to help fund our philanthropic, scholarship, and/or alumni events, please consider donating to ensure that we remain a Peterson Chapter for a second consecutive year! Donate by clicking the PayPal button to the left or go to the following link: Donate to JHU Kappa Upsilon Sigma Chi Fraternity.
The brothers of Kappa Upsilon thank you!


This HTML fragment was loaded dynamically. The joHTML control also intercepts links so you can keep them on the page. This is useful for pure content cases such as disclaimers, app info, and help.
Note that since Jo uses custom tag names for its controls, you should have little if any CSS overlap with your App UI.


--- title: CLI keywords: fastai sidebar: home_sidebar summary: "This module contains all the code for defining Tango's CLI" ---
tango
tango(q_path:"Path to the query video", cor_path:"Path to the corpus", cb_path:"Path to the codebook", vis_path:"Path to SimCLR checkpoint", fps:"FPS to set the vidoes to"=30, approach:"Approach to use: vis, txt, comb"='vis')
q_path
cor_path
cb_path
vis_path
fps
30
approach
'vis'
from nbdev.export import notebook2script notebook2script()
Converted 00_prep.ipynb. Converted 01_features.ipynb. Converted 02_eval.ipynb. Converted 03_model.ipynb. Converted 04_approach.ipynb. Converted 05_cli.ipynb. Converted 06_results.ipynb. Converted index.ipynb.


It looks like browsers can't calculate offset width correctly for images width css properties of automatic width and specified height and given width and height html attributes
What's more funny is that firefox 23.0.1 reports 0 offsetWidth immediately and correct 451 onload but when you remove <!doctype html>
you'll get 300 immediately and correct 451 onload.
This, however, may be the designed behaviour: offsetWidth docs
Test is below, see console. Skip cache when reloading
image by Barbara L. Slavin


{% include 'includes/breadcrumbs.html' %}
{% include "includes/blog_filters.html" with topics=topics parent_url=parent_url %}
{% if filter_text %}
{{ filter_text }}
{% endif %}{{ self.title }}
{{ self.date|date:"DATE_FORMAT" }}
{{ self.introduction }}
{{ self.prepared_body|safe }} {% bibliography self %} {% include "includes/social_share.html" only %}


man(1) jfbview man page man(1)
NAME
jfbview - PDF and image viewer for the Linux framebuffer.
SYNOPSIS
jfbview [OPTIONS] FILE
DESCRIPTION
jfbview is a PDF and image viewer for the Linux framebuffer.
OPTIONS
--help, -h
Shows help message.
--fb=/path/to/dev
Specifies the path to the output framebuffer device. The default
is /dev/fb0.
--password=xxx, -P xxx
Unlock PDF document with the given password.
--page=n, -p n
Go to page n on start up.
--zoom=n, -z n
Set initial zoom to be n percent. For example, "-z 75" sets zoom
to 75%.
--zoom_to_fit
Start in zoom-to-fit mode.
--zoom_to_width
Start in zoom-to-width mode. This is the default.
--rotation=n, -r n
Set initial rotation to n degrees clockwise.
--color_mode=invert, -c invert
Start in inverted color mode.
--color_mode=sepia, -c sepia
Start in sepia color mode.
--autoreload, -a
Reload current file once it changes.
--cache_size=n
Selects the number of pages to cache. jfbview has a in-memory
cache of pages rendered at a particular zoom and rotation set‐
ting. However, you may wish to adjust the cache size down if
this cache is consuming too much memory, or you may wish to ad‐
just the cache size up for increased performance. If you have an
older machine with limited RAM you may want to set it close to
zero.
KEY BINDINGS - MAIN VIEW
jfbview has a set of vi-like key bindings and many commands can be pre‐
fixed with a number. These are shown with a [n] prefix below.
q Quit.
Tab Open OUTLINE VIEW (table of contents, i.e., TOC; see below).
/ Open SEARCH VIEW (see below).
[n]arrow keys, [n]h/l/k/j
Move left/right/up/down.
[n]Space/^F
Move n screens down. Default is 1.
[n]^B Move n screens up. Default is 1.
[n]PageDown/PageUp
Go down / up n pages. Default is 1.
[n]=/+ Zoom in n times. Default is 1.
[n]- Zoom out n times. Default is 1.
s Zoom to screen width.
a Zoom to fit.
 Default for G is last page; default for g is first
page.
[n]m Save current position, zoom and rotation in document in bookmark
n. The default is 0.
[n]` Restore saved position, zoom and rotation in bookmark n. The de‐
fault is 0.
[n]r Set rotation to n degrees. Default is 0.
[n]>/. Rotate 90 degrees clockwise n times. Default is 1.
[n]</, Rotate 90 degrees counter-clockwise n times. Default is 1.
[n]z Set zoom to n percent.
e Reload current file from disk.
I Toggle inverted color mode.
S Toggle sepia color mode.
KEY BINDINGS - OUTLINE VIEW
The outline view is toggled by the Tab key.
Tab/q/Esc
Toggle outline view.
j/Down, k/Up
Move down or up.
PageDown/PageUp
Go down / up one page.
Enter/g
Go to selected item.
Space Fold/unfold selected item.
zR Unfold all.
zM Fold all.
KEY BINDINGS - SEARCH VIEW - SEARCH TEXT
Esc Toggle search view.
Enter Start search.
Tab/Down/PageDown
Go to search results.
KEY BINDINGS - SEARCH VIEW - SEARCH RESULTS
q/Esc Toggle search view.

PageDown/PageUp
Go down / up one page.
Tab// Go to search text.
BUGS
Please submit bugs reports and any suggestions for improvement at
https://github.com/jichu4n/jfbview/issues.
AUTHOR
Chuan Ji<EMAIL_ADDRESS>2020-05-25 25 May 2020 man(1)
Man(1) output converted with
man2html


7 Major Nairobi Roads to be Closed for 5 Hours
by Eddy MwanzaThe Kenya Urban Roads Authority (KURA) on Monday, November 25, announced a major disruption of traffic within Nairobi.
In a press statement, the authority cited the Grand Nairobi Bike race set for Sunday, December 1, as the cause of the temporal closure of several roads across the capital for half a day.
"This is to notify the general public that traffic along Lang'ata Road, Aerodrome Road, Lower Hill Road, Uhuru Highway, Haile Selassie, and Bunyala Road will be disrupted from 8:00 a.m. till 12:30 p.m.," read their press statement in part.
Motorists were advised to find alternative routes on the day, as traffic marshalls would seal off the aforementioned roads as well as the busy Uhuru Highway to make room for the race.
The race provides a rare day for cyclists ranging from children, recreational, and professional cyclists to grace the streets of Nairobi.
According to information provided by the event organisers, an estimated 1,000 cyclists are expected to participate in the historic event.
"We feel that this is an opportune time to hold a race on the streets of Nairobi with the aspirations of making Nairobi and Kenya at large, a cycling destination for enthusiasts, showcasing the efforts going towards better public transport inclusion and reduced fuel emissions," read a section of the Grand Nairobi Bike Race press release.
In a similar move, the government on Friday, November 22, 2019, issued a notice to the public stating that a section of King'ara Road, Nairobi would be closed for 10 days, from Monday, December 2, 2019, to Wednesday, December 11, 2019.
The closure of the road is expected to affect adjacent roads like Ngong Road.


upload
select
png
.png file
size in pixel OK
transparent pixel found
10 mm pixel - or -
30 mm pixel
enter value for the edge of the frame
enter your e-mail adress<EMAIL_ADDRESS>start


January 2023 - Present
Hardware design and engineering for interactive physical sculpture.
July, November 2021
August, September 2022
Installation version of Valla's pointcloud.garden body of work for exhibitions in Shanghai, San Francisco, and Istanbul.
June, July 2022
Working with researchers from RISD and Hyundai Design on future-focused, bioinspired prototypes.
March - May 2022
Interaction Design Consultant | Big Dreams
February 2022
September, October 2019
Interactive installation for The New York Times and Amazon Streaming's popup Museum of Modern Love.
June 2019
Custom LED panel production and testing for FILA's Explore popup in SOHO, NYC.
May 2019
Interactive environmental light and sound installation for Bulleit's tasting rooms in Kentucky, USA.
Technologist | Tellart
August 2018 - January 2019
Systems architecture and backend development for Alita Immersive Experience. Javascript with Meteor framework, MongoDB, Raspberry Pi, Apache webserver, Arduino.
Technologist | Tellart
May 2018 - August 2018
Circuit design and firmware development for underwater robotics application.
Technologist | Tellart
October 2017 - January 2018
Design, development, installation for Samsung's Unbox Pavillion at the XXIII Olympic Winter Games in Gangueng, South Korea.
September 2017, March 2018, April - May 2018
Hardware and Software development of working, physically interactive protoypes. Raspberry pi, Cinder, OpenCV.
June 2017 - October 2017
Design and Development of hardware and software systems for performance cycling wearable device.
February 2017 - June 2017
Front-end and back-end web development for user-facing and internal pages. MVC design pattern using CodeIgnitor web framework. HTML, CSS, PHP, JavaScript.
Circuit Technician | Biolite
January, February 2017
Assembling and testing printing circuit board prototypes for the Biolite CampStove 2 and other products and prototypes.
November 2016
Wiring, soldering, construction, and installation for Walking Chimes, a piece by Taeyoon Choi and Christine Sun Kim that was exhibited at The Smithsonian's Ctrl+Alt: A Culture Lab On Imagined Futures.
January 2015 - January 2017
Designing and building sensor systems for collecting, storing, and visualizing data for NASA contract space suits.
UX Designer | DBRS Innovation Labs
January 2015 - November 2016
Two long-term contracts producing wireframes and designs for internal and external products with a focus on communicating AI, Machine Learning, and Data science concepts to the general public.
Studio Anchor | ITP Innovation Lab
Summer 2015
Served as facilitator and adviser for museum professionals from MoMA, The Metropolitan Museum, Radio Lab, and more.
Camp Counselor | ITP Camp
Summers 2014, 2015
Led workshops and help sessions for participants.
Co-Founder | Square Nail Hops Farm
2010 - 2013
Conducted grant-funded agricultural research projects in association with the USDA, Cornell University, the University of Vermont, and the Northeast Hops Alliance.


Pseudo-inputs
This style mimics text inputs, so mixed elements can be included:
Check
This is an information bubble to help the user.
Special inputs
Selects
Custom skin select:
These custom select come with advanced features:
- Two opening modes: click and hover
- Preserve original select width if set
- Screen position auto-detect: the list open on top if there is not enough space below the select - even while scrolling!
- Support for multiple selects, with easy-selection mode (enabled automatically on touch devices)
- Display as drop-down or as list
- Keyboard focus, scroll and select
- Keyboard search: type one or more letters to jump to the first matching entry
- Configuration options are set with classes and inline data attribute - no javascript needed
- On touch screens, fallback to OS interface when selecting
Selects examples
Expandable list
For long values
Disabled
By class or input
Check list
Touch friendly
Multiple selection
(hold Ctrl/Cmd)
Multiple + check
Easy selection
Multiple + allow empty
Easy selection
Single as list
(no multiple selection)
Multiple as list
(hold Ctrl/Cmd)
Multiple + check
Easy selection
In a tooltip
Context menu


--- layout: post authors: ["Greg Wilson"] title: "Instructor Training in Norwich, October 2014" date: 2014-06-05 time: "12:15:00" tags: ["Instructor Training"] ---
We are pleased to announce that we will be running a two-day version of our instructor training course at The Genome Analysis Centre in Norwich, UK, on October 22-23, 2014. Registration details will be available shortly, but if you are interested in taking part, please mark your calendar and keep an eye on this blog, or the announcement page, for details.
Our thanks to the good folks at TGAC for making this possible—we look forward to an engaging couple of days.


{% extends "app/layout.html" %} {% block content %}
Over-allocation of water for agricultural, municipal, and industrial use severely depletes stream flows across the American West, degrading ecosystems, and posing economic risk to all who depend on reliable water supplies. Can a novel approach to water agreements - legal transactions that change water use or transfer or sell water rights - overturn competition between users and instead advance a multiple-benefit approach that restores stream flows, reduces economic risk associated with water shortages, and maintains agricultural economies?
Explore existing projects or create a new project for evaluating water sharing alternatives.


PZ Ghana records GH¢42.5 million profit in 2019
by Patrick Obeng, GNAAccra, Nov. 14, GNA - PZ Cussons Ghana Limited recorded a net profit of 42.5 million Ghana cedis in 2019 as against 6.5 million Ghana cedis in 2018.
However, revenue fell from GH¢111.6 million to GH¢106.5 million representing a decline of 4.5 per cent while operating profit improved at GH¢28.6 million as compared to GH¢3.3 million in the year under review.
Mr Paul Kwabena Pepera, the Board Chairman, disclosed this at the 61st Annual General Meeting in Accra.
He said the outcome of the company’s operations, this year, was reflective of the commitment to a sustainable growth agenda.
Mr Pepera said business remained strong and solidly positioned for sustainable performance and returns on investment in the years ahead.
“We are committed to increasing shareholders’ value by optimizing the marketing and distribution of our products and providing consumers with quality products that suit their daily needs and aspirations whilst we continue to fulfil our corporate social responsibilities,” he said.
Mr Pepera said despite the challenges the company faced as a result of the cleaning up of the financial sector, it continued to remain solid in the midst of those challenges by putting firm measures in place to sustain the strong position in the market.
“Our main focus brands continue to be Camel/Carex, Nunu, Cussons Baby and Robb, which have maintained their leading market positions due to the company’s continued investment in people, distribution and brand equity building activities,” he said.
Mr David Afflu, the Managing Director of the company, said Management would profitably grow the business, strengthen its portfolio, and enhance the lives of employees and consumers and all other stakeholders by living and breathing the shared values.
GNA


FemmeHacks 2020 is still looking for sponsors! Please email<EMAIL_ADDRESS>if you're interested in being a sponsor.


5. Adversarial Search
Suppose you have an oracle, $OM(s)$, that correctly predicts the opponent’s move in any state. Using this, formulate the definition of a game as a (single-agent) search problem. Describe an algorithm for finding the optimal move.
Consider the problem of solving two 8-puzzles.
-
Give a complete problem formulation in the style of Chapter search-chapter.
-
How large is the reachable state space? Give an exact numerical expression.
-
Suppose we make the problem adversarial as follows: the two players take turns moving; a coin is flipped to determine the puzzle on which to make a move in that turn; and the winner is the first to solve one puzzle. Which algorithm can be used to choose a move in this setting?
-
Does the game eventually end, given optimal play? Explain.
Imagine that, in Exercise [two-friends-exercise], one of the friends wants to avoid the other. The problem then becomes a two-player game. We assume now that the players take turns moving. The game ends only when the players are on the same node; the terminal payoff to the pursuer is minus the total time taken. (The evader “wins” by never losing.) An example is shown in Figure pursuit-evasion-game-figure.
-
Copy the game tree and mark the values of the terminal nodes.
-
Next to each internal node, write the strongest fact you can infer about its value (a number, one or more inequalities such as “$\geq 14$”, or a “?”).
-
Beneath each question mark, write the name of the node reached by that branch.
-
Explain how a bound on the value of the nodes in (c) can be derived from consideration of shortest-path lengths on the map, and derive such bounds for these nodes. Remember the cost to get to each leaf as well as the cost to solve it.
-
Now suppose that the tree as given, with the leaf bounds from (d), is evaluated from left to right. Circle those “?” nodes that would not need to be expanded further, given the bounds from part (d), and cross out those that need not be considered at all.
-
Can you prove anything in general about who wins the game on a map that is a tree?
Exercise 5.4 [game-playing-chance-exercise]
Describe and implement state descriptions, move generators, terminal tests, utility functions, and evaluation functions for one or more of the following stochastic games: Monopoly, Scrabble, bridge play with a given contract, or Texas hold’em poker.
Describe and implement a real-time, multiplayer game-playing environment, where time is part of the environment state and players are given fixed time allocations.
Discuss how well the standard approach to game playing would apply to games such as tennis, pool, and croquet, which take place in a continuous physical state space.
Exercise 5.7 [minimax-optimality-exercise]
Prove the following assertion: For every game tree, the utility obtained by max using minimax decisions against a suboptimal min will never be lower than the utility obtained playing against an optimal min. Can you come up with a game tree in which max can do still better using a suboptimal strategy against a suboptimal min?
Player $A$ moves first. The two players take turns moving, and each player must move his token to an open adjacent space in either direction. If the opponent occupies an adjacent space, then a player may jump over the opponent to the next open space if any. (For example, if $A$ is on 3 and $B$ is on 2, then $A$ may move back to 1.) The game ends when one player reaches the opposite end of the board. If player $A$ reaches space 4 first, then the value of the game to $A$ is $+1$; if player $B$ reaches space 1 first, then the value of the game to $A$ is $-1$.
Consider the two-player game described in Figure line-game4-figure.
-
Draw the complete game tree, using the following conventions:
-
Write each state as $(s_A,s_B)$, where $s_A$ and $s_B$ denote the token locations.
-
Put each terminal state in a square box and write its game value in a circle.
-
Put loop states (states that already appear on the path to the root) in double square boxes. Since their value is unclear, annotate each with a “?” in a circle.
-
-
Now mark each node with its backed-up minimax value (also in a circle). Explain how you handled the “?” values and why.
-
Explain why the standard minimax algorithm would fail on this game tree and briefly sketch how you might fix it, drawing on your answer to (b). Does your modified algorithm give optimal decisions for all games with loops?
-
This 4-square game can be generalized to $n$ squares for any $n > 2$. Prove that $A$ wins if $n$ is even and loses if $n$ is odd.
This problem exercises the basic concepts of game playing, using tic-tac-toe (noughts and crosses) as an example. We define $X_n$ as the number of rows, columns, or diagonals with exactly $n$ $X$’s and no $O$’s. Similarly, $O_n$ is the number of rows, columns, or diagonals with just $n$ $O$’s. The utility function assigns $+1$ to any position with $X_3=1$ and $-1$ to any position with $O_3 = 1$. All other terminal positions have utility 0. For nonterminal positions, we use a linear evaluation function defined as ${Eval}(s) = 3X_2(s) + X_1(s) - (3O_2(s) + O_1(s))$.
-
Approximately how many possible games of tic-tac-toe are there?
-
Show the whole game tree starting from an empty board down to depth 2 (i.e., one $X$ and one $O$ on the board), taking symmetry into account.
-
Mark on your tree the evaluations of all the positions at depth 2.
-
Using the minimax algorithm, mark on your tree the backed-up values for the positions at depths 1 and 0, and use those values to choose the best starting move.
-
Circle the nodes at depth 2 that would not be evaluated if alpha–beta pruning were applied, assuming the nodes are generated in the optimal order for alpha–beta pruning.
Consider the family of generalized tic-tac-toe games, defined as follows. Each particular game is specified by a set $\mathcal S$ of squares and a collection $\mathcal W$ of winning positions. Each winning position is a subset of $\mathcal S$. For example, in standard tic-tac-toe, $\mathcal S$ is a set of 9 squares and $\mathcal W$ is a collection of 8 subsets of $\cal W$: the three rows, the three columns, and the two diagonals. In other respects, the game is identical to standard tic-tac-toe. Starting from an empty board, players alternate placing their marks on an empty square. A player who marks every square in a winning position wins the game. It is a tie if all squares are marked and neither player has won.
-
Let $N= |{\mathcal S}|$, the number of squares. Give an upper bound on the number of nodes in the complete game tree for generalized tic-tac-toe as a function of $N$.
-
Give a lower bound on the size of the game tree for the worst case, where ${\mathcal W} = {{\,}}$.
-
Propose a plausible evaluation function that can be used for any instance of generalized tic-tac-toe. The function may depend on $\mathcal S$ and $\mathcal W$.
-
Assume that it is possible to generate a new board and check whether it is a winning position in 100$N$ machine instructions and assume a 2 gigahertz processor. Ignore memory limitations. Using your estimate in (a), roughly how large a game tree can be completely solved by alpha–beta in a second of CPU time? a minute? an hour?
Develop a general game-playing program, capable of playing a variety of games.
-
Implement move generators and evaluation functions for one or more of the following games: Kalah, Othello, checkers, and chess.
-
Construct a general alpha–beta game-playing agent.
-
Compare the effect of increasing search depth, improving move ordering, and improving the evaluation function. How close does your effective branching factor come to the ideal case of perfect move ordering?
-
Implement a selective search algorithm, such as B* @Berliner:1979, conspiracy number search @McAllester:1988, or MGSS* @Russell+Wefald:1989 and compare its performance to A*.
Describe how the minimax and alpha–beta algorithms change for two-player, non-zero-sum games in which each player has a distinct utility function and both utility functions are known to both players. If there are no constraints on the two terminal utilities, is it possible for any node to be pruned by alpha–beta? What if the player’s utility functions on any state differ by at most a constant $k$, making the game almost cooperative?
Describe how the minimax and alpha–beta algorithms change for two-player, non-zero-sum games in which each player has a distinct utility function and both utility functions are known to both players. If there are no constraints on the two terminal utilities, is it possible for any node to be pruned by alpha–beta? What if the player’s utility functions on any state sum to a number between constants $-k$ and $k$, making the game almost zero-sum?
Develop a formal proof of correctness for alpha–beta pruning. To do this, consider the situation shown in Figure alpha-beta-proof-figure. The question is whether to prune node $n_j$, which is a max-node and a descendant of node $n_1$. The basic idea is to prune it if and only if the minimax value of $n_1$ can be shown to be independent of the value of $n_j$.
-
Mode $n_1$ takes on the minimum value among its children: $n_1 = \min(n_2,n_21,\ldots,n_{2b_2})$. Find a similar expression for $n_2$ and hence an expression for $n_1$ in terms of $n_j$.
-
Let $l_i$ be the minimum (or maximum) value of the nodes to the left of node $n_i$ at depth $i$, whose minimax value is already known. Similarly, let $r_i$ be the minimum (or maximum) value of the unexplored nodes to the right of $n_i$ at depth $i$. Rewrite your expression for $n_1$ in terms of the $l_i$ and $r_i$ values.
-
Now reformulate the expression to show that in order to affect $n_1$, $n_j$ must not exceed a certain bound derived from the $l_i$ values.
-
Repeat the process for the case where $n_j$ is a min-node.
Prove that the alpha–beta algorithm takes time $O(b^{m/2})$ with optimal move ordering, where $m$ is the maximum depth of the game tree.
Suppose you have a chess program that can evaluate 5 million nodes per second. Decide on a compact representation of a game state for storage in a transposition table. About how many entries can you fit in a 1-gigabyte in-memory table? Will that be enough for the three minutes of search allocated for one move? How many table lookups can you do in the time it would take to do one evaluation? Now suppose the transposition table is stored on disk. About how many evaluations could you do in the time it takes to do one disk seek with standard disk hardware?
Suppose you have a chess program that can evaluate 10 million nodes per second. Decide on a compact representation of a game state for storage in a transposition table. About how many entries can you fit in a 2-gigabyte in-memory table? Will that be enough for the three minutes of search allocated for one move? How many table lookups can you do in the time it would take to do one evaluation? Now suppose the transposition table is stored on disk. About how many evaluations could you do in the time it takes to do one disk seek with standard disk hardware?
This question considers pruning in games with chance nodes. Figure trivial-chance-game-figure shows the complete game tree for a trivial game. Assume that the leaf nodes are to be evaluated in left-to-right order, and that before a leaf node is evaluated, we know nothing about its value—the range of possible values is $-\infty$ to $\infty$.
-
Copy the figure, mark the value of all the internal nodes, and indicate the best move at the root with an arrow.
-
Given the values of the first six leaves, do we need to evaluate the seventh and eighth leaves? Given the values of the first seven leaves, do we need to evaluate the eighth leaf? Explain your answers.
-
Suppose the leaf node values are known to lie between –2 and 2 inclusive. After the first two leaves are evaluated, what is the value range for the left-hand chance node?
-
Circle all the leaves that need not be evaluated under the assumption in (c).
Implement the expectiminimax algorithm and the *-alpha–beta algorithm, which is described by @Ballard:1983, for pruning game trees with chance nodes. Try them on a game such as backgammon and measure the pruning effectiveness of *-alpha–beta.
Exercise 5.20 [game-linear-transform]
Prove that with a positive linear transformation of leaf values (i.e., transforming a value $x$ to $ax + b$ where $a > 0$), the choice of move remains unchanged in a game tree, even when there are chance nodes.
Exercise 5.21 [game-playing-monte-carlo-exercise]
Consider the following procedure for choosing moves in games with chance nodes:
-
Generate some dice-roll sequences (say, 50) down to a suitable depth (say, 8).
-
With known dice rolls, the game tree becomes deterministic. For each dice-roll sequence, solve the resulting deterministic game tree using alpha–beta.
-
Use the results to estimate the value of each move and to choose the best.
Will this procedure work well? Why (or why not)?
In the following, a “max” tree consists only of max nodes, whereas an “expectimax” tree consists of a max node at the root with alternating layers of chance and max nodes. At chance nodes, all outcome probabilities are nonzero. The goal is to find the value of the root with a bounded-depth search. For each of (a)–(f), either give an example or explain why this is impossible.
-
Assuming that leaf values are finite but unbounded, is pruning (as in alpha–beta) ever possible in a max tree?
-
Is pruning ever possible in an expectimax tree under the same conditions?
-
If leaf values are all nonnegative, is pruning ever possible in a max tree? Give an example, or explain why not.
-
If leaf values are all nonnegative, is pruning ever possible in an expectimax tree? Give an example, or explain why not.
-
If leaf values are all in the range $[0,1]$, is pruning ever possible in a max tree? Give an example, or explain why not.
-
If leaf values are all in the range $[0,1]$, is pruning ever possible in an expectimax tree?
-
Consider the outcomes of a chance node in an expectimax tree. Which of the following evaluation orders is most likely to yield pruning opportunities?
-
Lowest probability first
-
Highest probability first
-
Doesn’t make any difference
-
In the following, a “max” tree consists only of max nodes, whereas an “expectimax” tree consists of a max node at the root with alternating layers of chance and max nodes. At chance nodes, all outcome probabilities are nonzero. The goal is to find the value of the root with a bounded-depth search.
-
Assuming that leaf values are finite but unbounded, is pruning (as in alpha–beta) ever possible in a max tree? Give an example, or explain why not.
-
Is pruning ever possible in an expectimax tree under the same conditions? Give an example, or explain why not.
-
If leaf values are constrained to be in the range $[0,1]$, is pruning ever possible in a max tree? Give an example, or explain why not.
-
If leaf values are constrained to be in the range $[0,1]$, is pruning ever possible in an expectimax tree? Give an example (qualitatively different from your example in (e), if any), or explain why not.
-
If leaf values are constrained to be nonnegative, is pruning ever possible in a max tree? Give an example, or explain why not.
-
If leaf values are constrained to be nonnegative, is pruning ever possible in an expectimax tree? Give an example, or explain why not.
-
Consider the outcomes of a chance node in an expectimax tree. Which of the following evaluation orders is most likely to yield pruning opportunities: (i) Lowest probability first; (ii) Highest probability first; (iii) Doesn’t make any difference?
Which of the following are true and which are false? Give brief explanations.
-
In a fully observable, turn-taking, zero-sum game between two perfectly rational players, it does not help the first player to know what strategy the second player is using—that is, what move the second player will make, given the first player’s move.
-
In a partially observable, turn-taking, zero-sum game between two perfectly rational players, it does not help the first player to know what move the second player will make, given the first player’s move.
-
A perfectly rational backgammon agent never loses.
Consider carefully the interplay of chance events and partial information in each of the games in Exercise [game-playing-chance-exercise].
-
For which is the standard expectiminimax model appropriate? Implement the algorithm and run it in your game-playing agent, with appropriate modifications to the game-playing environment.
-
For which would the scheme described in Exercise [game-playing-monte-carlo-exercise] be appropriate?
-
Discuss how you might deal with the fact that in some of the games, the players do not have the same knowledge of the current state.


Congratulations on your acceptance! The next step is for you to complete our short online training certification sessions.
These sessions are designed to provide the basic skills and information you need as a health professional to improve disease surveillance not only in your community and country, but also globally.
The journey to EpiCore certification begins by clicking the button below, where you will be directed to the first session consisting of a 20 minute video titled "Introduction to Innovative Disease Surveillance Training Course". Please watch this video and learn the following:
Above this video you will find a link where you can download the Introduction to Innovative Diseases Surveillance Training Course Handbook.
Next, proceed to the second session where you will need to download and read the EpiCore Course Training Course handbook. The handbook will go over the following:
After you finish viewing the videos or handbooks, you will be directed to take a short test. Once you pass the test, you will be a certified EpiCore member. You will have access to your EpiCore dashboard and will begin receiving Requests for Information on possible outbreaks in your region.
We are very excited to start working with you! Please do not hesitate to contact us at<EMAIL_ADDRESS>if you have any questions.
Sincerely,
The EpiCore Team
Download the Introduction to Innovative Diseases Surveillance Training Course Handbook
Please download and carefully the read the handbook below before taking the test.
Please complete the following multiple choice questions. There is only one correct answer per question. All questions must be answered correctly in order to pass the test.


Commercial management for Real estate agencies and agents.
Phil Dunphy is a real estate agent that has his own way of working: stores all his properties in an .XLS file, writes down his customer's data in his personal agenda and doesn't realize that he's losing clients everyday because of emails never sent.
The lack of best practices makes him look unprofessional and 50% of his time is wasted.
Phil doesn't knows it yet but, if he decides to keep working like this, he will have to close his business.
A web platform that encourages the best practices for real estate agents therefore improving productivity. Inmovis helps you get listings, manage clients, turning leads into customers and get trained.
Real estate business well done.
Real estate agents are now looking to create their own private MLS, they dont want to share their listings with everyone but just with the ones they trust. Joining Inmovis allows this. Invite your fellow agent, create you private MLS.
More than 10 years of experience in the Real State business. Sales man, business development expert and speaker. Commercial Director for 2 years of a prestigious Real State Agency. Leadership, Scrum/Agile skills and a result oriented entrepreneur.
Web Developer with 5 years of experience, Full Stack PHP, Angular JS, Python, Node.js, SQL and NoSQL. Front End Developer for Digital Agencies. Meetups organizer for Web developers. Scrum methodology. Motivated and creative.
Bilingual professional with more than 2 years of experience in Web Design. Deep knowledge of PhotoShop, Illustrator, InDesign and After Effects. Experience in Branding, User Interface Design, Digital Marketing and Events. Motivated and completely committed to this adventure. Knowledge of the Scrum framework.
Social Communicator with more than 3 years of experience in Digital Communities. Part of the 1st Startup Weekend Manizales winner team and Coca Cola Design Thinking event in Bogota. User Experience and Usability skills. Experience in using social media and social tools such as Twitter, ADS, Facebook Ads, Google Ads and Google Analytics. Lean knowledge and Entrepreneurship graduated.


Selection Sort is one of the simplest sorting algorithms, the main issue with this algorithm is that it is slow!
The algorithm moves through the list from left to right moving the smallest element into the current position. This process is carried out for every item in the list. In the code for this page a example algorithm is provided the uses the algorithm to create a new sorted list instead of sorting in place.
Test below:


While CSS Grid is more useful for two-dimensional layouts, CSS Flexbox provides straightforward code for flexible one-dimensional layouts. For example, this page is structured with a vertical navbar down the left of the page as one flexbox container, one vertical main flexbox container, and one horizontal flexbox footer across the bottom. CSS Grid is used to help position these three one-dimensional flexboxes on a two-dimensional page.
display: flex;
turns a container into a flexboxflex-direction
defines whether the container will run as a horizontalrow
or a verticalcolumn
Example: The green navbar flexbox and the gray main flexbox are both set to column, while the dark gray footer is set to a row flex-direction. Furthermore, each main section within the gray main container is a column flexbox itself.
When a container becomes a flexbox, its direct children (and only its direct children) become flexible items that can be controlled by flex properties defined in the parent CSS. In order for the header, paragraph, and list elements to become flex items, each main section is also given the display: flex;
property.
justify_content
and align_items
are the two main properties that are applied to the flexbox to position the items within it.
justify_content
aligns items along the main axis (horizontal for rows, vertical for columns) and takes the following valuescenter
which aligns items at the center of the container along main axisflex-start
aligns items at the start of the main axisflex-end
aligns at the end of main axisspace-around
aligns items along main axis with spacing before, between, and afterspace-between
aligns items along main axis with spacing betweenalign_items
is similar, but aligns items along the cross axis (vertical for rows, horizontal for columns) and takes the following valuescenter
flex-start
flex-end
stretch
items stretch to fill container (default)baseline
aligns items to text baseline, that the letters "sit" on
Example: The green navbar, a flexbox with a column flex-direction has a justify-content
value of space-around
to provide the spacing down along the vertical main axis. The dark gray footer has a value of baseline
for its align-items
property in order to have all the items sitting on the same line, regardless of font-size.
By default, Flexbox only accommodates one row or column along the main axis. By changing the value of flex-wrap
from the default of no-wrap
to wrap
we can push items that don't fit well down to a second row from left-to-right or over to a second column from top-to-bottom.
wrap-reverse
will do the same, except order items from right-to-left for rows and bottom-to-top for columns.
Properties can applied to individual items that are children of flexboxes.
flex-shrink
will shrink the item if the width the flex container is smaller than the combined widths of the items within it. A numerical value is given to determine for how much an item should be shrunk in comparison to other items sharing its containerflex-grow
operates similarly, except the objects will grow as space within the flex container allowsflex-basis
sets the starting size using standard size properties before the above adjustments are made.flex
combines all of the above three into a shorthandflex: 1 0 5em;
with the first value corresponding to grow, the second to shrink, and the third to basis.order
can be used on items with a numerical value to change the order they appear in the flex containeralign-self
can be directly applied to items to override the alignment set in its parent element and takes the same values as thealign-items
property
Example: The p
element in the footer has the property flex: 3 1 150px;
while the a
elements all have flex: 1 1 150px;
. This means that while they all have a starting width of 150px, the element with the text "Resources:" will grow 3 times as much as the links, and they will all shrink at the same rate. So, when the footer is 600px wide, the space for all four elements is divided equally. As the footer grows, 3 times as much of the extra space is allocated to the p
element as to each a
element.
Flexbox can be even more useful when used along with media queries for styling responsive pages.
Example: This page has a media query set for max-width of 650px. Under this query, in addition to the grid structure changing to one column, the footer flex direction is changed from row
to column
, and the flex values of its items are changed to flex: 1 1 0;
. This allows for most of the spacing to be adjusted simply by applying justify-content: space-around;
and align-items: center:
to the footer flexbox.