764 Commits

Author	SHA1	Message	Date
Jonas Jensen	ceeb9ab718	Merge pull request #2622 from MathiasVP/implicit-function-declaration ... C++: Add 'implicit function declaration' query	2020-01-23 09:23:44 +01:00
Geoffrey White	200545d88c	CPP: Add detail to the model.	2020-01-17 18:56:21 +00:00
Mathias Vorreiter Pedersen	e4def730fd	C++: Fix alert message	2020-01-16 21:30:14 +01:00
Mathias Vorreiter Pedersen	04ef4d102d	C++: Remove unnecessary testcase	2020-01-16 15:10:37 +01:00
Geoffrey White	2fa846d1a6	CPP: Correct test.	2020-01-14 14:33:43 +00:00
Geoffrey White	d98d80b07d	CPP: Improve locations for AV Rule 114.ql.	2020-01-14 14:33:43 +00:00
Mathias Vorreiter Pedersen	c9439df914	C++: Added query that detects implicit function declarations	2020-01-12 16:28:30 +01:00
Geoffrey White	9176529799	Merge pull request #2599 from MathiasVP/assign-where-compare-meant-false-positives ... Assign where compare meant false positives	2020-01-10 13:39:39 +00:00
Mathias Vorreiter Pedersen	111f1dbd19	Merge branch 'assign-where-compare-meant-false-positives' of github.com:MathiasVP/ql into assign-where-compare-meant-false-positives	2020-01-10 13:14:00 +01:00
Mathias Vorreiter Pedersen	f80c13abd7	C++: Fixed incorrect comments in testcases	2020-01-10 12:24:43 +01:00
Mathias Vorreiter Pedersen	21c99d1827	Typo fix ... Co-Authored-By: Geoffrey White <40627776+geoffw0@users.noreply.github.com>	2020-01-10 11:46:14 +01:00
Geoffrey White	cf5dd85944	Merge pull request #2577 from MathiasVP/multiplication-overflow-not-possible-due-to-type-width ... Multiplication overflow not possible due to type width	2020-01-08 17:18:33 +00:00
Dave Bartolomeo	6c8de44800	Merge pull request #2604 from geoffw0/returnthis ... CPP: Exclude template classes from cpp/assignment-does-not-return-this	2020-01-08 09:12:22 -07:00
Geoffrey White	527d29ba23	CPP: Exclude template classes from the query.	2020-01-08 13:16:38 +00:00
Geoffrey White	d527dbe47a	CPP: Add test case.	2020-01-08 13:13:06 +00:00
Mathias Vorreiter Pedersen	100ace532f	C++: Fixed handling of false negative. Query now supports global variables	2020-01-07 22:57:21 +01:00
Mathias Vorreiter Pedersen	db08076fed	C++: Fixed false negative	2020-01-07 22:20:04 +01:00
Mathias Vorreiter Pedersen	229da0a9c0	C++: Add testcase demonstrating false negative	2020-01-07 22:12:34 +01:00
Mathias Vorreiter Pedersen	d9f931da3c	C++: Fix false positives	2020-01-07 14:16:50 +01:00
Mathias Vorreiter Pedersen	6bbe2c48bf	C++: Add testcase demonstrating false positive	2020-01-07 14:13:34 +01:00
Geoffrey White	72b4792391	CPP: Exception for AsmStmts.	2020-01-07 12:46:07 +00:00
Geoffrey White	0a85637fef	CPP: Add a test.	2020-01-07 12:46:07 +00:00
Mathias Vorreiter Pedersen	9a841636dc	C++: Fix false positive	2020-01-07 13:22:07 +01:00
Mathias Vorreiter Pedersen	faa9d83567	C++: Add testcase demonstrating false positive	2020-01-07 13:18:38 +01:00
Mathias Vorreiter Pedersen	bdd0589223	C++: Fix false positive	2020-01-07 13:16:47 +01:00
Mathias Vorreiter Pedersen	428e357488	C++: Add testcase demonstrating false positive	2020-01-07 11:41:48 +01:00
Mathias Vorreiter Pedersen	9ed1510a8c	C++: Improved query precision using SimpleRangeAnalysis	2020-01-06 14:16:52 +01:00
Mathias Vorreiter Pedersen	e926966e73	C++: Added more tests	2020-01-03 14:08:12 +01:00
Mathias Vorreiter Pedersen	cea78879b2	C++: Rename variables in tests to reflect their types	2020-01-03 14:07:19 +01:00
Mathias Vorreiter Pedersen	7dbb191531	C++: Improve query precision	2020-01-02 15:53:22 +01:00
Mathias Vorreiter Pedersen	cfb839a8f9	C++: Add test demonstrating the false positive	2020-01-02 15:48:01 +01:00
Jonas Jensen	939979ddef	Merge branch 'master' into overflowcalc	2019-12-19 14:12:00 +01:00
Mathias Vorreiter Pedersen	30822f1d98	C++: Alert suppresion through single-line /* */ style comments	2019-12-19 09:10:09 +01:00
Geoffrey White	0da826f0c3	Merge branch 'master' into overflowcalc	2019-12-16 13:48:38 +00:00
Jonas Jensen	b1745f588c	Merge pull request #2402 from geoffw0/nospace ... CPP: Make NoSpaceForZeroTerminator.ql more conservative.	2019-11-26 13:36:05 +01:00
Jonas Jensen	8f3998915b	Merge pull request #2376 from geoffw0/qhelpms2 ... CPP: Recommendations and examples for TlsSettingsMisconfiguration.qhelp and UseOfDeprecatedHardCodedProtocol.qhelp	2019-11-25 08:17:32 +01:00
Geoffrey White	e274e01432	CPP: More consistency.	2019-11-22 16:08:00 +00:00
Geoffrey White	8fc59ebac4	CPP: I believe these BUG labels were incorrect.	2019-11-22 16:07:59 +00:00
Geoffrey White	a1b603e73c	CPP: Add the examples to the test.	2019-11-22 16:07:59 +00:00
Geoffrey White	3895a7e1f0	CPP: Queries: Improve NoSpaceForZeroTerminator query.	2019-11-22 15:27:08 +00:00
Geoffrey White	3c9432d7b7	CPP: Queries: Improve OverflowCalculated query.	2019-11-22 15:19:00 +00:00
Geoffrey White	5f798314d1	CPP: Tests: NoSpaceForZeroTerminator test cases for calloc and realloc.	2019-11-22 15:18:59 +00:00
Geoffrey White	a2c0532a84	CPP: Tests: CWE-120 test cases for calloc, realloc and new.	2019-11-22 15:16:32 +00:00
Geoffrey White	d67ea4d768	CPP: Tests: AV Rule 79 test cases for calloc, realloc and new.	2019-11-22 15:16:32 +00:00
Geoffrey White	7190dd2ef4	CPP: Tests: Rearrange a test prior to changes.	2019-11-22 15:16:32 +00:00
Geoffrey White	bbe6a1aa76	CPP: Additional test case.	2019-11-22 15:13:05 +00:00
Geoffrey White	676e8a2c2e	Merge pull request #2399 from jbj/ExprHasNoEffect-templates ... C++: Suppress ExprHasNoEffect on template code	2019-11-21 18:01:41 +00:00
Geoffrey White	e6ea705ff2	CPP: Switch from a blacklist to whitelist approach for determining null termination.	2019-11-20 15:34:38 +00:00
Geoffrey White	fbd9d9bdab	CPP: Add a test case involving the std::string constructor.	2019-11-20 15:20:21 +00:00
Geoffrey White	6fc9cc5952	CPP: Add a test case using 'new'.	2019-11-20 14:27:19 +00:00