Owen Mansel-Chan
|
76d8ae8694
|
Add MISSING: tag
|
2026-07-07 10:59:21 +01:00 |
|
Owen Mansel-Chan
|
a2c5d4c818
|
C++: Convert qlref tests to inline expectations
|
2026-07-07 09:49:50 +01:00 |
|
Jeroen Ketema
|
352610d651
|
C++: Add GOOD annotation
|
2025-09-12 10:29:27 +02:00 |
|
Jeroen Ketema
|
2bc035cfcf
|
C++: Update test results after extractor changes
|
2025-09-11 10:31:01 +02:00 |
|
Jeroen Ketema
|
d224f85b24
|
C++: Add uninitialized variable FP test
|
2025-09-11 10:31:00 +02:00 |
|
Jeroen Ketema
|
6b580ac12d
|
C++: Update expected test results
|
2025-08-29 10:57:03 +02:00 |
|
Jeroen Ketema
|
a145e52faf
|
C++: Add uninitialized local test
|
2025-08-29 10:55:10 +02:00 |
|
Calum Grant
|
a9b3c0d91b
|
C++: Address review comments
|
2024-10-01 15:47:12 +01:00 |
|
Calum Grant
|
4b5aa1497b
|
C++: Implement Function::hasErrors()
|
2024-10-01 11:00:44 +01:00 |
|
Calum Grant
|
60abea17e6
|
C++: Test for cpp/uninitialized-local
|
2024-10-01 10:32:17 +01:00 |
|
Jeroen Ketema
|
ae7bf6c97d
|
C++: Update expected test results after #17347
|
2024-09-02 21:17:55 +02:00 |
|
Simon Friis Vindum
|
660869e834
|
C++: Add test for cpp/uninitialized-local and va_copy
|
2024-09-02 13:25:02 +02:00 |
|
Mathias Vorreiter Pedersen
|
b640bdccdc
|
C++: Accept test changes.
|
2024-07-25 17:13:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
d2f5734ac5
|
C++: Add FP.
|
2024-07-25 17:08:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
7b8301ac7a
|
C++: Accept more test changes.
|
2024-07-17 15:44:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
1c8e0c453c
|
C++: Fix more inconsistencies.
|
2024-07-17 15:44:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
5d58cf6208
|
C++: Accept query test changes.
|
2024-07-04 15:15:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
8e95395382
|
C++: Accept more test changes.
|
2024-05-07 12:55:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
61fb89721a
|
C++: Add 'cpp/uninitialized-local' FP.
|
2024-05-07 12:19:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
4a55b6fbdf
|
C++: Make 'cpp/uninitialized-local' a path-problem query.
|
2024-03-18 15:02:33 +00:00 |
|
Benjamin Rodes
|
13cf555cee
|
False positive fix for cpp/uninitialized-local
|
2024-01-29 13:21:05 -05:00 |
|
Mathias Vorreiter Pedersen
|
69502d0c31
|
C++: Add some more tests.
|
2023-11-07 17:31:01 +00:00 |
|
Mathias Vorreiter Pedersen
|
022c9eb3cd
|
C++: Add a barrier feature to 'MustFlow'.
|
2023-11-07 09:23:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
6bf2d47321
|
C++: Allow source = sink in 'MustFlow'.
|
2023-11-07 09:23:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
1dc08941f8
|
C++: Use 'MustFlow' in 'cpp/uninitialized-local'.
|
2023-11-07 09:23:41 +00:00 |
|
Mingjie Shen
|
4b4c0cd563
|
C++: add testcases for UninitializedLocal.ql
|
2023-07-06 20:07:58 -04:00 |
|
erik-krogh
|
33165f4f55
|
CPP: update expected output
|
2022-09-23 14:45:59 +02:00 |
|
Mathias Vorreiter Pedersen
|
a006a7fb24
|
Revert "Merge pull request #6004 from MathiasVP/path-sensitive-stack-variable-reachability-analysis"
This reverts commit e3e7b00986, reversing
changes made to 8ccdd4fb9f.
|
2021-07-20 18:06:49 +02:00 |
|
Mathias Vorreiter Pedersen
|
714ad105fe
|
C++: Accept test changes.
|
2021-06-14 22:02:38 +02:00 |
|
Geoffrey White
|
c40c88ec4b
|
CPP: Add test cases for ConditionallyUninitializedVariables.ql.
|
2019-10-28 18:43:00 +00:00 |
|
Jonas Jensen
|
4ef5c9af62
|
C++: Autoformat everything
Some files that will change in #1736 have been spared.
./build -j4 target/jars/qlformat
find ql/cpp/ql -name "*.ql" -print0 | xargs -0 target/jars/qlformat --input
find ql/cpp/ql -name "*.qll" -print0 | xargs -0 target/jars/qlformat --input
(cd ql && git checkout 'cpp/ql/src/semmle/code/cpp/ir/implementation/**/*SSA*.qll')
buildutils-internal/scripts/pr-checks/sync-identical-files.py --latest
|
2019-09-09 11:25:53 +02:00 |
|
Geoffrey White
|
ef3ceb5910
|
CPP: Don't use getFollowingStmt.
|
2019-06-18 15:56:22 +01:00 |
|
Geoffrey White
|
536adaae7f
|
CPP: Additional test cases.
|
2019-06-18 15:56:22 +01:00 |
|
Geoffrey White
|
52b68a77bd
|
CPP: Remove commented out code.
|
2019-06-18 15:56:22 +01:00 |
|
Geoffrey White
|
56adcff2c9
|
CPP: Fix for LocalScopeReachability.
|
2019-06-18 15:56:22 +01:00 |
|
Geoffrey White
|
f4b4ddbdaf
|
CPP: Add a test examining the LoopEntryConditionEvaluator on this code.
|
2019-06-18 15:56:22 +01:00 |
|
Geoffrey White
|
12bbb0755f
|
CPP: Additional test cases.
|
2019-06-18 15:56:22 +01:00 |
|
Geoffrey White
|
f034abc275
|
CPP: Add the Semmle security tests.
|
2018-11-26 17:52:34 +00:00 |
|