Skip to content

Conversation

@asger-semmle
Copy link
Contributor

@asger-semmle asger-semmle commented Mar 6, 2019

This adds the TypeTracking library from #1035, marked as experimental and intentionally unused by our own query suite.

Since it is unused, I don't expect any impact on performance, though I'm currently running an evaluation as a sanity check.

I'm targeting it for 1.20 so we can use it for custom query work once 1.20 is deployed. The plan is to migrate our own libraries as well, but that's obviously too risky for a hotfix.

Unlike in #1035, a separate TypeBackTracker type has been added to avoid spurious call/return matching when backtracking. It is disjoint from TypeTracker, so it also prevents accidental use of .track() when back-tracking.

@asger-semmle asger-semmle added JS WIP This is a work-in-progress, do not merge yet! labels Mar 6, 2019
@asger-semmle asger-semmle added this to the 1.20 milestone Mar 6, 2019
@asger-semmle asger-semmle removed the WIP This is a work-in-progress, do not merge yet! label Mar 7, 2019
@asger-semmle asger-semmle marked this pull request as ready for review March 7, 2019 16:08
@asger-semmle asger-semmle requested a review from a team as a code owner March 7, 2019 16:08
@xiemaisi
Copy link

xiemaisi commented Mar 7, 2019

Internal testing revealed no changes to existing queries, so I'll merge without waiting for the evaluation to finish.

@xiemaisi xiemaisi merged commit b85f446 into github:rc/1.20 Mar 7, 2019
@asger-semmle
Copy link
Contributor Author

Evaluation was indeed fine.

@ghost
Copy link

ghost commented Mar 8, 2019

It is worth noting that the imprecision of these no-change evaluations appear to be within 2%.

ChakraCore                    2372                   2339                   0.986088
...
A2Z-F15                       4503                   4595                   1.02043

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants