Michael Nebel
2266e28583
Merge pull request #13262 from michaelnebel/flowsummary/refactorgetcomponentstack
...
C#: Re-factor getComponent.
2023-05-31 08:22:44 +02:00
Arthur Baars
490d22d123
Merge remote-tracking branch 'upstream/main' into post-release-prep/codeql-cli-2.13.3
2023-05-30 21:31:28 +02:00
Tony Torralba
70138448c3
Visibility
2023-05-30 17:54:59 +02:00
Tony Torralba
0151a728f8
Add change note
2023-05-30 17:53:03 +02:00
Tony Torralba
d3d67f0fb0
Add tests & stubs
2023-05-30 17:52:00 +02:00
Tony Torralba
977263a126
Use container flow for more precision
2023-05-30 17:51:41 +02:00
Tony Torralba
54e011188d
Formatting
2023-05-30 17:50:50 +02:00
Andrew Eisenberg
6ba8f9eb36
Merge pull request #13314 from github/aeisenberg/adds-to-pack
...
Fix `addsTo.pack` references
2023-05-30 08:30:16 -07:00
Taus
00e4c455b5
Update MaD Declarations after Triage
2023-05-30 16:11:30 +02:00
Taus
73aa790cdd
Java: Improve sampling strategy
...
Instead of the "random" sampling used before (which could -- in rare circumstances -- end up sampling fewer points than we want) we now sample an equally distributed set of points.
2023-05-30 11:22:26 +00:00
Stephan Brandauer
d4b964c849
add support for sanitizers
2023-05-30 10:25:52 +02:00
Andrew Eisenberg
2d81e30d81
Fix addsTo.pack references
...
This change is a prerequisite for a CLI change where there will be
strict testing of the `addsTo.pack` values. It must resolve to a pack
reference that is a transitive dependency of the current query's pack.
2023-05-29 13:45:41 -07:00
Tony Torralba
6386ef3b96
Further perf improvements
2023-05-29 09:58:52 +02:00
Jami Cogswell
24fc4ba2d4
Java: add tests
2023-05-26 18:55:13 -04:00
Jami Cogswell
f255b6acb8
Java: fix typos
2023-05-26 18:55:13 -04:00
Jami Cogswell
7e6913af62
Java: update provenance to 'hq-manual'
2023-05-26 18:55:13 -04:00
Jami Cogswell
60b07083c3
Java: add 'sink' kind
2023-05-26 18:55:13 -04:00
Jami Cogswell
65dd7eb8e7
Java: add neutral models discovered with path-inj and ssrf heuristics
2023-05-26 18:55:13 -04:00
Taus
227c5fab40
Java: Get location ordering without toString
2023-05-26 14:52:08 +00:00
Stephan Brandauer
efe539eb32
Java: better sampling of negative examples
2023-05-26 14:15:32 +02:00
Stephan Brandauer
a89378d86d
Java: add extra known frameworks and sample negative samples to manage sarif file sizes
2023-05-26 13:20:04 +02:00
Tony Torralba
4dfc9b13cd
Java: Fix performance issue in the stub generator
2023-05-26 12:44:53 +02:00
Tony Torralba
8e16a0d144
Add tests and stubs for the summaries
2023-05-26 12:43:58 +02:00
Michael Nebel
915042a881
Minor cleanup and sync files.
2023-05-26 12:25:00 +02:00
Michael Nebel
b7a8660375
Java: Re-factor getComponent.
2023-05-26 12:24:59 +02:00
Tony Torralba
903fdb0cb8
Java: Add models for the Play Framework
2023-05-26 10:23:43 +02:00
Stephan Brandauer
5ca2221097
remove some of the biggest frameworks from application mode consideration
2023-05-25 17:06:02 +02:00
Stephan Brandauer
db77c6b9a3
Java: mark functional expressions as likely not sinks
2023-05-25 16:39:27 +02:00
Stephan Brandauer
76d731a61d
improve CannotBeTaintedCharacteristic
2023-05-25 16:28:07 +02:00
Stephan Brandauer
9a041243ff
Java: fine-tune characteristics
2023-05-25 14:16:32 +02:00
Stephan Brandauer
f224a40dec
Java: use containing call as call context, not argument
2023-05-25 14:16:23 +02:00
Stephan Brandauer
33fdb0fc52
Java: remove superfluous characteristic
2023-05-25 14:16:23 +02:00
Taus
2000f22533
Java: Port over characteristics from codex branch
2023-05-25 14:16:23 +02:00
Taus
11ab7e2e71
Java: Share argument indexing logic
...
Adds a utility predicate for turning integer indices into the desired string representation.
2023-05-25 14:16:23 +02:00
Taus
04b8bf35d4
Java: Avoid overlapping import
...
Importing `AutomodelEndpointTypes` inside `AutomodelSharedUtil` non-privately made it overlap with the imports in the candidate extraction queries.
2023-05-25 14:16:23 +02:00
Stephan Brandauer
db61a2d099
Java: share isKnownKind between modes
2023-05-25 14:16:16 +02:00
Stephan Brandauer
d93ad9b398
Java: remove unneeded abstract metadata extractor classes and fix some names
2023-05-25 14:16:11 +02:00
Stephan Brandauer
6e21f14c09
Java: update extraction query metadata
2023-05-25 14:16:03 +02:00
Stephan Brandauer
7c3bc26c41
Java: make input an actual string, not an integer
2023-05-25 14:15:59 +02:00
Stephan Brandauer
185ad101b3
Java: add application-mode and framework-mode tags to extraction queries
2023-05-25 14:15:50 +02:00
Taus
9b30f9a476
Java: Add negative characteristic for static calls
2023-05-25 14:15:49 +02:00
Taus
6fc16574b3
Java: Add QL support for automodel application mode
2023-05-25 14:15:49 +02:00
erik-krogh
9f5bf8fb22
also fix the first code-block
2023-05-25 13:56:29 +02:00
erik-krogh
765076bcba
fix whitespace in the samples in ReDoS.qhelp
2023-05-25 13:28:39 +02:00
Tony Torralba
a276cc3094
Convert all command injection sinks to MaD format
2023-05-25 11:41:32 +02:00
github-actions[bot]
5be4f6e58b
Add changed framework coverage reports
2023-05-25 00:16:11 +00:00
github-actions[bot]
d2e192020b
Post-release preparation for codeql-cli-2.13.3
2023-05-24 11:26:12 +00:00
Tony Torralba
7d0b02e267
Merge pull request #13248 from atorralba/atorralba/java/nio-files-copy-models-fix
...
Java: Tweak java.nio.file.Files.copy models
2023-05-24 10:55:15 +02:00
Edward Minnix III
52340802bb
Merge pull request #13097 from egregius313/egregius313/java/webgoat/ssrf-regex-fix
...
Java: Add constraint to `HostnameSanitizingPrefix` to prevent false negatives in SSRF queries
2023-05-23 10:50:43 -04:00
Tony Torralba
6f012d51c0
Merge pull request #13091 from atorralba/atorralba/java/inputstreamwrapper-transitive
...
Java: Make inputStreamWrapper consider supertypes transitively
2023-05-23 13:28:17 +02:00
