abc.soot.util
Class Validate

java.lang.Object
  abc.soot.util.Validate

public class Validate
extends java.lang.Object

Validate a jimple class. Currently checks that: - all local variables are declared with non-void types - types are used correctly in assignments and method calls - local variables are initialised before use

Author:

Ganesh Sittampalam

Constructor Summary

Validate()

Method Summary

static void

validate(SootClass cl)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Validate

public Validate()

Method Detail

validate

public static void validate(SootClass cl)