search

viperproject / sample

Other
0 stars 0 forks source link

[Silver Permission Inference] Comparison of heap nodes is broken #61

Closed viper-admin closed 4 years ago

viper-admin commented 8 years ago

Created by @dohrau on 2016-07-05 09:48 Last updated on 2016-07-05 14:54

Comparing different heap nodes sometimes returns true even if the nodes are different (for instance, when comparing a summary node with an unknown node).

As a consequence of this bug, the check whether to paths must alias does not work. Which in turn leads to unintended behaviour of some methods of the permission analysis state (e.g. inhale, and also the assign field)

viper-admin commented 8 years ago

Bitbucket user caterinaurban commented on 2016-07-05 14:54

fixed https://github.com/viperproject/sample/issues/61

→ <<cset https://github.com/viperproject/sample/commit/d6c6d8f7ed005b7ffeab6fea3a288094365e0aae>>

viper-admin commented 8 years ago

Bitbucket user caterinaurban on 2016-07-05 14:54:

  • changed state from new to resolved