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
Mathias Vorreiter Pedersen
d2d91cfb29
C++: Accept test changes.
2023-03-06 11:30:40 +00:00
Jeroen Ketema
72d03e4060
C++: Fix test that used deprecated function
2023-03-06 09:07:52 +01:00
Mathias Vorreiter Pedersen
907e6299a4
C++: Convert 'ExecTainted' to use the new refactored dataflow library.
2023-03-03 14:41:29 +00:00
Jeroen Ketema
620c69df12
C++: Add more static qualifiers in syntax zoo test
2023-03-03 15:03:31 +01:00
Jeroen Ketema
87b1c3eaa8
Merge pull request #12381 from jketema/silence
...
C++: Silence some more bogus consistency errors in syntax zoo
2023-03-03 12:51:39 +01:00
Mathias Vorreiter Pedersen
16e817c814
Merge pull request #12356 from MathiasVP/use-phi-reads
...
C++: Include "phi reads" in `DataFlow::Node`
2023-03-03 11:14:08 +00:00
Jeroen Ketema
4faede0e2c
C++: Silence some more bogus consistency errors in syntax zoo
...
These were due to several functions occurring that would have the same TRAP key.
By making the functions static or wrapping the defining class in an anonymous
namespace the TRAP keys will differ from each other.
2023-03-03 12:07:33 +01:00
Geoffrey White
7b596f4928
Merge pull request #10431 from ihsinme/ihsinme-patch-111
...
CPP: Add query for CWE-369: Divide By Zero.
2023-03-03 10:42:04 +00:00
