AegisAsync: Symbolic Async-Event Simulation for Python Async Programs
AegisAsync is introduced as a bytecode-based analysis tool to detect security and robustness risks in Python asynchronous programs.
AegisAsync is introduced as a bytecode-based analysis tool to detect security and robustness risks in Python asynchronous programs.