openhands.security.invariant.analyzer

InvariantAnalyzer Objects

class InvariantAnalyzer(SecurityAnalyzer)

Security analyzer based on Invariant.

__init__

def __init__(event_stream: EventStream,
             policy: str | None = None,
             sid: str | None = None)

Initializes a new instance of the InvariantAnalzyer class.