Asger F
|
a59a404752
|
Ruby: redundant check is implied by isToplevel()
|
2023-03-23 14:28:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
61bafd358a
|
C++: Fix another place that assumed that 'Expr' was always 'Instruction'.
|
2023-03-23 13:27:24 +00:00 |
|
Anders Schack-Mulligen
|
d440bc2d0c
|
Dataflow: Sync.
|
2023-03-23 13:40:23 +01:00 |
|
Anders Schack-Mulligen
|
4993e7c149
|
Dataflow: Rename output signature
|
2023-03-23 13:39:53 +01:00 |
|
Asger F
|
1f70c59bbc
|
Ruby: add test with deep unresolved classes
|
2023-03-23 13:36:14 +01:00 |
|
Anders Schack-Mulligen
|
1c1aa7ecdd
|
Dataflow: Add change notes.
|
2023-03-23 13:17:36 +01:00 |
|
erik-krogh
|
27c29303da
|
add test diagnostics test for internal error
|
2023-03-23 13:12:51 +01:00 |
|
Salah Baddou
|
b1d9c65194
|
Add JndiInjection Sanitizer Class
|
2023-03-23 12:11:07 +00:00 |
|
Anders Schack-Mulligen
|
ab95a0b9f0
|
Java/C#: Rename references
|
2023-03-23 13:09:09 +01:00 |
|
Anders Schack-Mulligen
|
978c5f7bd8
|
Java/C++: Autoformat
|
2023-03-23 13:06:19 +01:00 |
|
Anders Schack-Mulligen
|
d0b7ffda70
|
Python/Ruby/Swift: Rename references.
|
2023-03-23 13:06:19 +01:00 |
|
Anders Schack-Mulligen
|
72415c7c2c
|
C++: Rename references.
|
2023-03-23 13:06:19 +01:00 |
|
Anders Schack-Mulligen
|
ec34d44359
|
Java: Rename references.
|
2023-03-23 13:06:19 +01:00 |
|
Anders Schack-Mulligen
|
2761aa73ca
|
Dataflow: Sync.
|
2023-03-23 13:06:19 +01:00 |
|
Anders Schack-Mulligen
|
cfa5af969e
|
Dataflow: Rename Make to Global and remove has* prefix.
|
2023-03-23 13:06:19 +01:00 |
|
Michael Nebel
|
79cd7615b7
|
Merge pull request #12539 from michaelnebel/modelgenerator/configuration
Java/C#: Re-factor model generator taint tracking configurations to use the new API
|
2023-03-23 12:56:41 +01:00 |
|
Paolo Tranquilli
|
329684c2b0
|
Merge pull request #12634 from github/redsun82/swift-successuful-extractions
Swift: add a query showing successfully extracted files
|
2023-03-23 12:52:13 +01:00 |
|
Geoffrey White
|
de5cf84bd5
|
Swift: Address check failures.
|
2023-03-23 11:08:49 +00:00 |
|
Geoffrey White
|
a5bb93402c
|
Swift: Replace sources with (extendable) CSV.
|
2023-03-23 10:52:58 +00:00 |
|
Geoffrey White
|
9529bc5f09
|
Swift: The regressed test is not realistic, update it to be more like what really happens.
|
2023-03-23 10:52:58 +00:00 |
|
Geoffrey White
|
e266132f0a
|
Swift: Replace sinks with (extendable) CSV.
|
2023-03-23 10:45:29 +00:00 |
|
Geoffrey White
|
4c0d02a87d
|
Swift: Standardize the sources, sinks etc.
|
2023-03-23 10:39:03 +00:00 |
|
Geoffrey White
|
dfcad7fa84
|
Swift: Split the query into the usual three files.
|
2023-03-23 10:39:03 +00:00 |
|
Geoffrey White
|
879dea2984
|
Swift: Additional test cases.
|
2023-03-23 10:38:52 +00:00 |
|
erik-krogh
|
404cbc93eb
|
rename succ to pumpEnd throughout SuperLinearBackTracking.qll
|
2023-03-23 10:46:22 +01:00 |
|
erik-krogh
|
3f18b7730f
|
address some review comments
|
2023-03-23 10:39:56 +01:00 |
|
erik-krogh
|
e189b36e3f
|
materialize less strings when ranking states
|
2023-03-23 10:35:58 +01:00 |
|
Michael Nebel
|
d258a1c728
|
C#/Java: Some light re-factoring.
|
2023-03-23 10:24:46 +01:00 |
|
Paolo Tranquilli
|
ccb816ed84
|
Java: autoformat
|
2023-03-23 10:22:18 +01:00 |
|
Michael Nebel
|
b17a71674a
|
C#: Refactor the model generator configurations to use the new API.
|
2023-03-23 10:17:37 +01:00 |
|
Anders Schack-Mulligen
|
07f8780541
|
Merge pull request #12640 from github/workflow/coverage/update
Update CSV framework coverage reports
|
2023-03-23 09:55:40 +01:00 |
|
Michael Nebel
|
d0732a765b
|
C#: Sync files.
|
2023-03-23 09:52:42 +01:00 |
|
Michael Nebel
|
eed8c72ce6
|
Java: Refactor the model generator configurations to use the new API.
|
2023-03-23 09:48:12 +01:00 |
|
Kasper Svendsen
|
ce6be1f636
|
Dataflow: Instantiate stage 1 access paths with proper unit type
|
2023-03-23 08:32:16 +01:00 |
|
github-actions[bot]
|
271e41c6dd
|
Add changed framework coverage reports
|
2023-03-23 00:16:48 +00:00 |
|
Harry Maclean
|
45797b3de5
|
Ruby: bump cross to 0.2.5
This include support for mounting external path dependencies as volumes.
|
2023-03-23 12:20:15 +13:00 |
|
Harry Maclean
|
856132bc2f
|
Ruby: Fix cross-compilation
Ensure that builds via cargo-cross, which are executed in a docker
container, can see the shared library.
|
2023-03-23 11:59:14 +13:00 |
|
Harry Maclean
|
f2fc80b3c1
|
QL: Bump rust to 1.68
|
2023-03-23 11:59:14 +13:00 |
|
Harry Maclean
|
8c60b6e657
|
QL: Merge extractor crates into one
This mirrors the structure we have in the Ruby extractor, and will allow
us to share more code.
|
2023-03-23 11:59:14 +13:00 |
|
Harry Maclean
|
6171eae7a2
|
QL: Use shared extractor library
|
2023-03-23 11:59:13 +13:00 |
|
Harry Maclean
|
c90299baee
|
Ruby: Move codeql_threads calculation to library
|
2023-03-23 11:58:19 +13:00 |
|
Harry Maclean
|
74671281f9
|
Ruby: Remove unused dependencies from extractor
|
2023-03-23 11:58:18 +13:00 |
|
Harry Maclean
|
c4a7389873
|
Ruby: Move extractor into shared crate
This makes it possible for different languages to share this extractor.
|
2023-03-23 11:58:18 +13:00 |
|
erik-krogh
|
0462e2a6ea
|
update some expected output
|
2023-03-22 20:47:53 +01:00 |
|
Jami
|
71c37dba32
|
Merge pull request #12110 from jcogs33/jcogs33/add-heuristic-sql-models
Java: add sql summary model discovered with heuristics
|
2023-03-22 15:20:01 -04:00 |
|
Geoffrey White
|
bcca18d5b2
|
Merge pull request #12638 from geoffw0/testfix
Swift: Accept test regressions
|
2023-03-22 17:19:44 +00:00 |
|
Jami
|
081d97ff72
|
Merge pull request #12637 from jcogs33/jcogs33/yml-check-change-note
CI: Add yml files to change note check
|
2023-03-22 13:06:35 -04:00 |
|
Mathias Vorreiter Pedersen
|
0f240d6738
|
C++: Fix join order in 'boundFlowCond'.
|
2023-03-22 17:00:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
cd7ba7c503
|
C++: Fix join orders in 'eqBound'.
|
2023-03-22 16:51:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
0c6b60b2c6
|
C++: Avoid two joins on value number.
|
2023-03-22 16:51:39 +00:00 |
|