Tony Torralba
|
9d6bc76dc0
|
Merge pull request #13817 from atorralba/atorralba/java/non-static-fieldvaluenode-step
Java: Allow flow out of FieldValueNodes for non-static fields
|
2023-07-27 09:14:04 +02:00 |
|
Owen Mansel-Chan
|
9b2b58a823
|
Sync files
|
2023-07-26 21:48:10 +01:00 |
|
Owen Mansel-Chan
|
e0cc337c71
|
Fix DataFlow::MergePathGraph3
Need to get the signatures correct.
|
2023-07-26 21:48:08 +01:00 |
|
Owen Mansel-Chan
|
f40bcd0cdd
|
Merge pull request #13824 from owen-mc/go/fix-compiler-error-messages-for-1.20.6
Go: Compiler error messages changed in Go 1.20.6
|
2023-07-26 21:46:54 +01:00 |
|
Robert Marsh
|
bf5ba37348
|
Swift: Hide InOutExpr
|
2023-07-26 18:42:27 +00:00 |
|
Robert Marsh
|
e54341a170
|
Swift: undo commented out line
|
2023-07-26 17:12:06 +00:00 |
|
Chris Smowton
|
c69a9ea032
|
Merge pull request #13793 from github/post-release-prep/codeql-cli-2.14.1
Post-release preparation for codeql-cli-2.14.1
|
2023-07-26 17:22:05 +01:00 |
|
Owen Mansel-Chan
|
778de6b5d2
|
Compiler error messages changed in Go 1.20.6
|
2023-07-26 16:55:26 +01:00 |
|
Charis Kyriakou
|
536fd349bd
|
Remove last updated information and sorting from MRVA views
|
2023-07-26 15:32:16 +01:00 |
|
Tony Torralba
|
8685242c16
|
Add tests
|
2023-07-26 14:13:43 +02:00 |
|
Stephan Brandauer
|
24cdc962c2
|
Merge pull request #13818 from github/kaeluka/fix-erroneous-endpoints-that-are-sinks-and-summary-neutrals
Java: Automodel Fix, Prevent Some Erroneous Endpoints
|
2023-07-26 12:45:29 +02:00 |
|
Jeroen Ketema
|
a4a492627d
|
Merge pull request #13775 from jketema/print-global
C++: Support printing of global and namespace variables in `PrintAST`
|
2023-07-26 11:29:39 +02:00 |
|
Jeroen Ketema
|
409471c3b2
|
C++: Rename getEnclosingDeclaration to getAnEnclosingDeclaration
|
2023-07-26 09:44:47 +02:00 |
|
Tony Torralba
|
602eb43109
|
Update partial flow test expectations
|
2023-07-26 09:32:13 +02:00 |
|
Robert Marsh
|
358737452e
|
Swift: reverse flow steps through InOutExpr
|
2023-07-25 20:34:36 +00:00 |
|
Michael B. Gale
|
aa59741c38
|
Merge pull request #13794 from github/mbg/csharp/improve-tracer-command-detection
C#: Limit detection of sub-command names in tracer configuration
|
2023-07-25 17:01:22 +01:00 |
|
Ian Lynagh
|
532552a7ac
|
Merge pull request #13751 from igfoo/igfoo/getCompilationInfo
Java: Improve the diagnostics consistency query
|
2023-07-25 16:54:17 +01:00 |
|
yoff
|
2067d393e1
|
Update shared/yaml/codeql/serverless/ServerLess.qll
Co-authored-by: Alex Ford <alexrford@users.noreply.github.com>
|
2023-07-25 17:27:45 +02:00 |
|
Rasmus Lerchedahl Petersen
|
b2688bba7d
|
Python: Relax module resolution
Do not require modules to reside in a package
|
2023-07-25 17:24:04 +02:00 |
|
Michael B. Gale
|
f3c6564dc3
|
Comment out test that fails on Windows
|
2023-07-25 16:15:51 +01:00 |
|
Stephan Brandauer
|
08f5774d13
|
Java: Automodel extraction fix for application mode
|
2023-07-25 17:11:07 +02:00 |
|
Geoffrey White
|
fbbc2938c3
|
Merge pull request #13816 from geoffw0/contig2
Swift: Use enum content in withContiguousStorageIfAvailable model.
|
2023-07-25 15:57:52 +01:00 |
|
Stephan Brandauer
|
698b8d3c5c
|
Java: Automodel extraction fix; previously, we treated endpoints that were marked as sinks, as well as summary-neutrals as 'erroneous'
|
2023-07-25 16:52:27 +02:00 |
|
Geoffrey White
|
ac3c4fd5ef
|
Swift: Actually I think this is value flow.
|
2023-07-25 14:44:21 +01:00 |
|
Tony Torralba
|
b8b38e4bbe
|
Java: Allow flow out of FieldValueNodes for non-static fields
|
2023-07-25 15:37:41 +02:00 |
|
Geoffrey White
|
5188095529
|
Swift: Use enum content in withContiguousStorageIfAvailable model.
|
2023-07-25 14:33:20 +01:00 |
|
Geoffrey White
|
aedd073dad
|
Merge pull request #12416 from geoffw0/contig
Swift: Model Sequence.withContiguousStorageIfAvailable
|
2023-07-25 14:05:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
0a7eecf28c
|
Merge pull request #13795 from geoffw0/enumcontent
Swift: Support EnumContent in models-as-data
|
2023-07-25 14:43:44 +02:00 |
|
Tony Torralba
|
c9fc5a54c7
|
Remove generated sinks and sources
|
2023-07-25 14:42:32 +02:00 |
|
Jeroen Ketema
|
4fcb576099
|
Merge branch 'main' into print-global
|
2023-07-25 14:10:33 +02:00 |
|
Mathias Vorreiter Pedersen
|
1f39ec3188
|
Merge pull request #13815 from MathiasVP/add-missing-result-test
C++: Add `cpp/invalid-pointer-deref` false negative
|
2023-07-25 13:12:44 +02:00 |
|
Mathias Vorreiter Pedersen
|
cd4ec6c996
|
C++: Add FN testcase.
|
2023-07-25 12:13:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
60c7c84018
|
Merge pull request #13774 from MathiasVP/add-more-invalid-deref-documentation
C++: Add more documentation to the `cpp/invalid-pointer-deref` query
|
2023-07-25 12:07:25 +02:00 |
|
Mathias Vorreiter Pedersen
|
9f2ee0d7c2
|
C++: Rename 'delta' to 'deltaDerefSourceAndPai'.
|
2023-07-25 11:25:24 +02:00 |
|
Mathias Vorreiter Pedersen
|
b1c6ee4396
|
Update cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-25 11:20:49 +02:00 |
|
Mathias Vorreiter Pedersen
|
13989dba91
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-25 11:20:03 +02:00 |
|
Mathias Vorreiter Pedersen
|
099e11fb0c
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-25 11:19:49 +02:00 |
|
Mathias Vorreiter Pedersen
|
997eb1caf2
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-25 11:19:14 +02:00 |
|
Mathias Vorreiter Pedersen
|
2caad67980
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-25 11:18:54 +02:00 |
|
Mathias Vorreiter Pedersen
|
99f6e685c7
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-25 11:18:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
54afed6e1d
|
C++: Rename 'delta' to 'deltaDerefSourceAndPai'.
|
2023-07-25 11:04:18 +02:00 |
|
Mathias Vorreiter Pedersen
|
46832d0b17
|
C++: Rename 'delta1' and 'delta2' in documentation.
|
2023-07-25 10:50:51 +02:00 |
|
Mathias Vorreiter Pedersen
|
e75f604172
|
C++: Replace more text with formulas.
|
2023-07-25 10:48:23 +02:00 |
|
Mathias Vorreiter Pedersen
|
7f7930b3bb
|
Update cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-25 10:36:12 +02:00 |
|
Mathias Vorreiter Pedersen
|
af904f5cfe
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-25 10:33:57 +02:00 |
|
Mathias Vorreiter Pedersen
|
97809e7646
|
Update cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-25 10:33:38 +02:00 |
|
Mathias Vorreiter Pedersen
|
e1f519fab7
|
Update cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-25 10:33:17 +02:00 |
|
Mathias Vorreiter Pedersen
|
e1763db36c
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-25 10:31:37 +02:00 |
|
Mathias Vorreiter Pedersen
|
9f9cf9f765
|
Update cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-25 10:31:06 +02:00 |
|
Mathias Vorreiter Pedersen
|
70ac0a5462
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-25 10:30:56 +02:00 |
|