5937 Commits

Author	SHA1	Message	Date
Jonas Jensen	b1745f588c	Merge pull request #2402 from geoffw0/nospace ... CPP: Make NoSpaceForZeroTerminator.ql more conservative.	2019-11-26 13:36:05 +01:00
Robert Marsh	60b384a6e5	C++/C#: use line numbers for instruction IDs ... This should reduce the number of merge conflicts in the IR tests resulting from instruction ID changes due to inserting or removing instructions	2019-11-25 18:27:59 -05:00
Dave Bartolomeo	44c1c5a7ab	C++: Update points_to.ql test to use new bit offset format	2019-11-25 11:13:02 -07: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
Dave Bartolomeo	eda47bfc51	C++: Add SSA sanity tests to IR tests	2019-11-22 16:10:51 -07:00
Dave Bartolomeo	51ff262cbc	C++/C#: Add IR SSA sanity tests	2019-11-22 13:16:05 -07: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	5014432472	CPP: Tests: Add a test of NewArrayExpr.getAllocatedType() and NewArrayExpr.getExtent().	2019-11-22 15:16:32 +00:00
Geoffrey White	bbe6a1aa76	CPP: Additional test case.	2019-11-22 15:13:05 +00:00
Robert Marsh	05aebeff79	Merge branch 'master' into rdmarsh/cpp/ir-callee-side-effects	2019-11-21 13:45:31 -08:00
Robert Marsh	dbe885fd38	Merge pull request #1926 from jbj/ir-dataflow-toString ... C++: DataFlow::Node.toString consistency	2019-11-21 10:20:35 -08: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
Robert Marsh	34593701b2	Merge branch 'master' into rdmarsh/cpp/ir-callee-side-effects	2019-11-20 10:03:32 -08: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
Geoffrey White	57c7a87af9	CPP: Add tests with different proof of zero-termination.	2019-11-20 14:27:19 +00:00
Geoffrey White	3c9fe91581	CPP: Add proof of zero-termination to tests.	2019-11-20 14:27:19 +00:00
Jonas Jensen	b325427d29	C++: Suppress ExprHasNoEffect on template code	2019-11-20 15:12:25 +01:00
Jonas Jensen	4dafa16572	C++: Fix FP on unevaluated code ... This fixes false positives on tenzir/vast.	2019-11-20 10:42:36 +01:00
Jonas Jensen	a1af96e521	C++: Reproduce a reported FP	2019-11-19 16:17:49 +01:00
Jonas Jensen	c41114334f	Merge remote-tracking branch 'upstream/master' into ir-dataflow-toString ... Solved conflicts in `*.expected` by re-running the tests.	2019-11-19 14:27:27 +01:00
Jonas Jensen	1498499994	C++: Relax type in two tests	2019-11-19 11:31:34 +01:00
Jonas Jensen	e57f98ca64	C++: Use StackVariable in def-use libraries ... Most of the implementation was already in terms of `SemanticStackVariable`, so not much should have changed.	2019-11-19 11:30:59 +01:00
Jonas Jensen	95a333d28c	C++: Use StackVariable in SSA libraries ... This means we'll no longer get SSA definitions for thread-local local-scope variables.	2019-11-19 11:30:59 +01:00
Jonas Jensen	8110039e0a	C++: Bring back the StackVariable QL class ... The new `StackVariable` class actually denotes what its name suggests.	2019-11-19 11:23:34 +01:00
Robert Marsh	180a3c9f26	C++: accept test changes	2019-11-15 11:01:18 -08:00
Ian Lynagh	4442fd8407	C++: Accept changes to syntax-zoo tests	2019-11-15 14:42:36 +00:00
Ian Lynagh	2cf714a923	C++: Follow changes in lambda locations	2019-11-15 14:42:36 +00:00
Ian Lynagh	8e00516ecf	C++: Accept changes in ir test	2019-11-15 14:42:36 +00:00
Jonas Jensen	73d9cc2e7b	Merge pull request #2309 from geoffw0/cpp418 ... CPP: QLDoc enhancements	2019-11-15 08:46:08 +01:00
Dave Bartolomeo	81262d5948	Merge pull request #2328 from geoffw0/routinetest ... CPP: Add a quick test of RoutineType.	2019-11-14 15:49:13 -07:00
Robert Marsh	facbd32062	Merge branch 'master' into rdmarsh/cpp/ir-callee-side-effects	2019-11-14 11:09:13 -08:00
Robert Marsh	2fb1d4d1b1	C++: fix IR return block successors	2019-11-14 10:29:48 -08:00
Geoffrey White	7408726f41	Merge pull request #2312 from jbj/pointer-wraparound-query ... C++: New query: Pointer overflow check	2019-11-14 16:13:04 +00:00
Geoffrey White	dc34fa366c	CPP: Add a test of RoutineType.	2019-11-14 15:13:52 +00:00
Dave Bartolomeo	08620046ab	Merge pull request #2068 from rdmarsh2/rdmarsh/cpp/ir-constructor-side-effects ... C++: side effect instrs for constructor qualifiers	2019-11-13 14:56:24 -07:00
Dave Bartolomeo	55010d030d	Merge pull request #2315 from geoffw0/errtest ... CPP: Add a quick test of ErroneousType.	2019-11-13 13:24:39 -07:00
Dave Bartolomeo	e89ecc19e3	Merge pull request #2302 from max-schaefer/test-qlpacks ... Add `qlpack.yml` files for test folders.	2019-11-13 12:21:19 -07:00
Geoffrey White	32b5501177	CPP: Add a test of ErroneousType.	2019-11-13 18:53:43 +00:00
Jonas Jensen	81d06e2ce6	C++: Update annotation in test file	2019-11-13 16:58:25 +01:00
Jonas Jensen	db33053422	C++: Add test for macro exclusions	2019-11-13 14:21:29 +01:00