Model jdk.internal.misc.Unsafe to obtain sound results for ConcurrentHashMap

[jjppp]

This PR should fix #200 by modeling 3 Unsafe APIs (getReferenceAcquire, putReferenceRelease, and compareAndSetReference) in jdk.internal.misc.Unsafe.

[codecov]

Codecov Report

❌ Patch coverage is 69.44444% with 11 lines in your changes missing coverage. Please review.
✅ Project coverage is 75.75%. Comparing base (523aec2) to head (589f75b).
⚠️ Report is 1 commits behind head on master.

Files with missing lines	Patch %	Lines
.../taie/analysis/pta/plugin/natives/UnsafeModel.java	69.44%	9 Missing and 2 partials ⚠️

Additional details and impacted files

@@             Coverage Diff              @@
##             master     #201      +/-   ##
============================================
+ Coverage     75.67%   75.75%   +0.08%     
- Complexity     4626     4644      +18     
============================================
  Files           480      480              
  Lines         15928    15969      +41     
  Branches       2183     2188       +5     
============================================
+ Hits          12053    12097      +44     
+ Misses         3008     3007       -1     
+ Partials        867      865       -2     

Files with missing lines	Coverage Δ
.../taie/analysis/pta/plugin/natives/UnsafeModel.java	78.94% <69.44%> (-16.30%)	⬇️

... and 8 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.