search

qiyitang71 / jpf-visual

JPF Visual
1 stars 1 forks source link

Treat synchronized methods as lock/unlock event #8

Closed qiyitang71 closed 7 years ago

qiyitang71 commented 7 years ago

Original report by Artho Cyrille (Bitbucket: 557058:d037361a-d6a1-4cae-80e0-7b1940bbc779, GitHub: cyrille-artho).

For each method call, check if MethodInfo.isSynchronized() is true. If yes, the method call implicitly locks/unlocks "this" for the duration of the method. Therefore, the method execution should be treated as having lock/unlock events.

qiyitang71 commented 7 years ago

Original comment by Artho Cyrille (Bitbucket: 557058:d037361a-d6a1-4cae-80e0-7b1940bbc779, GitHub: cyrille-artho).

Works (as can be seen in oldclassic).