v0.5.2

New Features

• Add format check for command-line arguments.
• Add performance monitoring (CPU and memory usage) functionality to Monitor.
• Pointer analysis
  • Add special handling for zero-length arrays to enhance PTA precision.
  • Add may-alias-pair client to count may-alias variable pairs.
  • Model Arrays.copyOf for non-functional arrays for soundness.
  • Model jdk.internal.misc.Unsafe to obtain sound results for ConcurrentHashMap.
  • Improve the performance of Obj.getType() by caching Obj's type.
• Side-effect analysis
  • Improve SideEffectAnalysis precision using context-sensitive information and more efficient algorithms.
• Class hierarchy analysis (CHA)
  • Improve CHABuilder precision via resolving callees using the type of the receiver variable.

Fixes

• Fix NPE in Zipper-e pre-analysis.
• Fix the behavior of UnionFindSet.setCount() when used concurrently.
• Fix the k-value setup for the CustomEntryPoint testcase.
• Fix ReflectionAnalysis plugin to enable AnnotationModel only for Java 5+.
• Fix static fields handling in UnsafeModel to prevent invalid instance field access.
• Fix the missing STATIC modifier of static phantom fields in ClassHierarchyImpl.
• Fix NPE in Exception Analysis.
• Fix SideEffectAnalysis incorrect behavior when only-app is false.
• Fix Mahjong's FieldPointsToGraph by handling non-functional MockObj in PointerAnalysisResultImpl.
• Fix the detection of jar files in BenchmarkRunner.
• Fix CHABuilder method resolution for static and special methods.
• Fix shadowed instance fields in dumped points-to set.
• Fix missing edges when converting context-sensitive call graph to context-insensitive call graph.
• Escape special characters in StringLiteral.

Contributors

We would like to thank the following community members for their contributions to this release: cs-cat, Jinpeng Wang, FoggyDawn, Zhenyu Yan, RacerZ, Chenxi Li, Teng Zhang, Zhiwei Zhang.