Geoffrey White
|
d5b9cea4bc
|
C++: Focus the CPP-205 test on the templates.
|
2023-03-24 17:45:36 +00:00 |
|
Geoffrey White
|
41a5dc8efe
|
C++: Restrict tests that report all Elements to Elements in files.
|
2023-03-24 17:06:47 +00:00 |
|
Mathias Vorreiter Pedersen
|
125c013052
|
Merge branch 'main' into skip-safe-conversions-in-range-analysis
|
2023-03-24 17:01:11 +00:00 |
|
Gulshan Singh
|
b87f12d5b2
|
C++: Add StrlenLiteralRangeExpr
|
2023-03-24 08:51:35 -07:00 |
|
Mathias Vorreiter Pedersen
|
61bafd358a
|
C++: Fix another place that assumed that 'Expr' was always 'Instruction'.
|
2023-03-23 13:27:24 +00:00 |
|
Anders Schack-Mulligen
|
72415c7c2c
|
C++: Rename references.
|
2023-03-23 13:06:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
4d029acb11
|
C++: Accept test changes.
|
2023-03-22 16:51:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
4cc3bfae33
|
C++: Fix places that assumed that 'Expr' was always 'Instruction'.
|
2023-03-22 16:51:38 +00:00 |
|
Robert Marsh
|
0f4157c534
|
C++: Add overflow detection to new range analysis
|
2023-03-21 11:01:58 -04:00 |
|
Jeroen Ketema
|
574b2201cb
|
Merge pull request #12608 from jketema/configsig
C++: Use `DataFlow::ConfigSig` in more places
|
2023-03-21 14:37:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
2ce0d2b7ee
|
C++: Accept more test changes.
|
2023-03-21 10:07:23 +00:00 |
|
Mathias Vorreiter Pedersen
|
40cc2e7891
|
C++: Also exclude unevaluated buffers in 'OverflowStatic'.
|
2023-03-21 09:53:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
4d2a1ea149
|
C++: Also add a FP test to 'OverflowStatic'.
|
2023-03-21 09:50:47 +00:00 |
|
Mathias Vorreiter Pedersen
|
8623d8eb8e
|
C++: Exclude unevaluated expressions from BufferAccess.
|
2023-03-21 09:48:09 +00:00 |
|
Mathias Vorreiter Pedersen
|
b37bb660c5
|
C++: Add FP caused by a BufferAccess inside an unevalauted context.
|
2023-03-21 09:37:18 +00:00 |
|
Jeroen Ketema
|
1f75c3836e
|
C++: Refactor dataflow examples to use DataFlow::ConfigSig
|
2023-03-21 09:16:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
b0f803759c
|
Merge pull request #11928 from rdmarsh2/rdmarsh2/stageify-range-analysis
|
2023-03-18 12:42:49 +00:00 |
|
Mathias Vorreiter Pedersen
|
406d02253d
|
C++: Add 'range(x)' call demonstrating missing bounds.
|
2023-03-16 17:08:53 +00:00 |
|
Jeroen Ketema
|
8aa9207281
|
Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-03-16 10:28:44 +01:00 |
|
Tom Hvitved
|
b3ef1e9372
|
C++: Update expected test output
|
2023-03-16 08:40:53 +01:00 |
|
Nicky Mouha
|
2de0e2209e
|
Update test.cpp
|
2023-03-16 02:34:40 -04:00 |
|
Robert Marsh
|
623e39031c
|
C++: fix ModulusAnalysis test
|
2023-03-14 16:46:09 -04:00 |
|
Mathias Vorreiter Pedersen
|
00450d10bb
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-03-13 14:50:17 +01:00 |
|
Robert Marsh
|
64f23ebb4d
|
Merge pull request #12436 from MathiasVP/ir-range-analysis-for-unary-minus
C++: IR-based range analysis for unary minus
|
2023-03-13 09:02:38 -04:00 |
|
Jeroen Ketema
|
bd47c4f9ec
|
C++: Update .expected after frontend changes
|
2023-03-13 09:40:10 +01:00 |
|
Nicky Mouha
|
a2b5fbf24c
|
Create IfStatementAdditionOverflow.expected
|
2023-03-12 03:31:48 -04:00 |
|
Nicky Mouha
|
66710ad5a0
|
Create IfStatementAdditionOverflow.qlref
|
2023-03-12 03:30:26 -04:00 |
|
Nicky Mouha
|
59c1ae7734
|
Update test.cpp
|
2023-03-12 03:27:10 -04:00 |
|
Nicky Mouha
|
2477c3a1c2
|
Update test.cpp
|
2023-03-12 03:25:52 -04:00 |
|
Nicky Mouha
|
91a9a7eb32
|
Create test.cpp
|
2023-03-12 01:13:32 -05:00 |
|
Jeroen Ketema
|
de97ae38dc
|
C++: C++: Use getAUse in getIRRepresentationOfIndirectOperand
|
2023-03-09 15:15:00 +01:00 |
|
Jeroen Ketema
|
e5ce27fbf9
|
C++: Fix a number of instances where a dataflow node did not have a location
|
2023-03-09 10:32:30 +01:00 |
|
Jeroen Ketema
|
791f5913d2
|
C++: Fix multiple getLocation consistency error in use-use dataflow
|
2023-03-09 10:25:02 +01:00 |
|
Jeroen Ketema
|
55da3257bf
|
C++: Fix multiple toString consistency error in use-use dataflow
|
2023-03-09 10:08:25 +01:00 |
|
Jeroen Ketema
|
a2248cb5a0
|
C++: Use getAUse in getIRRepresentationOfOperand
|
2023-03-09 09:45:54 +01:00 |
|
Jeroen Ketema
|
6f2407412e
|
C++: Update some dataflow tests to use DataFlow::ConfigSig
|
2023-03-08 15:04:53 +01:00 |
|
Mathias Vorreiter Pedersen
|
619266d04b
|
C++: Fix floating point imprecision.
|
2023-03-08 13:24:01 +00:00 |
|
Mathias Vorreiter Pedersen
|
ce0f2b1788
|
C++: Accept test changes.
|
2023-03-08 13:23:58 +00:00 |
|
Mathias Vorreiter Pedersen
|
4cb5bea2c6
|
C++: Add simple negation test cases.
|
2023-03-08 13:23:05 +00:00 |
|
Mathias Vorreiter Pedersen
|
263b208282
|
C++: Disambiguate a test annotation.
|
2023-03-08 09:07:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
eea02e1ac1
|
C++: Accept test changes.
|
2023-03-07 16:18:43 +00:00 |
|
Mathias Vorreiter Pedersen
|
63690066c5
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-03-07 13:06:43 +00:00 |
|
Mathias Vorreiter Pedersen
|
b054b9c5cd
|
Merge pull request #12408 from jketema/merge-main
C++: use-use dataflow merge main
|
2023-03-07 13:05:30 +00:00 |
|
Paolo Tranquilli
|
bdad847584
|
Merge pull request #12422 from github/redsun82/cpp-scanf-fp
C++: add false positives to `MissingCheckScanf` test
|
2023-03-07 13:29:22 +01:00 |
|
Paolo Tranquilli
|
429518bcea
|
C++: add further FP to test
|
2023-03-07 12:03:34 +01:00 |
|
Paolo Tranquilli
|
311cf4e7fd
|
C++: add false positives to MissingCheckScanf test
See https://github.com/github/codeql/issues/12412 for the initial
report.
|
2023-03-07 11:56:05 +01:00 |
|
Jeroen Ketema
|
3a4c0a2aae
|
Merge pull request #12389 from jketema/more-deprecated
C++: Add `deprecated` to predicates that are deprecated according to the QLDoc
|
2023-03-07 11:21:43 +01:00 |
|
Jeroen Ketema
|
c9bccd9b43
|
C++: Fix more tests that used deprecated function
|
2023-03-07 09:01:13 +01:00 |
|
Jeroen Ketema
|
47930f94e2
|
Merge remote-tracking branch 'upstream/main' into merge-main
|
2023-03-06 15:20:39 +01:00 |
|
Anders Schack-Mulligen
|
5c7f2ac7f7
|
Merge pull request #12186 from aschackmull/dataflow/refactor-configuration
Data flow: Refactor configuration
|
2023-03-06 13:38:59 +01:00 |
|