Chris Smowton 7c9b44b4cb Don't include arg -> param edges in PathGraph::edges whose arg is not reachable ...

This avoids lots of missing-node warnings from `codeql bqrs interpret` as it discards the nodes that occur in the `edges` relation but not `nodes`. The problem arises because subpaths introduced two variants of `reach`, one of which is more restrictive than simply `reach(succ) and succ = pred.getASuccessor()`, so it no longer suffices to just check that the successor is reachable.

2022-01-18 10:30:09 +01:00

..

examples

QlPacks: Add the defaultSuite to query packs that are missing it

2021-10-12 11:54:50 -07:00

lib

Don't include arg -> param edges in PathGraph::edges whose arg is not reachable

2022-01-18 10:30:09 +01:00

src

Merge pull request #6576 from atorralba/atorralba/android-cleartext-storage-filesystem

2022-01-17 14:02:38 +01:00

test

Merge pull request #6576 from atorralba/atorralba/android-cleartext-storage-filesystem

2022-01-17 14:02:38 +01:00