Geoffrey White
4e904dd87d
C++: Repair the test.
2021-02-02 13:08:46 +00:00
Mathias Vorreiter Pedersen
b54f74a68a
C++: Implement model for _strinc and related functions.
2021-02-02 12:20:02 +01:00
Mathias Vorreiter Pedersen
5db1984315
Merge pull request #5070 from MathiasVP/strsep-model-implementation
...
C++: Add strsep model implementation.
2021-02-02 12:00:26 +01:00
Geoffrey White
eed2aee17d
C++: Effect on tests.
2021-02-02 10:59:14 +00:00
Geoffrey White
9f50f67e6d
Merge pull request #5065 from MathiasVP/scanf-model
...
C++: Add sscanf and fscanf models
2021-02-02 10:30:19 +00:00
Mathias Vorreiter Pedersen
6e71c68f33
C++: Add strsep model implementation.
2021-02-02 10:29:23 +01:00
Mathias Vorreiter Pedersen
c747914ef2
C++: Add sscanf and fscanf model implementations.
2021-02-01 12:54:59 +01:00
Mathias Vorreiter Pedersen
6c3f44bba8
C++: Add more memcpy, memset, strcat and strcpy models. Also refine which strcpy functions can live in the std namespace.
2021-02-01 08:44:10 +01: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
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
Mathias Vorreiter Pedersen
23eb4d2009
C++: Fix isParameterDeref typo.
2021-01-28 18:29:30 +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
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
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
52e2a69db9
C++: Accept test changes.
2021-01-27 16:56:37 +01:00
ihsinme
bec0064396
Update test.cpp
2021-01-27 14:54:47 +03:00
ihsinme
19b7d46099
Update test.c
2021-01-27 14:06:53 +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
Henning Makholm
54f00de3e0
Add "tests" fields to test qlpacks
...
This will allow `codeql resolve tests --ignore-dubious-cases`
(and thus the VSCode extension) to recognize all `.ql` files in those
packs as test cases, even if they don't have accompanying `.expected`
files.
CLI versions prior to 2.1.0 will choke on this, but it's almost 10
months since that came out.
2021-01-26 18:15:22 +01:00
Mathias Vorreiter Pedersen
04a3c3d29c
Merge pull request #4953 from ihsinme/ihsinme-patch-207
...
CPP: Add query for CWE-14 compiler removal of code to clear buffers.
2021-01-26 18:13:18 +01:00
Mathias Vorreiter Pedersen
416aa49d99
C++: Capitalize alert message.
2021-01-26 17:24:03 +01:00
Jonas Jensen
1b3d69d617
Merge pull request #4784 from MathiasVP/mathiasvp/reverse-read-take-3
...
C++: Support longer access paths in IR field flow
2021-01-25 10:36:03 +01:00
ihsinme
b899229298
Add files via upload
2021-01-25 00:33:54 +03:00
ihsinme
20e19ec467
Add files via upload
2021-01-25 00:09:55 +03:00
ihsinme
fcd532522d
Add files via upload
2021-01-24 22:36:42 +03:00
Mathias Vorreiter Pedersen
b4f9b1590d
C++: Restore lost result on git/git. We lost the result in a00bd7ae02 because the added check for type T to type T* conversion didn't handle const qualifiers.
2021-01-22 14:20:18 +01:00
Mathias Vorreiter Pedersen
682b246441
C++: Fix path-problem format.
2021-01-22 13:40:44 +01:00
Geoffrey White
d5d8b48218
C++: More accurate solution using Guards library.
2021-01-20 17:15:42 +00:00
Geoffrey White
439fe41b0a
C++: Add a couple more test cases.
2021-01-20 15:33:32 +00:00
Geoffrey White
d2dd19a293
C++: It turns out __assert_fail is special (see DefaultOptions.qll) so we don't need a body here. And the body was wrong.
2021-01-19 16:56:19 +00:00
Geoffrey White
fe4ae7e975
C++: General solution for functions that may exit.
2021-01-19 16:56:19 +00:00
Geoffrey White
8fa3ffe125
C++: Add a few more test cases that we don't recognize as OK.
2021-01-19 16:56:19 +00:00
Mathias Vorreiter Pedersen
3468593d3a
Merge pull request #4915 from geoffw0/sqltaint
...
C++: Fix FPs in cpp/sql-injection
2021-01-14 11:20:08 +01:00
Jonas Jensen
5eafe63a82
Merge pull request #4941 from geoffw0/cpp409
...
C++: Test of taint through ConstructorDelegationInit.
2021-01-13 15:06:37 +01:00
ihsinme
3ad45f28c9
Add files via upload
2021-01-13 14:18:54 +03:00
Geoffrey White
69664535b0
Merge pull request #4881 from ihsinme/main
...
CPP: Add query for CWE-401 memory leak on unsuccessful call to realloc function
2021-01-13 10:58:09 +00:00
Geoffrey White
3f09a047ae
C++: Test comments.
2021-01-12 14:52:52 +00:00
Mathias Vorreiter Pedersen
84f1b11448
Merge branch 'main' into mathiasvp/reverse-read-take-3
2021-01-12 10:37:32 +01:00
ihsinme
bbd3f7631e
Delete test.c
...
sorry i was in a hurry
2021-01-11 23:52:26 +03:00
ihsinme
b92d63d5df
Delete CompilerRemovalOfCodeToClearBuffers.qlref
...
sorry i was in a hurry
2021-01-11 23:51:37 +03:00
ihsinme
05f866e912
Delete CompilerRemovalOfCodeToClearBuffers.expected
...
sorry i was in a hurry
2021-01-11 23:51:18 +03:00
ihsinme
ed6d8e3d18
Add files via upload
2021-01-11 23:40:38 +03:00