14 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	40cc2e7891	C++: Also exclude unevaluated buffers in 'OverflowStatic'.	2023-03-21 09:53:39 +00:00
Mathias Vorreiter Pedersen	4d2a1ea149	C++: Also add a FP test to 'OverflowStatic'.	2023-03-21 09:50:47 +00:00
Mathias Vorreiter Pedersen	b37bb660c5	C++: Add FP caused by a BufferAccess inside an unevalauted context.	2023-03-21 09:37:18 +00:00
Anders Fugmann	03bd7d7f96	C++: Update test results from OverflowStatic	2021-09-27 11:23:08 +02:00
Anders Fugmann	9a35a699cb	C++: Update tests	2021-09-13 12:10:58 +02:00
Anders Fugmann	342b2df93f	C++: zero or one byte sized arrays in unions are considered as having the length of the union its a member of	2021-09-13 11:25:04 +02:00
Anders Fugmann	4ab9b81a9a	C++: Add tests exposing some FP's for OverflowStatic query	2021-09-13 11:09:56 +02:00
Anders Fugmann	ebdda885f9	C++: Update test annotation for OverflowStatic	2021-09-07 10:38:16 +02:00
Anders Fugmann	d962fc4ce1	C++: Improve predicate upperBound in SimpleRangeAnalysis ... If an expression has an immediate guardPhi node, this is used as a strict upper bound	2021-09-02 21:46:18 +02:00
Anders Fugmann	c110508b4e	C++: Add tests to expose potential improvements available to SimpleRangeAnalysis	2021-09-02 21:20:33 +02:00
Geoffrey White	3aa66f5aca	C++: Merge the OverflowStatic tests.	2020-01-23 11:05:46 +00:00
Geoffrey White	ea56a5d9ce	CPP: Add local dataflow to (one bit of) OverflowStatic.ql.	2018-11-22 15:49:13 +00:00
Geoffrey White	01ba635e1d	CPP: Add some test cases involving dataflow.	2018-11-22 15:49:13 +00:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00