Mathias Vorreiter Pedersen
|
1612ee3e9a
|
C++: Simplify the description of the sink.
|
2023-07-25 09:19:14 +02:00 |
|
Mathias Vorreiter Pedersen
|
55cfadb1f4
|
C++: Simplify the description of the source.
|
2023-07-25 09:13:27 +02:00 |
|
Mathias Vorreiter Pedersen
|
359a9e5fe8
|
C++: 'Step 1' does not make a lot of sense now that the files have been split.
|
2023-07-25 09:07:01 +02:00 |
|
Mathias Vorreiter Pedersen
|
acb1310e99
|
C++: Add more documentation.
|
2023-07-24 15:28:36 +02: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 |
|
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
|
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 |
|
Mathias Vorreiter Pedersen
|
c44507cc42
|
C++: 'sizeAddend' instead of 'extra'.
|
2023-07-24 10:57:25 +02: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
|
0859c4f926
|
C++: Fix swapped arguments in 'invalidPointerToDerefSource'.
|
2023-07-21 16:54:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
83aef6fc16
|
C++: Write formulas instead of 'non-strictly upper bounded by'.
|
2023-07-21 14:56:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
108cd7f078
|
C++: Use more descriptive names for identifiers in 'cpp/invalid-pointer-deref'.
|
2023-07-21 14:55:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
5270cf6c41
|
C++: Update documentation based on PR feedback.
|
2023-07-21 11:09:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
a7ee27ec22
|
C++: Fix 'begin'/'base' confusion.
|
2023-07-21 10:20:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
6c3c4c302e
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2023-07-21 10:19:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
4075dacd52
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll
|
2023-07-21 09:55:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
369cee9ed9
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2023-07-21 09:32:14 +01:00 |
|
github-actions[bot]
|
c936a920b0
|
Release preparation for version 2.14.1
|
2023-07-20 16:32:27 +00:00 |
|
Jeroen Ketema
|
7c429fb924
|
C++: Remove redundant case from shouldPrintDeclaration
A configuration should always exist, because it does not have a charpred
that could prevent this.
|
2023-07-20 16:11:17 +02:00 |
|
Jeroen Ketema
|
e76dc4a1f9
|
C++: Support printing of global and namespace variables in PrintAST
|
2023-07-20 11:43:55 +02:00 |
|
Jeroen Ketema
|
2a63116fc2
|
C++: Rename shouldPrintFunction to shouldPrintDeclaration
|
2023-07-19 16:55:43 +02:00 |
|
Mathias Vorreiter Pedersen
|
922f4d5496
|
C++: Add more documentation to the 'cpp/invalid-pointer-deref' query.
|
2023-07-19 14:42:20 +01:00 |
|
Anders Schack-Mulligen
|
a9c76d4175
|
Merge pull request #13717 from aschackmull/dataflow/neverskipadditionalsteps
Dataflow: Add support for not skipping configuration-specific nodes in big-step
|
2023-07-19 14:06:54 +02:00 |
|
Mathias Vorreiter Pedersen
|
475a892216
|
Merge pull request #13760 from MathiasVP/split-invalid-ptr-deref-into-more-files
C++: Split `cpp/invalid-pointer-deref` into more files
|
2023-07-19 11:36:35 +01:00 |
|
Anders Schack-Mulligen
|
e72a0b2f8c
|
Dataflow: Add change notes.
|
2023-07-19 11:41:15 +02:00 |
|
Anders Schack-Mulligen
|
941aa7ae28
|
C/C++: Don't force-include default steps in DefaultTaintTrackingImpl.
|
2023-07-19 11:41:15 +02:00 |
|
Anders Schack-Mulligen
|
95d17045c9
|
Dataflow: Sync.
|
2023-07-19 11:41:15 +02:00 |
|
Mathias Vorreiter Pedersen
|
2f48cde2e5
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-19 10:28:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
9a8fb0b93a
|
Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-07-19 10:27:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
3e1b4d97fe
|
C++: Add QLDoc.
|
2023-07-18 18:15:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
576f021c25
|
C++: Fix Code Scanning errors.
|
2023-07-18 18:15:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
5099de5b3d
|
C++: Split the query into 4 files.
|
2023-07-18 18:15:18 +01:00 |
|
Jeroen Ketema
|
aad094bdd0
|
C++: Handle FunctionAccesses with qualifiers
Also fix the IR generation for these and add more IR tests involving value
categories.
|
2023-07-18 16:35:39 +02:00 |
|
Mathias Vorreiter Pedersen
|
a038b389c3
|
C++: More cleanup.
|
2023-07-18 14:03:04 +01:00 |
|
Jeroen Ketema
|
a426010b06
|
Merge pull request #13621 from MathiasVP/deprecate-ast-dataflow
C++: Deprecate AST dataflow
|
2023-07-18 08:13:47 +02:00 |
|
Mathias Vorreiter Pedersen
|
11f2681904
|
Merge pull request #13740 from MathiasVP/unique-entry-point
C++: Exclude invalid functions from new range analysis
|
2023-07-17 13:32:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
f9db6a9868
|
C++: Don't do range analysis on malformed IR.
|
2023-07-17 10:15:01 +01: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 |
|