Packages

package validators

Package Members

  1. package cfg

Type Members

  1. class CallReceiverValidator extends Validator

    This class checks that 1) all CALL nodes with dispatch type DYNAMIC_DISPATCH have an outgoing receiver edge 2) all CALL nodes with dispatch type STATIC_DISPATCH have no outgoing receiver edge

  2. class CpgValidator extends AnyRef
  3. class InFactsValidator extends Validator
  4. class KeysValidator extends Validator
  5. class OutFactsValidator extends Validator
  6. abstract class Validator extends AnyRef

Ungrouped