idrissrio
|
9bb1081dc1
|
C++: accept test results
|
2026-05-26 12:03:17 +02:00 |
|
idrissrio
|
2e9ee3b5d9
|
C++: accept test results
|
2026-05-26 12:03:16 +02:00 |
|
Mathias Vorreiter Pedersen
|
a7405bddaa
|
Merge pull request #21856 from MathiasVP/scanf-safe-functions
C++: Model secure versions of `scanf` as flow sources
|
2026-05-22 12:34:54 +01:00 |
|
Mathias Vorreiter Pedersen
|
a33af09244
|
C++: Add models for _fscanf_s_l, fwscanf_s and _fwscanf_s_l.
|
2026-05-20 18:59:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
25d20399f3
|
C++: Add models for _scanf_s_l, wscanf_s and _wscanf_s_l.
|
2026-05-20 18:43:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
e6c5f944ba
|
C++: Add missing format string part in test.
|
2026-05-20 18:13:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
157424cca3
|
Merge pull request #21836 from MathiasVP/uncertain-def-more-complete
C++: Support reasoning about whether a phi node overwrites the entire buffer
|
2026-05-20 13:04:37 +01:00 |
|
Mathias Vorreiter Pedersen
|
f5113b1932
|
C++: Fix internal SCC edges and accept test changes.
|
2026-05-19 15:39:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
f77d426706
|
C++: Add test demonstrating broken phi cycle certain'ness.
|
2026-05-19 15:35:20 +01:00 |
|
Jeroen Ketema
|
22a8123ee1
|
Merge pull request #21860 from jketema/jketema/alias-template
C++: Support alias templates
|
2026-05-19 10:46:56 +02:00 |
|
Mathias Vorreiter Pedersen
|
5f10a88208
|
C++: Handle size arguments in 'getOutputArgument'.
|
2026-05-18 14:06:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
5add24be59
|
C++: Add scanf_s models.
|
2026-05-18 14:06:16 +01:00 |
|
Jeroen Ketema
|
c2e2770bbf
|
C++: Simplify type alias class naming
|
2026-05-18 14:22:04 +02:00 |
|
Jeroen Ketema
|
e55edf2f1f
|
Merge pull request #21853 from jketema/jketema/template-constants
C++: Update test results after extractor changes
|
2026-05-18 13:43:54 +02:00 |
|
Mathias Vorreiter Pedersen
|
2902a19a50
|
C++: Add more scanf testing.
|
2026-05-18 10:58:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
4396e66f35
|
C++: Fix FP by providing an implementation of 'hasSocketInput'.
|
2026-05-15 21:12:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
eda33adafd
|
C++: Add FP.
|
2026-05-15 21:07:45 +01:00 |
|
Jeroen Ketema
|
d47ee6bed9
|
C++: Update test results after extractor changes
|
2026-05-14 20:22:47 +02:00 |
|
Mathias Vorreiter Pedersen
|
07b8d7eba7
|
C++: Accept test changes in experimental query.
|
2026-05-13 13:14:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
f40d42c575
|
C++: Perform an SCC reduction to simulate greatest fixed-point semantics.
|
2026-05-13 13:14:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
8585bb616d
|
C++: Some writes are always certain regardless of the address.
|
2026-05-13 13:14:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
6d5d57acca
|
C++: Add missing overrides.
|
2026-05-13 13:09:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
e77d85f23e
|
C++: Add a new test to test assignment certainty (i.e., whether the entire buffer is overwritten).
|
2026-05-13 13:09:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
b753e7d228
|
C++: Make 'toString' on 'Ssa::Definition' more clear.
|
2026-05-13 13:09:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
8e25240282
|
C++: Add a FP caused by missing certainty around SSA writes from Uninitialized instructions.
|
2026-05-13 13:07:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
1ba9601257
|
Merge pull request #21764 from github/add-strsafe.h-models
C++: Add `Strsafe.h` models
|
2026-04-28 12:10:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
c59d6cb2a7
|
C++: Accept query test change.
|
2026-04-28 11:35:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
86d8e362a1
|
C++: Accept test changes.
|
2026-04-28 10:50:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
e29efc7d2c
|
C++: Add tests with missing flow.
|
2026-04-28 10:50:39 +01:00 |
|
Jeroen Ketema
|
f50bbdb9af
|
C++: Update expected test results after extractor changes
|
2026-04-23 10:13:57 +02:00 |
|
Jeroen Ketema
|
04cfd37f53
|
C++: Fix comments in tests
|
2026-04-07 10:52:12 +02:00 |
|
Jeroen Ketema
|
b19c648965
|
C++: Add heuristic for GNU autoconf config files
|
2026-04-07 10:43:15 +02:00 |
|
Mathias Vorreiter Pedersen
|
43d002e6b5
|
Merge pull request #21619 from MathiasVP/more-http-remote-flow-sources
C++: Add flow sources from Windows' `http.h`
|
2026-03-31 15:44:39 +01:00 |
|
Jeroen Ketema
|
17ab87d1fc
|
Merge pull request #21618 from jketema/meson-silence
C++: Add heuristics for meson configuration files
|
2026-03-31 15:24:22 +02:00 |
|
Mathias Vorreiter Pedersen
|
dc8dc61196
|
C++: Fix type name.
|
2026-03-31 13:54:30 +01:00 |
|
Mathias Vorreiter Pedersen
|
9e97e0433e
|
C++: Accept test changes.
|
2026-03-31 11:30:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
c6d1ec5f64
|
C++: Add examples that need taint inheriting content.
|
2026-03-31 11:30:37 +01:00 |
|
Mathias Vorreiter Pedersen
|
21ea7ebe40
|
C++: Model a few more remote flow sources from 'http.h' and accept test changes.
|
2026-03-31 11:30:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
18a25c5071
|
C++: Add tests with missing flow sources.
|
2026-03-31 11:30:33 +01:00 |
|
Jeroen Ketema
|
5122f7cf92
|
C++: Add heuristics for meson configuration files
|
2026-03-31 11:02:26 +02:00 |
|
Jeroen Ketema
|
afd33e4dcd
|
C++: Add test for meson configuration files
|
2026-03-31 10:23:51 +02:00 |
|
Mathias Vorreiter Pedersen
|
5db069eb56
|
C++: Fix more consistency errors.
|
2026-03-30 12:08:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
29768bbed4
|
Update cpp/ql/test/library-tests/dataflow/dataflow-tests/type-bugs.ql
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2026-03-30 11:26:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
78c0c7cb76
|
C++: Exclude flow summaries from 'irTypeBugs'.
|
2026-03-30 11:04:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
503c15334a
|
C++: Accept test changes.
|
2026-03-30 11:03:52 +01:00 |
|
Jeroen Ketema
|
8349bd50ba
|
Merge pull request #21391 from jketema/jketema/nsdmi
C++: Handle field initialization via NSDMI in IR generation
|
2026-03-30 11:35:06 +02:00 |
|
Owen Mansel-Chan
|
c07a814515
|
Add comments to converted MaD file
|
2026-03-27 11:23:33 +00:00 |
|
Owen Mansel-Chan
|
7e1ad825c3
|
Fix model row with misaligned columns
The original CSV had too many columns, and copilot cut off the last one, before adding the provenance column at the end.
|
2026-03-27 11:17:15 +00:00 |
|
Owen Mansel-Chan
|
8a99ef4531
|
Update csv model tests to use MaD
|
2026-03-26 16:44:58 +00:00 |
|
Owen Mansel-Chan
|
21ecf230ce
|
Small tweaks
|
2026-03-26 16:39:10 +00:00 |
|