Asger Feldthaus 6bef5a70b3 JS: Add dedicated API graph label for receiver, instead of parameter -1

2022-03-23 10:42:51 +01:00

..

argprops

…

async-await

JavaScript: Teach API graphs to handle some forms of property copying.

2021-10-29 11:19:54 +01:00

bound-args

JS: Add dedicated API graph label for receiver, instead of parameter -1

2022-03-23 10:42:51 +01:00

branching-flow

…

call-nodes

JS: Autoformat

2020-11-24 14:32:20 +00:00

classes

JavaScript: Improve API-graph support for function-style classes.

2020-10-02 09:25:51 +01:00

ctor-arg

…

custom-entry-point

…

cyclic

…

dynamic-prop-read

…

imprecise-export

…

imprecision

…

namespaced-package

…

nested-property-export

…

nonlocal

…

partial-invoke

JS: Add dedicated API graph label for receiver, instead of parameter -1

2022-03-23 10:42:51 +01:00

promises

…

promisify

JavaScript: Teach API graphs to handle promisify.

2021-01-11 13:53:46 +00:00

property-read-from-argument

JavaScript: Add a negative test for API graphs.

2020-10-08 19:53:23 +01:00

reexport

JavaScript: Add yet another API-graph test with re-exports.

2020-10-06 15:32:21 +01:00

return-self

…

spread

JS: Add spread step when bactracking in API graphs

2021-07-02 12:47:54 +02:00

typed

add edge from root type MkHasUnderlyingType

2021-03-18 11:04:08 +01:00

VerifyAssertions.qll

Merge branch 'main' into apiLabel2

2021-11-29 13:43:11 +01:00