[2401.02660] Exception-aware Lifecycle Model Construction for Framework APIs