search

Baltoli / project-docs

Documents for my Part III project
0 stars 0 forks source link

No Acquire / Release Analysis #33

Closed Baltoli closed 7 years ago

Baltoli commented 7 years ago

Implement an analysis that checks for missing calls to acquire / release - if there aren't any, then the lock obviously isn't being used correctly.