search

viperproject / sample

Other
0 stars 0 forks source link

May alias analysis invoked with empty path #56

Closed viper-admin closed 4 years ago

viper-admin commented 8 years ago

Created by bitbucket user caterinaurban on 2016-07-04 15:56 Last updated on 2016-07-04 21:03

In following example the path evaluation of the may alias analysis is invoked with an empty path:

#!scala

field f: Ref

method Foo(this: Ref)
{
    while(true)
    {
      this.f := null
    }
}
viper-admin commented 8 years ago

@dohrau commented on 2016-07-04 21:03

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

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

viper-admin commented 8 years ago

@dohrau on 2016-07-04 21:03:

  • changed state from new to resolved