Erik Krogh Kristensen f39872e649 cache more predicates

2021-11-22 09:03:36 +01:00

..

internal

Apply suggestions from code review

2021-11-11 10:42:49 +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 hasLocationInfo URL reference

2021-09-29 13:47:58 +02:00

BackwardExploration.qll

Packaging: Rafactor Javascript core libraries

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

Configuration.qll

Merge pull request #7044 from asgerf/js/proto-pollution-fps

2021-11-04 02:45:46 -07:00

CustomAbstractValueDefinitions.qll

Packaging: Rafactor Javascript core libraries

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

DataFlow.qll

use set literal instead of big disjunction of literals

2021-10-26 12:55:25 +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

apply range pattern patch to javascript

2021-10-25 19:38:00 +02: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

cache more predicates

2021-11-22 09:03:36 +01:00

TrackedNodes.qll

JS: Rename FlowSteps::callback -> exploratoryCallbackStep

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

TypeInference.qll

Packaging: Rafactor Javascript core libraries

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

TypeTracking.qll

Packaging: Rafactor Javascript core libraries

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