AegisAsync: Symbolic Async-Event Simulation for Risks in Python Asynchronous Programs

Security and robustness risks in Python async programs depend on event order, object identity, and execution after exceptions or cancellation. Detecting these risks requires connecting related operations across function calls and tracking their effects along execution paths. We present AegisAsync...