search

Baltoli / project-docs

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

Taking address of acq / rel #37

Closed Baltoli closed 7 years ago

Baltoli commented 7 years ago

Taking the address of the acquire or release functions should cause the analysis to fail - we'd have to do a full alias analysis to solve this problem.

Baltoli commented 7 years ago

I think the way to do this is to look for the function appearing as the first argument to a store instruction - this means that it's being put away somewhere and we don't know where it's going.