Mathias Vorreiter Pedersen
4b5a203b46
Merge pull request #15463 from microsoft/42-false-positive-cpp-uninitializedlocal
...
False positive fix for cpp/uninitialized-local
2024-01-31 09:31:31 +00:00
Mathias Vorreiter Pedersen
78d5d9a7ab
Merge pull request #15448 from microsoft/false_positive_cpp_incorrect_string_type_conversion
...
cpp/incorrect-string-type-conversion false positive fixes
2024-01-30 09:37:01 +00:00
Benjamin Rodes
13cf555cee
False positive fix for cpp/uninitialized-local
2024-01-29 13:21:05 -05:00
Mathias Vorreiter Pedersen
ea79a84c2e
C++: Accept test changes.
2024-01-29 16:24:44 +00:00
Mathias Vorreiter Pedersen
7e29141196
C++: Add FP test.
2024-01-29 16:23:37 +00:00
Mathias Vorreiter Pedersen
a5794509ec
C++: Accept test changes.
2024-01-29 11:33:14 +00:00
Mathias Vorreiter Pedersen
3a66fd7175
C++: Add FP test.
2024-01-29 10:59:38 +00:00
Benjamin Rodes
b7648bcf27
Adding test cases.
2024-01-26 15:19:07 -05:00
Geoffrey White
b125d2c9ab
Merge branch 'main' into cppfiles
2024-01-26 16:47:48 +00:00
Benjamin Rodes
2181fcf284
Updating .expected to account for new free/deallocation sources.
2024-01-22 10:36:24 -05:00
Geoffrey White
5127542677
C++: Rename the query file.
2024-01-19 16:31:34 +00:00
Geoffrey White
4691bf2cb5
C++: Be more optimistic about successfully scanned files.
2024-01-19 15:55:54 +00:00
Geoffrey White
2eba3db1cb
C++: Add a test for SuccessfullyExtractedFiles.ql and friends.
2024-01-19 15:50:28 +00:00
Mathias Vorreiter Pedersen
39dafd6f6a
C++: Suggestions to #15343 ( #39 )
...
* C++: Change the interface of 'FlowAfterFree' so that the module it takes
a single module as a parameter.
* C++: Add another predicate to the module signature.
* C++: Convert the use-after-free and double-free libraries to use new interface.
* C++: Accept test changes.
2024-01-17 11:02:46 -05:00
Benjamin Rodes
9a0e2e57ba
Updating .expected
2024-01-16 13:18:25 -05:00
Paolo Tranquilli
0bfeadbf1f
C++: add .def to exception to test
2024-01-09 15:30:27 +01:00
Mathias Vorreiter Pedersen
44124158c4
Merge pull request #15078 from alexet/unique-pointer-temporary
...
CPP: Add query for detecting invalid uses of temporary unique pointers.
2023-12-20 11:16:01 +01:00
Mathias Vorreiter Pedersen
82b9f1b31c
C++: Accept test changes.
2023-12-15 14:57:31 +00:00
Alex Eyers-Taylor
49e1467581
CPP: Fix handling of ternary operators in tempory queries and add tests.
2023-12-15 11:03:23 +00:00
Jeroen Ketema
2065ecff66
C++: Only consider the maximum buffer size for badly bounded write
2023-12-15 10:46:13 +01:00
Mathias Vorreiter Pedersen
0c100eb122
C++: Accept test changes.
2023-12-14 14:44:58 +00:00
Alex Eyers-Taylor
e9bc5a54ea
CPP: Add query for detecting invalid uses of temporary unique pointers.
2023-12-12 16:22:20 +00:00
Mathias Vorreiter Pedersen
3dea467dcc
Merge pull request #15047 from MathiasVP/add-puns-for-addresses-of-arguments
...
C++: Add `PostUpdateNode`s for addresses of outgoing arguments
2023-12-12 13:55:13 +00:00
Alexander Eyers-Taylor
e87b3911dc
Merge pull request #14910 from alexet/incorrect-scanf
...
CPP: Add query for detecteing incorrect error checking for scanf
2023-12-12 11:57:17 +00:00
Mathias Vorreiter Pedersen
a6104ad878
C++: Fix test annotations.
2023-12-12 11:06:18 +00:00
Mathias Vorreiter Pedersen
90b06c2046
C++: Switch the source of use-after-free and double-free to be post-update nodes.
2023-12-08 14:41:29 +00:00
Mathias Vorreiter Pedersen
e648058d30
C++: Accept test changes.
2023-12-07 23:11:28 +00:00
Mathias Vorreiter Pedersen
8ce4bbec33
Merge pull request #14867 from MathiasVP/reduce-duplication-from-operators
...
C++: Reduce duplication from crement operations
2023-12-05 11:57:48 +00:00
Mathias Vorreiter Pedersen
a8020f4f78
C++: Add barrier to prevent duplication.
2023-12-05 09:14:23 +00:00
Jeroen Ketema
7f1bd499ce
C++: Add test annotation
2023-12-04 17:53:08 +01:00
Jeroen Ketema
3e2397a3d1
C++: Fix chmod prototype in toctou test and additional test
2023-12-04 16:15:44 +01:00
Mathias Vorreiter Pedersen
359b15bb60
C++: Fix FP by special-casing compound assignments in 'asExprInternal'.
2023-12-04 11:29:51 +00:00
Mathias Vorreiter Pedersen
ce28c9b485
C++: Add more CWE-119 testcases with compound assignments instead of increments.
2023-12-04 11:22:16 +00:00
Mathias Vorreiter Pedersen
c1561e8675
Merge branch 'main' into reduce-duplication-from-operators
2023-11-30 14:30:50 +00: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
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
204acbacc5
C++: Add a new query for detecting calls to 'c_str' on temporary objects.
2023-11-28 09:06:24 +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
Jeroen Ketema
ee35bfb290
C++: Do not use isReturnValue in getenv, gets, and fgets models
2023-11-24 16:38:15 +01: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
2681617f28
C++: Undo the workaround in 'cpp/tainted-permissions-check'.
2023-11-24 10:56:11 +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
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