Stephan Brandauer 3e88d46e0f add a getFlowLabel method to the PathNode class

2022-02-09 17:28:25 +01:00

..

internal

remove redundant inline type casts

2022-01-21 11:46:33 +01: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

add a getFlowLabel method to the PathNode class

2022-02-09 17:28:25 +01:00

CustomAbstractValueDefinitions.qll

add explicit this to all member calls

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

DataFlow.qll

Fix non-US spelling of 'behavior'

2021-12-17 15:29:31 +00: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

add support for the 'node:' prefix for importing internal modules

2022-01-25 10:55:34 +01:00

Portals.qll

Packaging: Rafactor Javascript core libraries

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

Refinements.qll

apply range pattern patch to javascript

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

Sources.qll

Packaging: Rafactor Javascript core libraries

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

TaintTracking.qll

use more set literals

2022-01-20 16:06:34 +01:00

TrackedNodes.qll

JS: Rename FlowSteps::callback -> exploratoryCallbackStep

2021-09-08 13:08:12 +02:00

TypeInference.qll

run the non-us patch with "modelled/modeled"

2021-12-20 17:47:15 +01:00

TypeTracking.qll

fix most issues found by ql/class-doc-style in JS

2022-01-20 15:10:16 +01:00