Erik Krogh Kristensen
|
9e2e32f037
|
Merge pull request #9322 from erik-krogh/fixAutoBuild
QL/RB: fix the QL-for-QL and ruby autobuilders
|
2022-07-13 14:39:59 +02:00 |
|
Erik Krogh Kristensen
|
cd5fbe633f
|
update locations in test after merging in the focus-location-pr
|
2022-07-13 10:12:52 +02:00 |
|
Erik Krogh Kristensen
|
a49d34cf0f
|
Merge branch 'main' into missDocParam
|
2022-07-13 09:58:04 +02:00 |
|
Erik Krogh Kristensen
|
dded3af3d8
|
remove more false positives from the ql/missing-parameter-qldoc query
|
2022-07-13 09:57:17 +02:00 |
|
Erik Krogh Kristensen
|
047b14e310
|
get the autobuilders to work after introducing test-cases
|
2022-07-13 09:50:55 +02:00 |
|
Erik Krogh Kristensen
|
eb0340dcb6
|
get excludes to work properly
|
2022-07-13 09:50:55 +02:00 |
|
Erik Krogh Kristensen
|
2850b35a04
|
update, and fix, the autobuilders by using the new --also-match option
|
2022-07-13 09:48:29 +02:00 |
|
Erik Krogh Kristensen
|
89043ec4ef
|
Merge branch 'main' into param2
|
2022-07-12 23:21:11 +02:00 |
|
Erik Krogh Kristensen
|
5cbe01d8dc
|
Merge pull request #8351 from erik-krogh/inconsistentDep
QL: add query detecting inconsistent deprecations
|
2022-07-12 23:12:24 +02:00 |
|
Erik Krogh Kristensen
|
73b657ce25
|
QL: focus alert locations
|
2022-06-21 12:26:18 +02:00 |
|
Ian Lynagh
|
f22de1ac81
|
Merge pull request #9583 from igfoo/igfoo/locationdocs
Fix broken links to information about Locations
|
2022-06-20 17:28:24 +01:00 |
|
Erik Krogh Kristensen
|
7d62b9e131
|
move the pruning for module resolution of TypeExprs
|
2022-06-20 12:12:57 +02:00 |
|
Rasmus Wriedt Larsen
|
ae44a941f9
|
Merge pull request #9421 from RasmusWL/inline-brackets
Inline Expectation Tests: Allow `tag[foo bar]`
|
2022-06-20 10:01:19 +02:00 |
|
Erik Krogh Kristensen
|
6d3808bd89
|
remove redundant cast
|
2022-06-19 23:19:01 +02:00 |
|
Erik Krogh Kristensen
|
15f9e084d5
|
fix spurious resolved predicate expressions
|
2022-06-19 22:49:02 +02:00 |
|
Erik Krogh Kristensen
|
f8b451a514
|
get all calls to resolve to a unique predicate (within reason)
|
2022-06-19 22:38:09 +02:00 |
|
Erik Krogh Kristensen
|
f08f02ed66
|
use the explicit super type to resolve calls
|
2022-06-19 20:38:16 +02:00 |
|
Erik Krogh Kristensen
|
115110475d
|
fix getName() on module instantiations
|
2022-06-19 20:09:32 +02:00 |
|
Erik Krogh Kristensen
|
26df367a8a
|
fix some instances of spuriously resolving to multiple predicates
|
2022-06-19 20:09:31 +02:00 |
|
Erik Krogh Kristensen
|
1856e2b389
|
fixup the $schema in all .sarif files
|
2022-06-19 20:09:31 +02:00 |
|
Erik Krogh Kristensen
|
6e2f3e2fcb
|
merge all .sarif files at the end of the QL-for-QL workflow
|
2022-06-19 20:09:31 +02:00 |
|
Erik Krogh Kristensen
|
638a886dfe
|
move create-extractor-pack to a scripts folder
|
2022-06-19 20:09:31 +02:00 |
|
Erik Krogh Kristensen
|
0391db6787
|
simplify some code based on review
|
2022-06-19 20:09:31 +02:00 |
|
Erik Krogh Kristensen
|
7e93416e97
|
only resolve module types if we know that the TypeExpr could possibly resolve to a module
|
2022-06-19 20:09:31 +02:00 |
|
Erik Krogh Kristensen
|
a59f0d36f5
|
run the implicit-this patch on QL-for-QL
|
2022-06-19 20:09:31 +02:00 |
|
Erik Krogh Kristensen
|
3a4f0299c7
|
fix typo
|
2022-06-19 20:09:31 +02:00 |
|
Erik Krogh Kristensen
|
a5e789c72b
|
Merge pull request #9537 from github/dependabot/cargo/ql/crossbeam-utils-0.8.8
Bump crossbeam-utils from 0.8.5 to 0.8.8 in /ql
|
2022-06-18 15:44:34 +02:00 |
|
Erik Krogh Kristensen
|
02b9745eb6
|
Merge pull request #9538 from github/dependabot/cargo/ql/regex-1.5.5
Bump regex from 1.5.4 to 1.5.5 in /ql
|
2022-06-18 15:44:10 +02:00 |
|
Rasmus Wriedt Larsen
|
b65a10d1ef
|
Inline Expectation Tests: sync
|
2022-06-17 17:38:19 +02:00 |
|
Erik Krogh Kristensen
|
84556fb93b
|
Merge pull request #9575 from erik-krogh/paramModules
QL: support for parameterized modules
|
2022-06-17 15:07:48 +02:00 |
|
Erik Krogh Kristensen
|
80f66779fb
|
fixup Definitions.qll
|
2022-06-17 11:27:07 +02:00 |
|
Erik Krogh Kristensen
|
13b743643e
|
everything is a TypeRef, some TypeRefs just resolve to a module
|
2022-06-17 11:22:04 +02:00 |
|
Erik Krogh Kristensen
|
2b5af15d80
|
comments about what we resolve, and remove a debug comment
|
2022-06-17 09:09:58 +02:00 |
|
dependabot[bot]
|
e456cdb5dc
|
Bump thread_local from 1.1.3 to 1.1.4 in /ql
Bumps [thread_local](https://github.com/Amanieu/thread_local-rs) from 1.1.3 to 1.1.4.
- [Release notes](https://github.com/Amanieu/thread_local-rs/releases)
- [Commits](https://github.com/Amanieu/thread_local-rs/compare/v1.1.3...1.1.4)
---
updated-dependencies:
- dependency-name: thread_local
dependency-type: indirect
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2022-06-17 01:42:18 +00:00 |
|
Erik Krogh Kristensen
|
96eacd0ea6
|
disable consistency checks in QL tests that does not hold with the current parameterized modules implementation
|
2022-06-16 23:10:09 +02:00 |
|
Erik Krogh Kristensen
|
e557f233d7
|
mark the implements of a module as being alive
|
2022-06-16 23:03:06 +02:00 |
|
Erik Krogh Kristensen
|
cf89faead0
|
just use TypeExpr to resolve modules
|
2022-06-16 22:55:11 +02:00 |
|
Erik Krogh Kristensen
|
dce817ec4b
|
resolve calls to all instantiations of a signature predicate
|
2022-06-16 22:55:11 +02:00 |
|
Erik Krogh Kristensen
|
2a7a0f398a
|
add support for signature modules (warning: ugly commit)
|
2022-06-16 22:55:10 +02:00 |
|
Erik Krogh Kristensen
|
98690c8a2e
|
add support for class signatures in parameterized modules
|
2022-06-16 22:55:10 +02:00 |
|
Erik Krogh Kristensen
|
e5d3a8fe90
|
add callgraph test for signature predicates
|
2022-06-16 22:55:10 +02:00 |
|
Erik Krogh Kristensen
|
20c9222e23
|
use explicit this
|
2022-06-16 22:55:10 +02:00 |
|
Erik Krogh Kristensen
|
744e2db152
|
fix the parser to allow lower-case module names
|
2022-06-16 22:55:10 +02:00 |
|
Erik Krogh Kristensen
|
55b6f073c2
|
resolve calls to signature predicates
|
2022-06-16 22:55:10 +02:00 |
|
Erik Krogh Kristensen
|
f25c4c5fdf
|
add consistency test that parents are unique (and fix non-unique parents)
|
2022-06-16 22:55:10 +02:00 |
|
Erik Krogh Kristensen
|
14b5f8410f
|
move the consistency predicates where they should be
|
2022-06-16 22:55:10 +02:00 |
|
Erik Krogh Kristensen
|
4be969ca3b
|
a bit of cleanup on SignatureExpr
|
2022-06-16 22:55:10 +02:00 |
|
Erik Krogh Kristensen
|
6e7db2d37c
|
hook up the pretty AST of a parameterized module
|
2022-06-16 22:55:10 +02:00 |
|
Erik Krogh Kristensen
|
1caafb87f7
|
add type arguments of ModuleInstation to the pretty AST
|
2022-06-16 22:55:10 +02:00 |
|
Erik Krogh Kristensen
|
adc1466cab
|
save the name of an instantiated module
|
2022-06-16 22:55:10 +02:00 |
|