Benjamin Rodes
|
94a0420040
|
Updated getResultExpr to getResultNode. Added strlcat. Added tests.
|
2023-11-29 16:03:41 -05:00 |
|
Benjamin Rodes
|
4919c4a424
|
Added StringConcatenation.qll
|
2023-11-29 13:00:57 -05:00 |
|
Mathias Vorreiter Pedersen
|
1f9e2c71ce
|
Merge pull request #14928 from MathiasVP/surprising-lifetimes-c_str
C++: Add a new query for calling `c_str` on temporary objects
|
2023-11-29 10:15:11 +00:00 |
|
Mathias Vorreiter Pedersen
|
351caaccfe
|
C++: Add GOOD and BAD comments to qhelp examples.
|
2023-11-29 09:44:54 +00:00 |
|
Mathias Vorreiter Pedersen
|
8afd9288cb
|
Apply suggestions from code review
Co-authored-by: Felicity Chapman <felicitymay@github.com>
|
2023-11-29 09:36:29 +00:00 |
|
Mathias Vorreiter Pedersen
|
911f1543e0
|
DataFlow: Adjust QLDoc.
|
2023-11-28 15:26:48 +00:00 |
|
Mathias Vorreiter Pedersen
|
339bf1363a
|
DataFlow: s/flowThroughStepAllowed/validParameterAliasStep.
|
2023-11-28 14:32:23 +00:00 |
|
Mathias Vorreiter Pedersen
|
e47ad274ea
|
C++: Add Schack's tests.
|
2023-11-28 14:32:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
fb6329fbc1
|
C++: Fix test annotation
|
2023-11-28 14:27:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
1771d77c23
|
C++: Accept test changes.
|
2023-11-28 14:27:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
9049932f42
|
C++: Implement the new predicate.
|
2023-11-28 14:27:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
1753a7e146
|
C++: Add tests.
|
2023-11-28 14:27:15 +00:00 |
|
Jeroen Ketema
|
28ac46a73f
|
C++: Add change note
|
2023-11-28 14:57:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
2b36ba33f0
|
C++: Add support for 'data' in the query.
|
2023-11-28 12:57:59 +00:00 |
|
Alex Eyers-Taylor
|
3e9aeac004
|
CPP: Fix sscanf false positives in older linux repos
|
2023-11-28 12:07:05 +00:00 |
|
Mathias Vorreiter Pedersen
|
7b8d164692
|
C++: Add more good test cases.
|
2023-11-28 11:58:33 +00:00 |
|
Mathias Vorreiter Pedersen
|
62c432f3c7
|
C++: Tabs -> Spaces.
|
2023-11-28 11:52:17 +00:00 |
|
Jeroen Ketema
|
7dec819151
|
C++: Expose whether a function was prototyped or not
|
2023-11-28 10:24:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
ff4c63f696
|
C++: Add change note.
|
2023-11-28 09:16:49 +00:00 |
|
Mathias Vorreiter Pedersen
|
e10caa68f6
|
C++: Add tests.
|
2023-11-28 09:06:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
e94cde9b4b
|
C++: Move the use-after-free tests to subdirectory.
|
2023-11-28 09:06:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
71ad7696c3
|
C++: Add qhelp.
|
2023-11-28 09:06:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
204acbacc5
|
C++: Add a new query for detecting calls to 'c_str' on temporary objects.
|
2023-11-28 09:06:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
22a91d18b8
|
C++: Make the sequence container classes public.
|
2023-11-27 21:32:49 +00:00 |
|
Alex Eyers-Taylor
|
9eb5b23f54
|
CPP: Fix query formatting
|
2023-11-27 15:55:44 +00:00 |
|
Jeroen Ketema
|
c02a732632
|
C++: Remove DefaultTaintTracking library
|
2023-11-24 18:35:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
73138f1913
|
C++: No need to exclude ExprNodes as sources now that #14903 is merged.
|
2023-11-24 16:58:30 +00:00 |
|
Alex Eyers-Taylor
|
1c012548d4
|
CPP: Add tests for incorrect check scanf
|
2023-11-24 16:58:11 +00:00 |
|
Alex Eyers-Taylor
|
12e24a2b44
|
CPP: Exclude incorrect scanf checks from missing scanf checks
|
2023-11-24 16:57:59 +00:00 |
|
Mathias Vorreiter Pedersen
|
e89d8e2967
|
Merge pull request #14907 from MathiasVP/remove-workaround-in-authentication-bypass
C++: Remove workaround for negated conditions in `cpp/user-controlled-bypass`
|
2023-11-24 16:54:37 +00:00 |
|
Jeroen Ketema
|
ee35bfb290
|
C++: Do not use isReturnValue in getenv, gets, and fgets models
|
2023-11-24 16:38:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
a7d820ce62
|
C++: Remove workaround for negated conditions in 'cpp/user-controlled-bypass'.
|
2023-11-24 15:17:45 +00:00 |
|
Alex Eyers-Taylor
|
f48e8b6062
|
CPP: Add query for detecteing incorrect error checking for scanf
|
2023-11-24 14:53:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
e438671846
|
Merge pull request #14896 from MathiasVP/no-dtt-in-user-controlled-bypass
C++: Rewrite `cpp/user-controlled-bypass` away from `DefaultTaintTracking`
|
2023-11-24 14:43:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
6b48b3643e
|
Merge branch 'main' into no-dtt-in-user-controlled-bypass
|
2023-11-24 12:50:45 +00:00 |
|
Mathias Vorreiter Pedersen
|
2681617f28
|
C++: Undo the workaround in 'cpp/tainted-permissions-check'.
|
2023-11-24 10:56:11 +00:00 |
|
Mathias Vorreiter Pedersen
|
0c924c2b27
|
C++: Taint-flow through integer to boolean casts.
|
2023-11-24 10:55:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
5604fd7d80
|
C++: Rewrite 'cpp/user-controlled-bypass' away from 'DefaultTaintTracking'.
|
2023-11-23 17:35:54 +00:00 |
|
Mathias Vorreiter Pedersen
|
97319854e2
|
C++: Accept test changes.
|
2023-11-23 16:53:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
6f5cfca84c
|
C++: Sync identical files.
|
2023-11-23 16:53:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
cc261bfabb
|
C++: Recurse through 'LogicalNotInstruction' in 'getConstantValue'.
|
2023-11-23 16:53:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
98bf748e64
|
C++: Accept test changes.
|
2023-11-23 16:53:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
7364634a6b
|
C++: No need to special-case negations in IRGuards.
|
2023-11-23 16:53:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
3af3a72161
|
C++: Don't short-circuit negations in conditions.
|
2023-11-23 16:53:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
257d94be20
|
Merge pull request #14886 from jketema/rewrite-tainted-condition
C++: Rewrite `cpp/tainted-permissions-check` to not use `DefaultTaintTracking`
|
2023-11-23 16:18:03 +00:00 |
|
Mathias Vorreiter Pedersen
|
149fb7bbc2
|
Merge pull request #14881 from MathiasVP/no-dtt-in-user-controlled-null-termination-tainted
C++: Rewrite `cpp/user-controlled-null-termination-tainted` away from `DefaultTaintTracking`
|
2023-11-23 14:41:33 +00:00 |
|
Mathias Vorreiter Pedersen
|
401a378598
|
C++: Accept test changes.
|
2023-11-23 14:12:16 +00:00 |
|
Mathias Vorreiter Pedersen
|
b774ae07c8
|
Update cpp/ql/src/Security/CWE/CWE-170/ImproperNullTerminationTainted.ql
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-11-23 14:10:57 +00:00 |
|
Jeroen Ketema
|
7834626e26
|
C++: Rewrite cpp/tainted-permissions-check to not use DefaultTaintTracking
|
2023-11-23 14:52:53 +01:00 |
|
Jeroen Ketema
|
257fe1ad6b
|
Merge pull request #14801 from jketema/rewrite-tainted-format-string
C++: Rewrite `cpp/tainted-format-string` away from `DefaultTaintTracking`
|
2023-11-22 17:55:36 +01:00 |
|