|
1 | 1 | # Changelog |
2 | 2 |
|
3 | | -## [Unreleased] - 2025-02-16 |
| 3 | +## [Unreleased] - 2025-12-31 |
| 4 | + |
| 5 | +## [0.5.2] - 2025-12-31 |
4 | 6 |
|
5 | 7 | ### New Features |
6 | 8 | - Add format check for command-line arguments. |
| 9 | +- Add performance monitoring (CPU and memory usage) functionality to `Monitor`. |
7 | 10 | - Pointer analysis |
8 | 11 | - Add special handling for zero-length arrays to enhance PTA precision. |
9 | 12 | - Add may-alias-pair client to count may-alias variable pairs. |
| 13 | + - Model `Arrays.copyOf` for non-functional arrays for soundness. |
| 14 | + - Model `jdk.internal.misc.Unsafe` to obtain sound results for `ConcurrentHashMap`. |
| 15 | + - Improve the performance of `Obj.getType()` by caching `Obj`'s type. |
| 16 | +- Side-effect analysis |
| 17 | + - Improve `SideEffectAnalysis` precision using context-sensitive information and more efficient algorithms. |
| 18 | +- Class hierarchy analysis (CHA) |
| 19 | + - Improve `CHABuilder` precision via resolving callees using the type of the receiver variable. |
10 | 20 |
|
11 | 21 | ### Fixes |
12 | 22 | - Fix NPE in Zipper-e pre-analysis. |
|
19 | 29 | - Fix `SideEffectAnalysis` incorrect behavior when `only-app` is false. |
20 | 30 | - Fix Mahjong's `FieldPointsToGraph` by handling non-functional `MockObj` in `PointerAnalysisResultImpl`. |
21 | 31 | - Fix the detection of jar files in `BenchmarkRunner`. |
| 32 | +- Fix `CHABuilder` method resolution for static and special methods. |
| 33 | +- Fix shadowed instance fields in dumped points-to set. |
| 34 | +- Fix missing edges when converting context-sensitive call graph to context-insensitive call graph. |
| 35 | +- Escape special characters in `StringLiteral`. |
| 36 | + |
| 37 | +### Contributors |
| 38 | + |
| 39 | +We would like to thank the following community members for their contributions to [this release](https://github.com/pascal-lab/Tai-e/compare/v0.5.1...v0.5.2): [cs-cat](https://github.com/cs-cat), [Jinpeng Wang](https://github.com/jjppp), [FoggyDawn](https://github.com/FoggyDawn), [Zhenyu Yan](https://github.com/Michael1015198808), [RacerZ](https://github.com/RacerZ-fighting), [Chenxi Li](https://github.com/ayanamists), [Teng Zhang](https://github.com/zhangt2333), [Zhiwei Zhang](https://github.com/auroraberry). |
22 | 40 |
|
23 | 41 | ## [0.5.1] - 2024-12-31 |
24 | 42 |
|
@@ -108,7 +126,8 @@ We would like to thank the following community members for their contributions t |
108 | 126 | - First release. |
109 | 127 |
|
110 | 128 |
|
111 | | -[Unreleased]: https://github.com/pascal-lab/Tai-e/compare/v0.5.1...HEAD |
| 129 | +[Unreleased]: https://github.com/pascal-lab/Tai-e/compare/v0.5.2...HEAD |
| 130 | +[0.5.2]: https://github.com/pascal-lab/Tai-e/compare/v0.5.1...v0.5.2 |
112 | 131 | [0.5.1]: https://github.com/pascal-lab/Tai-e/compare/v0.2.2...v0.5.1 |
113 | 132 | [0.2.2]: https://github.com/pascal-lab/Tai-e/compare/v0.0.3...v0.2.2 |
114 | 133 | [0.0.3]: https://github.com/pascal-lab/Tai-e/releases/tag/v0.0.3 |
0 commit comments