Benjamin Rodes
|
5b2d15265f
|
gettext variant dataflow tests
|
2024-02-05 13:01:51 -05:00 |
|
Benjamin Rodes
|
9577c35d85
|
Incremental update to NonConstantFormat.ql
|
2024-02-02 16:06:59 -05:00 |
|
Robert Marsh
|
2d010f69c6
|
C++: Test for destructors in declaration as if condition
|
2024-02-02 17:39:27 +00:00 |
|
Robert Marsh
|
984c7ab85a
|
C++: test for declarations in if statement
|
2024-02-02 17:39:26 +00:00 |
|
Robert Marsh
|
4513fd1b52
|
C++: test for destructors in range-based for
|
2024-02-02 17:39:26 +00:00 |
|
Robert Marsh
|
820f4a5571
|
C++: custom destructor handling for for loops
|
2024-02-02 17:39:23 +00:00 |
|
Robert Marsh
|
85d1d079c8
|
C++: Add implicit named destructosrs to the IR CFG
|
2024-02-02 17:36:02 +00:00 |
|
Mathias Vorreiter Pedersen
|
8d53bce842
|
Merge pull request #15476 from geoffw0/preprocblock
C++: Add PreprocBlock.qll library
|
2024-02-02 15:06:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
439d3d2438
|
C++: Add tests with higher level of indirection.
|
2024-02-02 12:09:46 +00:00 |
|
Mathias Vorreiter Pedersen
|
6f5ed9ad3b
|
C++: Accept test changes.
|
2024-02-01 20:15:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
1ac75def2b
|
C++: Add another testcase with spurious summary flow.
|
2024-02-01 15:11:52 +00:00 |
|
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
|
f3eac550c3
|
Merge pull request #15461 from MathiasVP/propagate-edge-kinds
C++: Support function calls throwing exceptions in the IR
|
2024-01-31 09:25:46 +00:00 |
|
Geoffrey White
|
4ae8a9a6c4
|
C++: Add PreprocBlock tests.
|
2024-01-30 16:47:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
33e37536df
|
C++: Accept test changes.
|
2024-01-30 11:32:50 +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 |
|
Mathias Vorreiter Pedersen
|
56e44f9b3c
|
Merge pull request #15458 from MathiasVP/dataflow-node-deduplication
C++: Fix more `asExpr` duplication
|
2024-01-30 09:34:57 +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
|
320092092d
|
C++: Accept test changes.
|
2024-01-29 14:11:07 +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 |
|
Mathias Vorreiter Pedersen
|
a391f7802d
|
C++: Add a test.
|
2024-01-27 13:08:52 +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 |
|
Mathias Vorreiter Pedersen
|
863e6c8009
|
Merge pull request #15427 from MathiasVP/asexpr-and-asindirectexpr-tests
C++: Add `asExpr` and `asIndirectExpr` library tests (and fix more duplication)
|
2024-01-25 16:58:18 +00:00 |
|
Robert Marsh
|
0bc023139b
|
C++: autoformat for first-class destructors
|
2024-01-24 18:52:54 +00:00 |
|
Robert Marsh
|
3970a9fe39
|
C++: switch to getImplicitDestructorCall
|
2024-01-24 18:52:54 +00:00 |
|
Robert Marsh
|
3a0290b1e8
|
C++: add destructors in PrintAST
|
2024-01-24 18:52:54 +00:00 |
|
Robert Marsh
|
1acc111b63
|
C++: add getSyntheticDestructor to Expr and Stmt
|
2024-01-24 18:52:54 +00:00 |
|
Geoffrey White
|
e0d70e3008
|
C++: Resolve the TODO / unwanted change in shared code and get more results.
|
2024-01-24 18:09:34 +00:00 |
|
Mathias Vorreiter Pedersen
|
7916616ee1
|
C++: Fix duplication for indirect exprs similar to how we fixed it in #15410.
|
2024-01-24 16:20:06 +00:00 |
|
Mathias Vorreiter Pedersen
|
4e18cca0f4
|
C++: Add a way to test the behavior of 'asExpr' and 'toString' on dataflow nodes.
|
2024-01-24 16:12:47 +00:00 |
|
Geoffrey White
|
a727255a82
|
C++: Add a couple more test cases and correct test models again.
|
2024-01-24 15:18:49 +00:00 |
|
Mathias Vorreiter Pedersen
|
145b5a30bd
|
Merge pull request #15343 from microsoft/38-cpp-generalize-use-after-free-libraries
Generalization of FlowAfterFree
|
2024-01-23 16:49:29 +00:00 |
|
Mathias Vorreiter Pedersen
|
8b172c133d
|
C++: Accept test changes.
|
2024-01-23 12:06:42 +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 |
|
Geoffrey White
|
963e0a730d
|
C++: Fix some off-by-one mistakes in the test.
|
2024-01-18 17:38:32 +00:00 |
|
Geoffrey White
|
017369c6f2
|
C++: Remove redundant import (identified by QL-for-QL).
|
2024-01-18 15:59:32 +00:00 |
|
Geoffrey White
|
dd27ef7d3c
|
C++: Add MAD source definitions for the new taint sources and update the (real) test.
|
2024-01-18 13:24:57 +00:00 |
|
Geoffrey White
|
833165f86c
|
C++: Update the (synthetic) test.
|
2024-01-18 13:24:57 +00:00 |
|
Geoffrey White
|
303882350b
|
C++: Add some test cases for new (real) taint sources to be defined using models-as-data.
|
2024-01-18 13:01:16 +00:00 |
|
Geoffrey White
|
9611e4ce19
|
C++: Add tests for (synthetic) models-as-data sources and sinks.
|
2024-01-18 13:01:16 +00:00 |
|
Alex Denisov
|
f1049a4431
|
C++: update tests to pick up destructor changes
|
2024-01-17 12:05:30 +01:00 |
|
Mathias Vorreiter Pedersen
|
6bd31deb00
|
Merge pull request #15282 from MathiasVP/fix-duplicate-final-global-value
C++: Fix duplicate "final global value" nodes
|
2024-01-12 11:05:19 +00:00 |
|
Jeroen Ketema
|
1c9f5b8b74
|
Merge pull request #15300 from github/sashabu/uuidof
C++: Add a test with `__uuidof` in a template.
|
2024-01-12 00:05:49 +01:00 |
|