search

jscert / jsexplain

Apache License 2.0
26 stars 4 forks source link

Compute "substring" implies nonnegative argument check #45

Open barockobamo opened 5 years ago

barockobamo commented 5 years ago

From #26 :

There is one place where we compute a "substring" in the code; need to check whether the argument is always nonnegative.

IgnoredAmbience commented 5 years ago

"the code" is unclear, jsref or js_of_ast? The motivation for this issue may be hard to determine.

barockobamo commented 5 years ago

I can't tell for the same reason as in #49 . @brabalan ? Do you know from where it comes ?

brabalan commented 5 years ago

I think this is js_of_ast. I vaguely remember something in the standard library.