angr.exploration_techniques.spiller_db

class angr.exploration_techniques.spiller_db.PickledState

Bases: Base

id

priority

taken

stash

timestamp

__init__(**kwargs)

A simple constructor that allows initialization from kwargs.

Sets attributes on the constructed instance using the names and values in kwargs.

Only keys that are present as attributes of the instance’s class are allowed. These could be, for example, any mapped columns or relationships.