search

Baltoli / project-docs

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

Disallow address taking in call seq #48

Closed Baltoli closed 7 years ago

Baltoli commented 7 years ago

If the callee has its address taken anywhere, the analysis is false.