Skip to content
This repository was archived by the owner on Feb 11, 2025. It is now read-only.

soundiness #8

Open
amoeller opened this issue Oct 28, 2016 · 0 comments
Open

soundiness #8

amoeller opened this issue Oct 28, 2016 · 0 comments

Comments

@amoeller
Copy link
Member

amoeller commented Oct 28, 2016

Known sources of unsoundness in the modeling of the core language and native library:

  • properties of 'arguments' should be shared with the formal parameters (currently only supported one way)
  • getters/setters do not behave correctly if they have wrong number of arguments
  • RangeError exceptions caused by stack size exceeded are ignored
  • Unevalizer: variables created via 'eval' should have empty attributes, unlike ordinary variables
  • JSArray.sort ignores comparefn if it is a host object
  • ES5 Object.* methods missing some TypeErrors
  • ES5 strict mode only partly modeled
  • some ES5 native functions are modeled unsoundly by mdn-polyfills.js, including 'bind'
  • not all ES3 to ES5 minor "breaking changes" have been modeled
  • dynamic property write operations are assumed not to write to __proto__

These issues will be fixed "by need" if we find that they cause wrong analysis results on realistic programs.

@amoeller amoeller changed the title Minor soundness issues soundiness Oct 28, 2016
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

1 participant