Teng Zhang

【现阶段的问题】 * VPN 连接没有幂等性：同一个配置的 Github Actions 连接 VPN，会有一定概率失败 * 临时的解决方案是：一天中多运行几次 Github Actions，有一次查成功的就减少了当天面临半夜停电的可能！  * https://github.com/zhangt2333/actions-easyconnect/pull/1 * 这个 PR 增加了对期望忽略的异常退出码的配置，可以忽略 VPN 连接失败的 github action 退出码，这样不会发送 action 异常的邮件提醒用户。但是仍需要保持 action 多次执行配置不变以保证一天有一次 VPN 连接正确。

This year, the paper on Tai-e's new frontend, *"Two Approaches to Fast Bytecode Frontend for Static Analysis"*, has been accepted by OOPSLA'25. This paper presents Tai-e's new bytecode frontend, which...

Temp variables not cleared when reinitializing in interactive mode of taint analysis

1

### 📝 Overall Description When re-[initialize](https://github.com/pascal-lab/Tai-e/blob/12e7c432c16fd5db0aa66aae5f6af2aa1bc96077/src/main/java/pascal/taie/analysis/pta/plugin/taint/TaintAnalysis.java#L113) Taint Analysis, the [temporary variables added during the previous round](https://github.com/pascal-lab/Tai-e/blob/12e7c432c16fd5db0aa66aae5f6af2aa1bc96077/src/main/java/pascal/taie/analysis/pta/plugin/taint/TransferHandler.java#L247-L249) of taint analysis have not been cleared. This causes the number of pointers to...

Diagnostic Package Generation for Issue Reporting

2

### Clear and concise description of the problem Currently, when users encounter errors or unexpected behavior with our tool, they face several challenges for issue reporting: - Manually gathering all...

[Discussion] Reconsider the use of `assert` for input validation in our codebase

4

## Background Java's `assert` keyword has specific intended use cases and runtime behavior that may not align with our current usage patterns in this repository. ### Java `assert` Conventions and...