947 Commits

Author	SHA1	Message	Date
Geoffrey White	123889a671	C++: Fix 'triple DES' false positives.	2021-05-13 10:21:06 +01:00
Geoffrey White	0450caa73d	C++: Exclude array initializers.	2021-05-12 19:39:30 +01:00
Geoffrey White	52a88af6c1	C++: Exclude macro invocations in switch case expressions.	2021-05-12 19:33:18 +01:00
Geoffrey White	9404d0676d	C++: Exclude macros that don't generate anything.	2021-05-12 19:28:08 +01:00
Geoffrey White	b6d5f7c315	C++: Fix FPs caused by substring regexp.	2021-05-12 19:23:49 +01:00
Geoffrey White	109fa4d38e	C++: Add test cases for BrokenCryptoAlgorithm.ql.	2021-05-12 19:16:00 +01:00
Mathias Vorreiter Pedersen	e94dab70b5	C++: Add sanitizers to cpp/uncontrolled-arithmetic.	2021-05-12 15:44:09 +02:00
Mathias Vorreiter Pedersen	948f1d8e34	C++: Add testcase with INTMAX_MIN.	2021-05-11 19:43:21 +02:00
Mathias Vorreiter Pedersen	48e783184c	C++: Fix false positive by recognizing more absolute value functions in Overflow.qll	2021-05-11 14:30:28 +02:00
Mathias Vorreiter Pedersen	24d8abd2c2	C++: Add false positive testcase when an absolute value is used in comparison.	2021-05-11 14:27:53 +02:00
Mathias Vorreiter Pedersen	5016c6436a	Merge pull request #5859 from MathiasVP/fix-fp-in-comparison-with-wider-type ... C++: Fix false positive in `cpp/comparison-with-wider-type`	2021-05-10 17:58:31 +02:00
Mathias Vorreiter Pedersen	51d04cb5b3	C++: Correct test annotation.	2021-05-10 15:30:35 +02:00
Mathias Vorreiter Pedersen	c0b65314be	C++: Fix false positive by restricting _both_ the old (unconverted) expression _and_ all of the conversions.	2021-05-10 15:18:42 +02:00
Mathias Vorreiter Pedersen	c7cd75437f	C++: Add testcase demonstrating false positive from conversions.	2021-05-10 14:58:33 +02:00
Mathias Vorreiter Pedersen	c91ed80e6c	C++: Fix false positive by computing range of the converted expression.	2021-05-10 10:12:43 +02:00
Mathias Vorreiter Pedersen	7ac7830973	C++: Add testcase with false positive involving a conversion on the large-expression side of the comparison.	2021-05-10 10:11:31 +02:00
Geoffrey White	75edcf0b4f	Merge branch 'main' into unsigneddiff2	2021-05-07 16:35:16 +01:00
Robert Marsh	230f4bcae8	C++: accept test changes from IR sharing	2021-05-06 08:14:45 -07:00
Robert Marsh	86b1d032ae	C++: accept test regressions	2021-05-06 08:14:38 -07:00
Mathias Vorreiter Pedersen	04a785b9fb	C++: Accept test changes.	2021-04-27 09:43:27 +02:00
Mathias Vorreiter Pedersen	7fbc62358e	C++: Accept test changes after making the exprMightOverFlow predicates more sound.	2021-04-15 13:57:44 +02:00
Mathias Vorreiter Pedersen	d1457995dd	C++: Use range analysis in Overflow.qll	2021-04-13 16:39:28 +02:00
Geoffrey White	4879104568	C++: Add more dataflow cases to replace the loss.	2021-04-13 15:09:12 +01:00
Geoffrey White	b0ad927fdd	C++: Remove useUsePair.	2021-04-13 15:03:06 +01:00
Geoffrey White	3b437fe6cf	C++: Replace GVN with some other libraries.	2021-04-09 15:21:42 +01:00
Geoffrey White	517fd23ca5	C++: Correct and add to test cases.	2021-04-08 09:48:38 +01:00
Geoffrey White	a8193dac08	C++: Reintroduce the exprMightOverflowNegatively bit.	2021-04-06 22:36:59 +01:00
Geoffrey White	60e4faba4c	C++: Add linear expression logic.	2021-04-06 22:28:36 +01:00
Geoffrey White	48ff8e237c	C++: Rewrite the range analysis exclusion to be recursive and more robust.	2021-04-06 22:26:55 +01:00
Geoffrey White	3ecd13531f	C++: Improve isGuarded.	2021-04-06 22:21:59 +01:00
Geoffrey White	59ff3f315b	C++: Add test cases exploring issues and potential issues with the query (especially related to simple range analysis).	2021-04-06 22:21:25 +01:00
Geoffrey White	a8284d5b97	C++: Add mutex test case.	2021-03-30 15:39:21 +01:00
Mathias Vorreiter Pedersen	c7c65736a9	C++: Accept test changes. These happened because of the incorrect usage of multiple configurations in 6c1ec6d96b.	2021-03-26 10:57:58 +01:00
Mathias Vorreiter Pedersen	983b64a05f	Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt	2021-03-26 09:11:12 +01:00
Geoffrey White	b38a9d51e6	C++: Effect of 'Don't override getParameterSizeIndex in the model for Accept'...	2021-03-23 12:26:59 +00:00
Geoffrey White	13eb9e0833	C++: Fix the test.	2021-03-23 12:26:58 +00:00
Geoffrey White	30e1b88b7f	C++: Extend test.	2021-03-23 12:26:58 +00:00
Mathias Vorreiter Pedersen	6c1ec6d96b	C++: Accept test changes.	2021-03-19 16:09:05 +01:00
Mathias Vorreiter Pedersen	5667901a2a	C++: Accept test changes after merge from main (which changed the path explanations).	2021-03-11 21:16:57 +01:00
Mathias Vorreiter Pedersen	a2d75c4fed	Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt	2021-03-11 18:06:37 +01:00
Mathias Vorreiter Pedersen	01cc2f2c77	Merge pull request #5366 from MathiasVP/better-path-explanation-for-this-indirection ... C++: Replace 'Argument -1 indirection' with 'This indirection'	2021-03-11 10:48:44 +01:00
Jonas Jensen	e1adf5e8b0	Merge pull request #5218 from MathiasVP/no-write-side-effects-for-const-pointer-params ... C++: Don't generate write side effects for const parameter indirections	2021-03-11 09:48:05 +01:00
Mathias Vorreiter Pedersen	55da16c4a9	C++: Accept test changes.	2021-03-11 09:27:45 +01:00
Mathias Vorreiter Pedersen	bc36e0db43	C++: Accept more test changes.	2021-03-10 16:51:13 +01:00
Mathias Vorreiter Pedersen	0b6589c8be	C++: Accept test changes.	2021-03-10 15:47:06 +01:00
Mathias Vorreiter Pedersen	19d08d7b40	Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt	2021-03-09 12:35:44 +01:00
Mathias Vorreiter Pedersen	7207a17f6f	C++: Accept more tests.	2021-03-08 16:50:12 +01:00
Mathias Vorreiter Pedersen	748f5344ff	Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt	2021-03-02 10:43:37 +01:00
Mathias Vorreiter Pedersen	72daf2eef9	C++: Make the tests more realistic by actually using the local variable for something. Otherwise it looks like a zero-initialization of a buffer, which the query now tries to exclude.	2021-02-26 09:19:05 +01:00
Mathias Vorreiter Pedersen	d33209388d	C++: Fix test annotations. Also exclude static locals from the query and add a testcase for this.	2021-02-25 13:25:11 +01:00