Geoffrey White
|
03922aa1f5
|
C++: Exclude custom vprintf implementations.
|
2021-01-29 21:20:36 +00:00 |
|
Mathias Vorreiter Pedersen
|
92a5a2a06a
|
C++: Solve merge conflicts by merging the two test.c test files.
|
2021-01-29 13:34:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
d5f1c19152
|
Merge branch 'main' into ihsinme-patch-221
|
2021-01-29 13:05:07 +01:00 |
|
ihsinme
|
bdbf5a4fae
|
Apply suggestions from code review
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2021-01-29 13:41:45 +03:00 |
|
Geoffrey White
|
50f2557dd2
|
Merge pull request #5043 from MathiasVP/uniform-treatment-of-params-and-qualifiers-in-model-dataflow
C++: Uniform treatment of parameters and qualifiers in model dataflow
|
2021-01-29 09:48:07 +00:00 |
|
ihsinme
|
c8eeb5f73e
|
Update WrongInDetectingAndHandlingMemoryAllocationErrors.ql
|
2021-01-29 11:51:15 +03:00 |
|
Mathias Vorreiter Pedersen
|
339c4c6ce0
|
C++: Model more pure functions.
|
2021-01-28 19:37:53 +01:00 |
|
Geoffrey White
|
7d9ebaf9d8
|
Merge pull request #5040 from MathiasVP/strset-and-strtok-models
C++: Strset and strtok model implementations
|
2021-01-28 18:34:06 +00:00 |
|
Geoffrey White
|
768be9ec2c
|
Merge pull request #5041 from ihsinme/ihsinme-patch-198
CPP: Improve cpp/memory-leak-on-failed-call-to-realloc
|
2021-01-28 18:29:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
23eb4d2009
|
C++: Fix isParameterDeref typo.
|
2021-01-28 18:29:30 +01:00 |
|
Mathias Vorreiter Pedersen
|
75aa1e8a3b
|
C++: Respond to review comments.
|
2021-01-28 16:39:11 +01:00 |
|
Geoffrey White
|
02d60a26eb
|
Merge pull request #5037 from github/igfoo/decltype
C++: decltypes may have multiple expressions
|
2021-01-28 14:44:53 +00:00 |
|
ihsinme
|
f94a7fc2f0
|
Update MemoryLeakOnFailedCallToRealloc.ql
|
2021-01-28 15:47:38 +03:00 |
|
Mathias Vorreiter Pedersen
|
5a420f2bae
|
C++: Use the new predicates for uniform treatment of parameters and qualifiers in model dataflow.
|
2021-01-28 13:33:08 +01:00 |
|
ihsinme
|
8ed28157e1
|
Rename cpp/ql/test/experimental/query-tests/Security/CWE/CWE-788/semmle/tests/AccessOfMemoryLocationAfterEndOfBufferUsingStrlen.expected to cpp/ql/test/experimental/query-tests/Security/CWE/CWE-788/semmle/tests/AccessOfMemoryLocationAfterEndOfBufferUsingStrlen/AccessOfMemoryLocationAfterEndOfBufferUsingStrlen.expected
|
2021-01-28 15:28:52 +03:00 |
|
ihsinme
|
f65ec97ac2
|
Rename cpp/ql/test/experimental/query-tests/Security/CWE/CWE-788/semmle/tests/test.c to cpp/ql/test/experimental/query-tests/Security/CWE/CWE-788/semmle/tests/AccessOfMemoryLocationAfterEndOfBufferUsingStrlen/test.c
|
2021-01-28 15:28:34 +03:00 |
|
ihsinme
|
8880b38b1f
|
Rename cpp/ql/test/experimental/query-tests/Security/CWE/CWE-788/semmle/tests/AccessOfMemoryLocationAfterEndOfBufferUsingStrlen.qlref to cpp/ql/test/experimental/query-tests/Security/CWE/CWE-788/semmle/tests/AccessOfMemoryLocationAfterEndOfBufferUsingStrlen/AccessOfMemoryLocationAfterEndOfBufferUsingStrlen.qlref
|
2021-01-28 15:28:15 +03:00 |
|
ihsinme
|
2b4296feb1
|
Update MemoryLeakOnFailedCallToRealloc.ql
|
2021-01-28 13:38:26 +03:00 |
|
Mathias Vorreiter Pedersen
|
2c70106d2d
|
Merge pull request #5009 from ihsinme/ihsinme-patch-219
CPP: add query for CWE-788 Access of memory location after the end of a buffer using strncat.
|
2021-01-28 11:10:30 +01:00 |
|
Mathias Vorreiter Pedersen
|
7affbfc6cb
|
C++: Add tests.
|
2021-01-28 10:57:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
6255662114
|
C++: Add two new model implementation classes.
|
2021-01-28 10:57:30 +01:00 |
|
Jonas Jensen
|
69ce24d4b8
|
Merge pull request #5035 from MathiasVP/implied-deref-flow
C++: Implied dataflow models
|
2021-01-28 09:35:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
24f76f9a17
|
C++: Accept test changes.
|
2021-01-27 21:57:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
c90dc62cc4
|
C++: Autoformat.
|
2021-01-27 18:57:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
aec18e7123
|
C++: Add mempcpy to MemcpyFunction model class.
|
2021-01-27 18:12:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
5aff5c3254
|
C++: Add AliasFunction model to MemcpyFunction.
|
2021-01-27 18:12:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
066f83630d
|
C++: bcopy can never be in the std namespace.
|
2021-01-27 18:07:14 +01:00 |
|
Ian Lynagh
|
3880b48736
|
C++: Add an upgrade script
|
2021-01-27 16:31:56 +00:00 |
|
Ian Lynagh
|
307bef0ec3
|
C++: decltypes may have multiple expressions
|
2021-01-27 16:06:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
52e2a69db9
|
C++: Accept test changes.
|
2021-01-27 16:56:37 +01:00 |
|
Mathias Vorreiter Pedersen
|
32b5c7fe06
|
C++: Model implied dataflow
|
2021-01-27 16:53:21 +01:00 |
|
Geoffrey White
|
a4d7bfbb2b
|
Merge pull request #5031 from MathiasVP/remove-linear-scan-of-functions-2
C++: Remove more linear scans
|
2021-01-27 14:29:27 +00:00 |
|
ihsinme
|
bdfdcbd673
|
Update WrongInDetectingAndHandlingMemoryAllocationErrors.ql
|
2021-01-27 15:48:18 +03:00 |
|
Mathias Vorreiter Pedersen
|
c61dec1dff
|
C++: Remove more linear scans.
|
2021-01-27 13:17:47 +01:00 |
|
ihsinme
|
16d058f498
|
Update WrongInDetectingAndHandlingMemoryAllocationErrors.ql
|
2021-01-27 15:06:57 +03:00 |
|
ihsinme
|
5d163b4c15
|
Update WrongInDetectingAndHandlingMemoryAllocationErrors.qhelp
|
2021-01-27 15:05:58 +03:00 |
|
ihsinme
|
25de82c78c
|
Apply suggestions from code review
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2021-01-27 15:05:01 +03:00 |
|
ihsinme
|
bec0064396
|
Update test.cpp
|
2021-01-27 14:54:47 +03:00 |
|
ihsinme
|
8737c1442b
|
Update WrongInDetectingAndHandlingMemoryAllocationErrors.cpp
|
2021-01-27 14:48:23 +03:00 |
|
ihsinme
|
19b7d46099
|
Update test.c
|
2021-01-27 14:06:53 +03:00 |
|
Mathias Vorreiter Pedersen
|
3604557e62
|
C++: Remove linear scan in isSVariant.
|
2021-01-27 11:47:45 +01:00 |
|
ihsinme
|
68eba11dbf
|
Update AccessOfMemoryLocationAfterEndOfBufferUsingStrncat.ql
|
2021-01-27 13:16:56 +03:00 |
|
ihsinme
|
aebf7bdff4
|
Update test.c
|
2021-01-27 13:12:48 +03:00 |
|
ihsinme
|
885d26805f
|
Update AccessOfMemoryLocationAfterEndOfBufferUsingStrlen.expected
|
2021-01-27 12:47:51 +03:00 |
|
ihsinme
|
9a85b761a1
|
Update test.c
|
2021-01-27 12:46:10 +03:00 |
|
Anders Schack-Mulligen
|
0381190a30
|
Merge pull request #5021 from hmakholm/qlpack-test
Add "tests" fields to test qlpacks
|
2021-01-27 09:23:35 +01:00 |
|
Robert Marsh
|
8919e5546b
|
C++ Use dontcare instead of one-use exists
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2021-01-26 14:12:49 -08:00 |
|
ihsinme
|
5d5cd4fde5
|
Update AccessOfMemoryLocationAfterEndOfBufferUsingStrncat.ql
|
2021-01-27 00:10:04 +03:00 |
|
ihsinme
|
f074564dc1
|
Apply suggestions from code review
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2021-01-27 00:00:18 +03:00 |
|
ihsinme
|
636fe73f40
|
Update AccessOfMemoryLocationAfterEndOfBufferUsingStrlen.ql
|
2021-01-26 23:52:18 +03:00 |
|