angr/angrdb/db.py
def save_info(session, key, value):
        """
        Save an information entry to the database.

        :param session:
        :param key:
        :param value:
        :return:
        """

        db_info = session.query(DbInformation).filter_by(key=key).scalar()
        if db_info is not None:
            db_info.value = value
        else:
            db_info = DbInformation(key=key, value=value)
            session.add(db_info)

        Save an information entry to the database.

        :param session:
        :param key:
        :param value:
        :return:
        
Save an information entry to the database.
Save an information entry to the database .
def save_info(session, key, value):
        db_info = session.query(DbInformation).filter_by(key=key).scalar()
        if db_info is not None:
            db_info.value = value
        else:
            db_info = DbInformation(key=key, value=value)
            session.add(db_info)
def save_info ( session , key , value ) : db_info = session . query ( DbInformation ) . filter_by ( key = key ) . scalar ( ) if db_info is not None : db_info . value = value else : db_info = DbInformation ( key = key , value = value ) session . add ( db_info )
Save an information entry to the database.
Save an information entry to the database .
"""
        Save an information entry to the database.

        :param session:
        :param key:
        :param value:
        :return:
        """
None
session
None
key
None
value
None