5 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	a006a7fb24	Revert "Merge pull request #6004 from MathiasVP/path-sensitive-stack-variable-reachability-analysis" ... This reverts commit e3e7b00986, reversing changes made to 8ccdd4fb9f.	2021-07-20 18:06:49 +02:00
Mathias Vorreiter Pedersen	2938ad5f8f	C++: Add testcase demonstrating the fix from a8c57ec4aa.	2021-06-23 23:01:49 +02:00
Mathias Vorreiter Pedersen	714ad105fe	C++: Accept test changes.	2021-06-14 22:02:38 +02:00
Mathias Vorreiter Pedersen	d450aa2ce4	C++: Add some testcases that require path sensitivity.	2021-06-03 18:02:29 +02:00
Geoffrey White	f034abc275	CPP: Add the Semmle security tests.	2018-11-26 17:52:34 +00:00