Geoffrey White
|
cd3b519081
|
Apply suggestions from code review
Co-authored-by: mc <42146119+mchammer01@users.noreply.github.com>
|
2023-07-24 14:11:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
db8b506106
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-24 14:58:06 +02:00 |
|
Mathias Vorreiter Pedersen
|
88b78284ec
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-24 14:57:59 +02:00 |
|
Stephan Brandauer
|
13027a1094
|
Java: review suggestions from @atorralba
|
2023-07-24 14:09:10 +02:00 |
|
Stephan Brandauer
|
2f2f507a5d
|
Java: drive-by change: remove obsolete custom queries from application mode characteristics
|
2023-07-24 13:55:53 +02:00 |
|
Jeroen Ketema
|
0a0e34716e
|
Merge pull request #13811 from jketema/ternary-tests
C++: Add more IR tests for the ternary operator
|
2023-07-24 12:50:01 +02:00 |
|
Mathias Vorreiter Pedersen
|
4a276c37ac
|
C++: Remove 'TODO' now that the implementation has been fixed.
|
2023-07-24 12:24:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
4345369e9b
|
C++: Replace 'Barrier2' with 'SizeBarrier' in QLDoc.
|
2023-07-24 12:22:26 +02:00 |
|
Mathias Vorreiter Pedersen
|
d02a1c2840
|
C++: Remove paragraph.
|
2023-07-24 12:20:38 +02:00 |
|
Mathias Vorreiter Pedersen
|
5edc5e7c7b
|
C++: Reflow comments in QLDoc.
|
2023-07-24 12:15:57 +02:00 |
|
Mathias Vorreiter Pedersen
|
a272eb8447
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-24 12:14:47 +02:00 |
|
Mathias Vorreiter Pedersen
|
9108982b07
|
C++: Update example in QLDoc.
|
2023-07-24 12:13:31 +02:00 |
|
Mathias Vorreiter Pedersen
|
9cb09d6e9a
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-24 12:12:00 +02:00 |
|
Mathias Vorreiter Pedersen
|
aa6bf67482
|
Merge branch 'main' into add-more-invalid-deref-documentation
|
2023-07-24 12:09:19 +02:00 |
|
Mathias Vorreiter Pedersen
|
1fa6511482
|
Merge pull request #13792 from MathiasVP/swap-argument-order-in-invalid-ptr-deref
C++: Swap argument order in `cpp/invalid-pointer-deref`
|
2023-07-24 12:05:38 +02:00 |
|
Mathias Vorreiter Pedersen
|
f0ab3a3c84
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-24 12:04:02 +02:00 |
|
Mathias Vorreiter Pedersen
|
8ab2f89d53
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-24 12:03:52 +02:00 |
|
Mathias Vorreiter Pedersen
|
786c6e1c5e
|
Merge branch 'main' into swap-argument-order-in-invalid-ptr-deref
|
2023-07-24 11:26:27 +02:00 |
|
Jeroen Ketema
|
645028e219
|
C++: Add more IR tests for the ternary operator
|
2023-07-24 11:22:27 +02:00 |
|
Mathias Vorreiter Pedersen
|
4676ca5a4a
|
Merge pull request #13789 from MathiasVP/better-names-in-invalid-ptr-deref
C++: Improve names of identifiers in `cpp/invalid-pointer-deref`
|
2023-07-24 11:17:09 +02:00 |
|
Mathias Vorreiter Pedersen
|
c44507cc42
|
C++: 'sizeAddend' instead of 'extra'.
|
2023-07-24 10:57:25 +02:00 |
|
Geoffrey White
|
39b6d927d6
|
Swift: Make QL-for-QL happy (this line will be deleted at some point anyway).
|
2023-07-24 09:23:07 +01:00 |
|
Geoffrey White
|
066a6ef7c4
|
Swift: Change note.
|
2023-07-24 09:13:56 +01:00 |
|
Geoffrey White
|
b8f67d7e8a
|
Swift: Test changes (not affecting results).
|
2023-07-24 09:03:01 +01:00 |
|
Geoffrey White
|
b62c86d89c
|
Swift: Autoformat.
|
2023-07-24 08:45:49 +01:00 |
|
Geoffrey White
|
dc89e0d2b0
|
Swift: Change note.
|
2023-07-24 08:28:37 +01:00 |
|
Tony Torralba
|
af8612ecd2
|
Merge pull request #13797 from github/workflow/coverage/update
Update CSV framework coverage reports
|
2023-07-24 09:12:25 +02:00 |
|
Tony Torralba
|
6c0d47f122
|
Update java/ql/lib/semmle/code/java/frameworks/InputStream.qll
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2023-07-24 08:49:37 +02:00 |
|
Tony Torralba
|
4e7438ac5c
|
Make sure that InputStreamWrapperCapturedLocalStep is indeed local
|
2023-07-24 08:49:37 +02:00 |
|
Tony Torralba
|
d3b3af8ae6
|
Re-adds jump step
Note that this causes FP flow in the call context test cases
|
2023-07-24 08:49:37 +02:00 |
|
Tony Torralba
|
36ff54b48b
|
Convert jump step into local step
Note that this has FNs in the test cases where the source is used locally in the nested classes' methods
|
2023-07-24 08:49:37 +02:00 |
|
Tony Torralba
|
cc5a404149
|
Add more test cases
|
2023-07-24 08:49:36 +02:00 |
|
Tony Torralba
|
226103b246
|
Add local class test
|
2023-07-24 08:49:36 +02:00 |
|
Tony Torralba
|
f054f73836
|
Apply suggestions from code review
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2023-07-24 08:49:36 +02:00 |
|
Tony Torralba
|
1de68457ae
|
Move steps to InputStream.qll
|
2023-07-24 08:49:36 +02:00 |
|
Tony Torralba
|
0156fcc381
|
Apply suggestions from code review
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2023-07-24 08:49:36 +02:00 |
|
Tony Torralba
|
3a6665b0ed
|
Add change note
|
2023-07-24 08:49:36 +02:00 |
|
Tony Torralba
|
5330ce12cc
|
Use new TypeInputStream
|
2023-07-24 08:49:34 +02:00 |
|
Tony Torralba
|
00e0e5a61a
|
Java: Add taint step for InputStream wrappers
|
2023-07-24 08:48:04 +02:00 |
|
github-actions[bot]
|
419bbbc9ac
|
Add changed framework coverage reports
|
2023-07-24 00:17:53 +00:00 |
|
Geoffrey White
|
94780aabec
|
Swift: Effect on the taint/core test.
|
2023-07-21 22:34:59 +01:00 |
|
Geoffrey White
|
1259f8d596
|
Swift: Clearer syntax and a shortcut for Optional.some.
|
2023-07-21 22:34:59 +01:00 |
|
Geoffrey White
|
89e7b75ea1
|
Swift: Flow from optional content through "!".
|
2023-07-21 22:34:59 +01:00 |
|
Geoffrey White
|
d9187c62fe
|
Swift: Parse MAD enum content.
|
2023-07-21 22:34:59 +01:00 |
|
Geoffrey White
|
1cfb9bbf34
|
Swift: Tests for enum content in MAD.
|
2023-07-21 22:34:58 +01:00 |
|
Michael B. Gale
|
a2f4628522
|
C#: Add integration test for tracing config fix
|
2023-07-21 20:14:46 +01:00 |
|
Michael B. Gale
|
ac389067fe
|
C#: Limit detection of sub-command names
|
2023-07-21 19:05:22 +01:00 |
|
github-actions[bot]
|
f91b7a9342
|
Post-release preparation for codeql-cli-2.14.1
|
2023-07-21 16:16:25 +00:00 |
|
Mathias Vorreiter Pedersen
|
742f080a55
|
C++: This predicate is no longer used.
|
2023-07-21 16:54:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
d350c0d5c8
|
C++: Accept test changes.
|
2023-07-21 16:54:46 +01:00 |
|