Getter and setters in tracifier branch

cs-au-dk / jalangi2

Dynamic analysis framework for JavaScript

Apache License 2.0

1 stars 1 forks source link

Open algobardo opened 7 years ago

algobardo commented 7 years ago

Getter and setters in tracifier branch solve some of the existing unsoundnesses in TAJS, but introduce others.

var x = {
  get f() { return 2; },
  f: 1
}
TAJS_dumpValue(x.f);

With this code 2 is observed, but 1 is the correct observation.

algobardo commented 7 years ago

@christofferqa any quick idea ?

esbena commented 7 years ago

Note: @amoeller has cursed about the spec wrt. such silly object literal declarations containing ambiguous accessor definitions.