Mathias Vorreiter Pedersen
|
a8151b4ee4
|
C++: Add double-free tests.
|
2023-04-11 15:21:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
8fef101432
|
C++: Fix missing result and accept test changes.
|
2023-04-06 10:41:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
8014bdc993
|
C++: Add failing test for 'cpp/tainted-arithmetic'.
|
2023-04-06 10:39:49 +01:00 |
|
Robert Marsh
|
915c969efe
|
Merge branch 'main' into rdmarsh2/range-analysis-overflow
|
2023-04-05 16:19:55 -04:00 |
|
Mathias Vorreiter Pedersen
|
f257e85511
|
C++: Accept test changes in PrintAST.
|
2023-04-04 16:21:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
f2197e67f5
|
C++: Deprecate single-parameter 'getFieldExpr' and 'getElementExpr'.
|
2023-04-04 15:14:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
f28cf25ba2
|
Merge pull request #12755 from MathiasVP/aggregate-initialization-ir
C++: IR generation for repeated initializers
|
2023-04-04 15:04:55 +01:00 |
|
Robert Marsh
|
e4ae957cdd
|
C++: More fixes to overflow detection
|
2023-04-04 09:31:03 -04:00 |
|
Mathias Vorreiter Pedersen
|
4033ed33d8
|
C++: Add evil testcase.
|
2023-04-04 13:50:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
3daefa8b9e
|
C++: Add more tests.
|
2023-04-04 10:54:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
ea180c07e4
|
C++: Accept test changes.
|
2023-04-04 10:12:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
a0df7d22cd
|
C++: Add tests for designated initializers with repetitions.
|
2023-04-04 10:08:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
aa337c72c2
|
C++: Update import paths in tests and experimental queries.
|
2023-04-03 15:17:37 +01:00 |
|
Jeroen Ketema
|
8d9b96b776
|
C++: Drop the bit size restriction in typeBound and use float
|
2023-03-31 14:36:11 +02:00 |
|
Robert Marsh
|
4b4fc97221
|
Merge branch 'main' into rdmarsh2/range-analysis-overflow
|
2023-03-30 11:45:55 -04:00 |
|
Mathias Vorreiter Pedersen
|
4043aa976d
|
Merge branch 'main' into skip-safe-conversions-in-range-analysis
|
2023-03-30 11:24:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
0202bafc35
|
Merge pull request #12709 from MathiasVP/disable-rounding-2
C++: Disable floating point rounding in range analysis
|
2023-03-30 10:05:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
6275a015a4
|
Merge pull request #12708 from MathiasVP/dont-break-ir-cfg-on-vla
C++: Don't produce partial CFGs when using VLAs
|
2023-03-30 09:16:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
65c7a504b2
|
C++: Accept test changes.
|
2023-03-29 15:08:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
27d8f98418
|
C++: Replace 'int' with 'float' in tests and accept test changes.
|
2023-03-29 14:27:37 +01:00 |
|
Mathias Vorreiter Pedersen
|
a2c0e36062
|
C++: Accept test changes.
|
2023-03-29 14:25:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
0e9ed989e0
|
C++: Accept test changes.
|
2023-03-29 14:01:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
d4746e0508
|
C++: Add test with VLA.
|
2023-03-29 13:58:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
8021958ac5
|
C++: Accept test changes.
|
2023-03-28 16:50:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
4b2758f1b5
|
Merge branch 'main' into skip-safe-conversions-in-range-analysis
|
2023-03-28 10:32:13 +01:00 |
|
Jeroen Ketema
|
99c6111b05
|
C++: Add support for bounded modulus operations
|
2023-03-28 00:33:43 +02:00 |
|
Mathias Vorreiter Pedersen
|
724d97eabb
|
C++: Make sign analysis aware of unsigned'ness and accept test changes.
|
2023-03-27 23:08:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
cbd4662696
|
Merge branch 'main' into skip-safe-conversions-in-range-analysis
|
2023-03-27 21:18:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
1a6186496f
|
C++: Accept test changes.
|
2023-03-27 13:20:17 +01:00 |
|
Jeroen Ketema
|
d65b9ef32c
|
Merge pull request #12661 from geoffw0/elementstests
C++: Restrict tests that output all elements
|
2023-03-27 09:04:11 +02:00 |
|
Geoffrey White
|
202a717085
|
C++: Autoformat.
|
2023-03-24 22:10:51 +00:00 |
|
Geoffrey White
|
536c1939c0
|
C++: ... and rename the test to fit.
|
2023-03-24 19:50:13 +00:00 |
|
Geoffrey White
|
7096318884
|
C++: Focus the templates extern test on Declarations.
|
2023-03-24 19:50:13 +00:00 |
|
Geoffrey White
|
b5de2a5985
|
C++: Focus the lambda captures test on stuff inside the lambdas (including some that don't currently have locations).
|
2023-03-24 19:50:13 +00:00 |
|
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 |
|