Erik Krogh Kristensen 9893650f7c Merge pull request #8604 from erik-krogh/httpNode ...

JS: refactor most library models away from AST nodes

2022-09-09 10:04:17 +02:00

..

internal

Merge branch 'main' into dynCall

2022-08-29 15:30:01 +02:00

AbstractProperties.qll

add pragma[noinline] to predicates where the qldoc mentions join-order

2021-10-14 12:34:25 +02:00

AbstractValues.qll

Fix non-US spelling of 'behavior'

2021-12-17 15:29:31 +00:00

BackwardExploration.qll

Packaging: Rafactor Javascript core libraries

2021-08-25 12:15:56 -07:00

Configuration.qll

improve performance of global dataflow by inlining a step predicate

2022-08-22 08:35:19 +02:00

CustomAbstractValueDefinitions.qll

add explicit this to all member calls

2021-11-01 09:51:15 +01:00

DataFlow.qll

convert the AngularJS model to use DataFlow nodes

2022-09-05 16:11:54 +02:00

ForwardExploration.qll

Packaging: Rafactor Javascript core libraries

2021-08-25 12:15:56 -07:00

InferredTypes.qll

use set literal instead of big disjunction of literals

2021-10-26 12:55:25 +02:00

LocalObjects.qll

Packaging: Rafactor Javascript core libraries

2021-08-25 12:15:56 -07:00

Nodes.qll

run the explicit-this patch on javascript/

2022-09-05 16:11:55 +02:00

Portals.qll

JS: fix most ql/missing-parameter-qldoc issues

2022-03-16 22:56:52 +01:00

Refinements.qll

apply range pattern patch to javascript

2021-10-25 19:38:00 +02:00

Sources.qll

JS: Sync with JS

2022-09-03 13:51:02 +02:00

TaintTracking.qll

refactor miscellaneous expression uses to dataflow nodes

2022-09-05 16:11:55 +02:00

TypeInference.qll

fix most ql-for-ql warnings in JS

2022-02-11 17:57:37 +01:00

TypeTracking.qll

delete old code that only existed to support a deleted deprecated feature

2022-08-16 23:35:48 +02:00