Anders Schack-Mulligen
|
f11ae49312
|
Dataflow: Fix a poor join-order.
|
2025-01-16 10:25:55 +01:00 |
|
Jeroen Ketema
|
6ad342c567
|
C++: Add change note
|
2025-01-16 10:22:54 +01:00 |
|
Jeroen Ketema
|
4a3350bd41
|
C++: Update stats file
|
2025-01-16 08:18:09 +01:00 |
|
Jeroen Ketema
|
123f1d599a
|
C++: Add upgrade and downgrade scripts
|
2025-01-16 08:18:07 +01:00 |
|
Jeroen Ketema
|
bc2f203c4b
|
C++: Support if consteval and if ! consteval
|
2025-01-16 08:17:57 +01:00 |
|
Mathias Vorreiter Pedersen
|
5373e2222e
|
C++: Improve IRGuads logic for 'unlikely' expressions.
|
2025-01-16 00:45:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
7cca21364b
|
C++: Accept test changes.
|
2025-01-16 00:39:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
14db788125
|
C++: Ensure that 'x' in 'if(!x) is also an AST-based GuardCondition.
|
2025-01-16 00:39:37 +00:00 |
|
Mathias Vorreiter Pedersen
|
b5897e5727
|
C++: Accept sign analysis changes.
|
2025-01-16 00:39:36 +00:00 |
|
Mathias Vorreiter Pedersen
|
2d9036eb5f
|
C++: Make 'getInstructionConvertedResultExpression' equivalent in C and C++.
|
2025-01-16 00:39:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
ebb7f28d39
|
C++: Remove workaround for missing comparisons against 0 in C code.
|
2025-01-16 00:39:33 +00:00 |
|
Mathias Vorreiter Pedersen
|
9810a4f34d
|
C++: Remove 'inNonZeroCase' from IRGuards since we now always have implicit comparisons against 0 in C code.
|
2025-01-16 00:39:32 +00:00 |
|
Mathias Vorreiter Pedersen
|
0d7adac601
|
C++: Accept Guards test changes.
|
2025-01-16 00:39:31 +00:00 |
|
Mathias Vorreiter Pedersen
|
5da57cd2b4
|
C++: Accept test changes.
|
2025-01-16 00:39:29 +00:00 |
|
Mathias Vorreiter Pedersen
|
65771614ef
|
C++: Insert int-to-bool conversions at binary conditional expressions.
|
2025-01-16 00:39:28 +00:00 |
|
Mathias Vorreiter Pedersen
|
9d3bc7f510
|
C++: Accept test changes.
|
2025-01-16 00:39:26 +00:00 |
|
Mathias Vorreiter Pedersen
|
f30bfb63cf
|
C++: Insert int-to-bool conversions at 'NotExpr's.
|
2025-01-16 00:39:25 +00:00 |
|
Mathias Vorreiter Pedersen
|
1e33593c79
|
C++: Accept test changes.
|
2025-01-16 00:39:23 +00:00 |
|
Mathias Vorreiter Pedersen
|
dd39b97ab0
|
C++: Insert int-to-bool conversions at conditions.
|
2025-01-16 00:39:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
2e3d3494de
|
C++: Accept test changes.
|
2025-01-16 00:39:20 +00:00 |
|
Mathias Vorreiter Pedersen
|
5acd2bb2fb
|
C++: Adjust the result type at 'NotExpr' and at comparisons.
|
2025-01-16 00:39:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
9429b03896
|
C++: Provide a hook for overriding 'getResultType'.
|
2025-01-16 00:39:16 +00:00 |
|
Mathias Vorreiter Pedersen
|
6dd1c5e809
|
C++: Split out 'NotExpr' to its own class.
|
2025-01-16 00:39:14 +00:00 |
|
Mathias Vorreiter Pedersen
|
a0d2213268
|
Merge pull request #18503 from MathiasVP/scanf-check-prepare-fix
C++: Harden `checkedForEof`
|
2025-01-16 00:38:51 +00:00 |
|
github-actions[bot]
|
09198d9c25
|
Add changed framework coverage reports
|
2025-01-16 00:20:36 +00:00 |
|
Mathias Vorreiter Pedersen
|
01cbd2f7f1
|
C++: Ensure that the instruction being compared is the result of the 'CallInstruction'.
|
2025-01-15 19:27:28 +00:00 |
|
Jeroen Ketema
|
84c674b992
|
C++: Fix typos in IR translation comments
|
2025-01-15 20:16:43 +01:00 |
|
Geoffrey White
|
90faab456d
|
Merge pull request #18473 from geoffw0/sensitive2
Improve shared sensitive data library handling of snake_case variable names
|
2025-01-15 18:02:33 +00:00 |
|
Geoffrey White
|
bec01daa45
|
Rust: Update integration tests.
|
2025-01-15 17:57:16 +00:00 |
|
Geoffrey White
|
98e0b64266
|
Rust: Make QL-for-QL happy.
|
2025-01-15 17:51:49 +00:00 |
|
Geoffrey White
|
787a6d11a3
|
Rust: Autoformat.
|
2025-01-15 17:25:44 +00:00 |
|
Geoffrey White
|
65b33f3f96
|
Rust: Improve rust/summary/summary-statistics organization.
|
2025-01-15 17:16:49 +00:00 |
|
Geoffrey White
|
5a037bcbc4
|
Rust: Count taint edges as well.
|
2025-01-15 16:18:58 +00:00 |
|
Geoffrey White
|
72c62ac192
|
Rust: Add taint reach to rust/summary/summary-statistics.
|
2025-01-15 16:18:56 +00:00 |
|
Geoffrey White
|
7904ed965b
|
Rust: Add query sink counts query for getting a breakdown.
|
2025-01-15 16:18:51 +00:00 |
|
Paolo Tranquilli
|
3c064284b0
|
Rust: aggregate projects into workspaces
|
2025-01-15 17:17:19 +01:00 |
|
Geoffrey White
|
c6a7be671b
|
Rust: Add both totals to rust/summary/summary-statistics.
|
2025-01-15 16:16:49 +00:00 |
|
Geoffrey White
|
75f0a7f529
|
Rust: Add summary query rust/summary/query-sinks.
|
2025-01-15 16:16:26 +00:00 |
|
Ed Minnix
|
f5045abe9e
|
Fix files test
|
2025-01-15 10:43:01 -05:00 |
|
Simon Friis Vindum
|
ce5c886ad4
|
Rust, Ruby: Add basic block test
|
2025-01-15 15:24:26 +01:00 |
|
Michael Nebel
|
ca23e1b1fc
|
C#: Test example with ref local, unsafe context and ref struct in async and iterator methods.
|
2025-01-15 15:16:56 +01:00 |
|
Michael Nebel
|
8b6e5521a8
|
C#: Add some an implements test.
|
2025-01-15 13:08:07 +01:00 |
|
Jeroen Ketema
|
02ac61f328
|
Merge pull request #18483 from jketema/extractor-fixes
C++: Fix types of struct/union templates and fix assumptions on proxy classes
|
2025-01-15 12:01:25 +01:00 |
|
Jeroen Ketema
|
a3cd66844c
|
C++: Add change note
|
2025-01-15 11:38:09 +01:00 |
|
Jeroen Ketema
|
cd5e77348b
|
C++: Add upgrade and downgrade scripts
|
2025-01-15 11:38:07 +01:00 |
|
Jeroen Ketema
|
8e39eb9020
|
C++: Fix incorrect dbscheme assumptions on proxy classes
|
2025-01-15 11:38:05 +01:00 |
|
Jeroen Ketema
|
13e8853277
|
C++: Update expected test results after extractor changes
|
2025-01-15 11:38:03 +01:00 |
|
Jeroen Ketema
|
537feddf06
|
C++: Introduce usertypes for structs and unions
|
2025-01-15 11:38:01 +01:00 |
|
Joe Farebrother
|
344dd2dab5
|
Qldoc fix
|
2025-01-15 10:26:37 +00:00 |
|
Joe Farebrother
|
2aea356756
|
Add change note + fix tests
|
2025-01-15 10:24:18 +00:00 |
|