6031 Commits

Author	SHA1	Message	Date
Geoffrey White	e985204a62	C++: Add change note.	2021-05-19 11:14:23 +01:00
Geoffrey White	cdf261b54b	C++: In fact it's just not good enough to get additional evidence from the declaring type.	2021-05-18 14:31:19 +01:00
Geoffrey White	88dc0861ac	C++: Fix copy-paste error.	2021-05-18 14:27:31 +01:00
Geoffrey White	c7382ee06d	C++: Repair for function call macros.	2021-05-18 14:27:08 +01:00
Geoffrey White	012840e602	C++: Add more test cases.	2021-05-18 14:26:12 +01:00
Geoffrey White	3d8513c1e0	C++: Add 'MAC' as additional evidence.	2021-05-18 13:24:51 +01:00
Geoffrey White	da83e9142b	C++: Replace getAnExpandedElement with getAGeneratedElement as it's all we really need.	2021-05-18 13:23:49 +01:00
Geoffrey White	3b29920255	C++: Replace getAChild with getAnArgument().	2021-05-17 16:10:39 +01:00
Geoffrey White	09d00b133e	C++: Acknowledge another not detected result in tests.	2021-05-17 15:53:03 +01:00
Geoffrey White	930b9fe3e5	C++: Add triple-DES to the bad algorithms list.	2021-05-17 15:51:17 +01:00
Geoffrey White	57354def9e	C++: Real world diffs suggest that 'Cipher' should be an encryption word as well.	2021-05-17 15:36:27 +01:00
Geoffrey White	9e75f53798	C++: Prefer matches to regexpMatch.	2021-05-17 15:35:19 +01:00
Geoffrey White	9cdf838981	C++: Bug fix.	2021-05-13 16:20:52 +01:00
Geoffrey White	a9d57450c8	C++: Autoformat.	2021-05-13 16:19:09 +01:00
Geoffrey White	3a83ff54e6	C++: Add support for class methods.	2021-05-13 16:02:00 +01:00
Geoffrey White	2576075b98	C++: Repair result message.	2021-05-13 15:52:28 +01:00
Geoffrey White	5d1ef49f8f	C++: Add support for enum constants.	2021-05-13 15:42:42 +01:00
Geoffrey White	e4d2c7cfc4	C++: Rewrite so that we look for additional evidence.	2021-05-13 13:19:39 +01:00
Geoffrey White	123889a671	C++: Fix 'triple DES' false positives.	2021-05-13 10:21:06 +01:00
Geoffrey White	40cf29b625	C++: Rearrange the library.	2021-05-13 08:39:37 +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
Geoffrey White	8f152b7380	Merge pull request #5877 from MathiasVP/detect-more-abs-in-overflow-library ... C++: Detect more uses of `abs`	2021-05-12 10:02:12 +01:00
Anders Schack-Mulligen	74ae2e0857	Merge pull request #5773 from hvitved/dataflow/aggressive-caching ... Data flow: Cache most language-dependent predicates	2021-05-12 09:41:55 +02:00
Mathias Vorreiter Pedersen	948f1d8e34	C++: Add testcase with INTMAX_MIN.	2021-05-11 19:43:21 +02:00
Geoffrey White	d7e560c611	Merge pull request #5767 from ihsinme/ihsinme-patch-268 ... CPP: Add query for CWE-1126: Declaration of Variable with Unnecessarily Wide Scope	2021-05-11 15:24:25 +01:00
Mathias Vorreiter Pedersen	3e21f479a9	C++: Add change-note.	2021-05-11 14:58:48 +02:00
Tom Hvitved	d66506b0a3	Data flow: Rename {Argument,Parameter}NodeExt to {Arg,Param}Node	2021-05-11 14:40:10 +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
AlexDenisov	2905bb8b9a	Merge pull request #5861 from AlexDenisov/alexdenisov/adjust-user-defined-literals-test ... C++: Adjust user-defined literals test' expectations	2021-05-11 09:31:54 +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	d55db836cb	C++: Remove implied conjunct.	2021-05-10 16:13:54 +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
ihsinme	9e5a38debd	Update DeclarationOfVariableWithUnnecessarilyWideScope.expected	2021-05-10 14:17:40 +03:00
ihsinme	d3c6093f37	Update test.c	2021-05-10 14:16:38 +03:00
ihsinme	c8f2937df9	Update DeclarationOfVariableWithUnnecessarilyWideScope.ql	2021-05-10 14:16:11 +03:00
Alex Denisov	dcdd54593e	C++: Adjust user-defined literals test' expectations	2021-05-10 13:03:40 +02:00
Mathias Vorreiter Pedersen	474b337eeb	C++: Add change-note.	2021-05-10 10:22:44 +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	65ac5b862d	Merge pull request #5847 from MathiasVP/improve-wrong-in-detecting-and-handling-memory-allocation-errors ... Improve wrong in detecting and handling memory allocation errors	2021-05-07 17:39:04 +01:00
Geoffrey White	75edcf0b4f	Merge branch 'main' into unsigneddiff2	2021-05-07 16:35:16 +01:00
Geoffrey White	69468514f0	Update cpp/ql/src/Security/CWE/CWE-191/UnsignedDifferenceExpressionComparedZero.ql ... Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>	2021-05-07 16:26:42 +01:00
Geoffrey White	91be483c57	Update cpp/ql/src/Security/CWE/CWE-191/UnsignedDifferenceExpressionComparedZero.ql ... Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>	2021-05-07 16:26:36 +01:00