Source code for angr.exploration_techniques.spiller_db
# pylint:disable=missing-class-docstring,unused-import
import datetime
try:
import sqlalchemy
from sqlalchemy import Column, Integer, String, Boolean, DateTime, create_engine
from sqlalchemy.orm import sessionmaker
from sqlalchemy.ext.declarative import declarative_base
from sqlalchemy.exc import OperationalError
Base = declarative_base()
[docs] class PickledState(Base):
__tablename__ = "pickled_states"
id = Column(String, primary_key=True)
priority = Column(Integer)
taken = Column(Boolean, default=False)
stash = Column(String, default="")
timestamp = Column(DateTime, default=datetime.datetime.utcnow)
except ImportError:
sqlalchemy = None
create_engine = None
Base = None
OperationalError = None
sessionmaker = None