Update CPALockator to support rcu analysis
To update CPALockator it is necessary to write a rule specification for instrumentation of rcu functions. Also, it is need to write a some set of tests.
Updated by Evgeny Novikov 5 months ago
Some important fixes in the requirement specification and test cases were made in branch rcu-tests-fixes. Besides, Pavel updated CPALockator there. After performing testing (unfortunately many RCU related test cases do not demonstrate ideal results, but it is a known issue), I merged the branch to master in b27a1c53f.