Package vivisect :: Package symboliks :: Module effects
[hide private]
[frames] | no frames]

Module effects

source code

Classes [hide private]
  SymbolikEffect
A single symbolik effect...
  DebugEffect
DebugEffect is used to represent an NOP effect that we want logged.
  SetVariable
  ReadMemory
  WriteMemory
  CallFunction
This effect represents a procedural branch.
  ConstrainPath
Variables [hide private]
  EFFTYPE_DEBUG = 0
hash(x)
  EFFTYPE_SETVAR = 1
hash(x)
  EFFTYPE_READMEM = 2
hash(x)
  EFFTYPE_WRITEMEM = 3
hash(x)
  EFFTYPE_CALLFUNC = 4
hash(x)
  EFFTYPE_CONSTRAIN = 5
hash(x)