AegisAsync: Symbolic Async-Event Simulation for Risks in Python Asynchronous Programs
cs.CR
Submitted: 2026-10-13
Updated: 2026-10-13
Code: https://github.com/pythontrio/flake8-async
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Sources
- CPyGraph: A Version-Aware Static Analysis Framework for Native CPython Bytecode
- PyFlow: An Inter-procedural Static Analysis Framework for Python
- Precise Dataflow Analysis of Event-Driven Applications
Related papers
- SoK: AI-Augmented Binary Reversing
- Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
- Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
- Estimating the Social Cost of Corporate Data Breaches
- Efficient Fuzzy PSI under One-Sided Assumptions
- Sealing the Audit-Runtime Gap for LLM Skills