32 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	d935e9fb0f	C++: Also resolve typedefs nested inside arrays.	2025-01-06 14:50:37 +00:00
Mathias Vorreiter Pedersen	682dd42caa	C++: Accept test changes.	2025-01-02 16:10:19 +01:00
Mathias Vorreiter Pedersen	6513c33d26	C++: Accept test changes.	2024-06-21 14:04:02 +01:00
Geoffrey White	087d689997	C++: Additional test cases.	2024-04-08 18:18:30 +01:00
Geoffrey White	49ef677b1d	C++: Additional test case for function pointers.	2024-04-04 16:53:29 +01:00
Geoffrey White	db60360293	C++: Add a test case where a function has a MAD model *and* an implementation.	2024-04-02 17:50:00 +01:00
Geoffrey White	0a33a6e79b	C++: Another test case - Arguments with no specified index.	2024-03-25 17:00:46 +00:00
Geoffrey White	cdafb26423	C++: Fix test failures.	2024-03-25 16:51:36 +00:00
Geoffrey White	dec5fc0f48	C++: Switch MAD syntax from *Argument[0] style to Argument[*0] style.	2024-03-25 11:20:55 +00:00
Geoffrey White	40270e1f70	C++: Fix mistake in test model.	2024-03-25 11:20:55 +00:00
Geoffrey White	b598b4ac45	C++: Fix for field content indirection (1-based).	2024-03-25 11:20:55 +00:00
Geoffrey White	73e95d67b9	C++: Implement Field indirection.	2024-03-25 11:20:55 +00:00
Geoffrey White	393bd7277c	C++: Add some negative test cases for indirection.	2024-03-25 11:20:55 +00:00
Geoffrey White	af4320df50	C++: Modify a summary test case to only test the summary model, not a source model as well.	2024-03-25 11:20:55 +00:00
Geoffrey White	14deb06e80	C++: Implement Argument + Parameter indirection.	2024-03-25 11:20:55 +00:00
Geoffrey White	638bfff09d	C++: Implement ReturnValue indirection (this version only worked with a small change to the shared library parsing to permit '*' in the token name; we no longer need this, so I rebased it out).	2024-03-25 11:20:09 +00:00
Geoffrey White	f52b6e0449	C++: Add more test cases for taint through qualifier fields.	2024-03-13 16:20:12 +00:00
Geoffrey White	6019a38266	C++: Add more test cases for indirection (4).	2024-03-13 16:20:08 +00:00
Geoffrey White	23da0c16c7	C++: Add more test cases for indirection (3).	2024-03-13 16:20:04 +00:00
Geoffrey White	7c4927c2e3	C++: Add more test cases for indirection (2).	2024-03-13 16:19:58 +00:00
Geoffrey White	fcda0c9819	C++: Add more test cases for indirection (1).	2024-03-13 15:35:28 +00:00
Geoffrey White	c17a36ec07	C++: Add more test cases for taint through qualifiers.	2024-03-13 15:30:13 +00:00
Geoffrey White	92d57ab504	C++: Correct some existing cases that are in fact indirect.	2024-03-13 15:26:21 +00:00
Geoffrey White	cbacd51337	C++: Make Argument[-1] refer to *this rather than this.	2024-03-12 17:51:43 +00:00
Geoffrey White	22d5e9bbfb	C++: Add test cases involving pointer qualifiers.	2024-03-12 17:47:11 +00:00
Geoffrey White	7675f153ce	C++: Add SummaryOutNode class.	2024-03-05 17:32:54 +00:00
Geoffrey White	d1a2048134	C++: Add SummaryPostUpdateNode class.	2024-03-01 16:03:37 +00:00
Geoffrey White	dbf0b98791	C++: Add some test cases involving function pointers.	2024-03-01 15:56:44 +00:00
Geoffrey White	356214c11b	C++: Implement SummaryReturnNode.	2024-02-20 14:48:02 +00:00
Geoffrey White	5683092d6a	C++: Implement SummaryParameterNode.	2024-02-20 14:48:02 +00:00
Geoffrey White	1ace9ee50f	C++: Create a proper class for DataFlowCallable, that includes summarized callables.	2024-02-20 14:48:02 +00:00
Geoffrey White	6e13b877bb	C++: Add FlowSummaryNode and test it.	2024-02-16 18:06:57 +00:00