Michael Nebel
|
1a511c2d52
|
C#: Update the queries that provide LINQ recommendation.
|
2023-08-08 10:31:33 +02:00 |
|
Chad Bentz
|
d4b5a4d4f4
|
Merge branch 'main' into csharp-hardcoded-cred-identity-fp
|
2023-08-07 15:09:01 -04:00 |
|
github-actions[bot]
|
79c90fa36a
|
Release preparation for version 2.14.2
|
2023-08-07 18:08:52 +00:00 |
|
Jeroen Ketema
|
8b6a7985db
|
Refactor the traint-tracking library to follow the dataflow library refactoring
|
2023-08-07 15:23:15 +02:00 |
|
Jeroen Ketema
|
5d2984b7a5
|
Merge branch 'main' into shared-taint-tracking
|
2023-08-07 15:22:29 +02:00 |
|
Tom Hvitved
|
05cf796c54
|
C#: Adjust to data flow refactor
|
2023-08-07 11:35:21 +02:00 |
|
Chad Bentz
|
e2e9c810bf
|
Add lib change-notes
|
2023-08-04 22:11:36 +00:00 |
|
Chad Bentz
|
5a106fd5d6
|
Removes false positive creds from NetCore Identity
|
2023-08-04 21:46:35 +00:00 |
|
Jeroen Ketema
|
747cd1745a
|
Update all languages to use the shared taint-tracking library
|
2023-08-04 22:53:25 +02:00 |
|
Tom Hvitved
|
b69188fee9
|
C#: Adopt shared CFG construction library from shared controlflow pack
|
2023-08-03 14:12:24 +02:00 |
|
Mathias Vorreiter Pedersen
|
3007fdab5e
|
Sync identical files.
|
2023-08-02 14:33:33 +02:00 |
|
Anders Schack-Mulligen
|
5c9a839ac7
|
C#: Adjust to use the qlpack data-flow api.
|
2023-08-01 13:47:09 +02:00 |
|
Owen Mansel-Chan
|
9b2b58a823
|
Sync files
|
2023-07-26 21:48:10 +01:00 |
|
github-actions[bot]
|
f91b7a9342
|
Post-release preparation for codeql-cli-2.14.1
|
2023-07-21 16:16:25 +00:00 |
|
github-actions[bot]
|
c936a920b0
|
Release preparation for version 2.14.1
|
2023-07-20 16:32:27 +00:00 |
|
Anders Schack-Mulligen
|
e72a0b2f8c
|
Dataflow: Add change notes.
|
2023-07-19 11:41:15 +02:00 |
|
Anders Schack-Mulligen
|
95d17045c9
|
Dataflow: Sync.
|
2023-07-19 11:41:15 +02:00 |
|
Anders Schack-Mulligen
|
80a799df01
|
Merge pull request #13735 from aschackmull/dataflow/forcehighprecision-fix
Dataflow: Fix forceHighPrecision for length-2 prefixes.
|
2023-07-14 11:42:35 +02:00 |
|
Anders Schack-Mulligen
|
91de43f918
|
C#/Java/Ruby: Remove superfluous module members.
|
2023-07-13 11:38:35 +02:00 |
|
Anders Schack-Mulligen
|
837df2ad37
|
Dataflow: Sync.
|
2023-07-13 10:55:39 +02:00 |
|
Ed Minnix
|
63299688d5
|
Add change notes for default implementations of isBarrier and isAdditionalFlowStep
|
2023-07-12 15:21:16 -04:00 |
|
Ed Minnix
|
9618c0b0a1
|
C#: Add default implementation of StateConfigSig::isAdditionalFlowStep/4
|
2023-07-12 15:06:25 -04:00 |
|
Ed Minnix
|
a3c30992b1
|
C#: Add default implementation of StateConfigSig::isBarrier/2
|
2023-07-12 15:06:25 -04:00 |
|
Mathias Vorreiter Pedersen
|
a4c0063ab1
|
Merge pull request #13679 from MathiasVP/speedup-big-step
DataFlow: Speed up the big step relation
|
2023-07-11 09:44:17 +01:00 |
|
github-actions[bot]
|
13cf054a9d
|
Post-release preparation for codeql-cli-2.14.0
|
2023-07-07 14:55:41 +00:00 |
|
github-actions[bot]
|
6484ee106e
|
Release preparation for version 2.14.0
|
2023-07-07 08:22:14 +00:00 |
|
Dave Bartolomeo
|
9631e9f2f1
|
Bump minor version numbers post-GHES
|
2023-07-06 10:10:01 -04:00 |
|
Dave Bartolomeo
|
2bb9adfbf1
|
Merge remote-tracking branch 'origin/main' into dbartol/mergeback-3.10
|
2023-07-06 10:00:46 -04:00 |
|
Mathias Vorreiter Pedersen
|
83d0dec0fb
|
DataFlow: Sync identical files.
|
2023-07-06 14:00:00 +01:00 |
|
Joe Farebrother
|
c10a66809d
|
Merge pull request #13094 from joefarebrother/csharp-missing-access-control
C#: Add query for missing function level access control
|
2023-07-05 17:40:59 +01:00 |
|
Michael Nebel
|
238f390738
|
Merge pull request #13452 from michaelnebel/refactorstackprinting
Re-factor printing of summary component stacks.
|
2023-07-04 08:29:10 +02:00 |
|
Michael Nebel
|
243c592447
|
Address review comments.
|
2023-07-03 17:01:08 +02:00 |
|
Michael Nebel
|
b942cd9085
|
C#: Address review comments.
|
2023-07-03 14:36:07 +02:00 |
|
Michael Nebel
|
62fc1b641c
|
C#: Adjust the model generator to produce kinds for neutrals.
|
2023-07-03 14:36:06 +02:00 |
|
Michael Nebel
|
4ee2d628fe
|
C#: Re-factor printing of summary component stacks.
|
2023-07-03 14:36:06 +02:00 |
|
Chuan-kai Lin
|
ce464a7d69
|
Remove pragma[assume_small_delta]
|
2023-06-30 11:09:29 -07:00 |
|
github-actions[bot]
|
668aaa2dc8
|
Post-release preparation for codeql-cli-2.13.5
|
2023-06-30 08:51:48 +00:00 |
|
github-actions[bot]
|
9d7987f822
|
Release preparation for version 2.13.5
|
2023-06-29 09:26:18 +00:00 |
|
Tom Hvitved
|
160771e673
|
C#: Avoid combinatorial explosions in GVN construction for types
|
2023-06-27 10:08:53 +02:00 |
|
Joe Farebrother
|
b2d54842a6
|
Apply review suggestion
Co-authored-by: Michael Nebel <michaelnebel@github.com>
|
2023-06-23 17:00:52 +01:00 |
|
Mathew Payne
|
0fcc1cb588
|
Merge branch 'main' into csharp-ext
|
2023-06-22 13:30:08 +01:00 |
|
Joe Farebrother
|
52841e9005
|
Apply review suggestions - minor fixes
|
2023-06-22 11:30:58 +01:00 |
|
Joe Farebrother
|
270bcc3740
|
fix qhelp and remove commented out code
|
2023-06-22 11:20:58 +01:00 |
|
Henry Mercer
|
5afdaf8fe1
|
Merge pull request #13525 from github/rc/3.10
Merge `rc/3.10` back to `main`
|
2023-06-21 17:13:36 +01:00 |
|
Jami
|
5259a6ecfc
|
Merge pull request #13324 from jcogs33/jcogs33/shared-sink-kind-validation
Shared: share MaD kind validation across languages
|
2023-06-20 11:56:12 -04:00 |
|
Mathew Payne
|
62b3d5ea19
|
Merge branch 'main' into csharp-ext
|
2023-06-20 16:17:35 +01:00 |
|
Owen Mansel-Chan
|
cdc1c2c1aa
|
Merge pull request #13454 from owen-mc/go/add-mad-content-for-pointer-content
Go: Add models-as-data content for pointer content
|
2023-06-20 14:26:07 +01:00 |
|
Owen Mansel-Chan
|
d7c97f8759
|
Merge pull request #13455 from owen-mc/dataflow/add-flowCheckNodeSpecific
Dataflow: add language-specific hook for breaking up big step relation
|
2023-06-20 13:24:26 +01:00 |
|
github-actions[bot]
|
18b678e69e
|
Post-release preparation for codeql-cli-2.13.4
|
2023-06-20 10:20:05 +00:00 |
|
Owen Mansel-Chan
|
04ff89e1fe
|
Update access path documentation
|
2023-06-20 11:05:05 +01:00 |
|