-
Notifications
You must be signed in to change notification settings - Fork 180
Insights: pascal-lab/Tai-e
Overview
-
- 2 Merged pull requests
- 0 Open pull requests
- 3 Closed issues
- 1 New issue
Loading
Could not load contribution data
Please try again later
Loading
2 Pull requests merged by 2 people
-
Fix static fields handling in UnsafeModel to prevent invalid instance field access
#166 merged
Jun 20, 2025 -
Fix NPE in Zipper-e pre-analysis
#164 merged
Jun 19, 2025
3 Issues closed by 2 people
-
A False Positive Taint Flow between Entry Points
#167 closed
Jun 19, 2025 -
NPE during pointer analysis when using Zipper-e
#163 closed
Jun 19, 2025
1 Issue opened by 1 person
-
When the log4shell vulnerability is reproduced, the generated TFG graph has missing nodes
#168 opened
Jun 23, 2025