11 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	72d7223fd0	C++: Small drive by cleanup. Delete unnecessary nested 'exists'.	2025-09-10 12:35:59 +01:00
Mathias Vorreiter Pedersen	d097946e1f	C++: No need for this additional case.	2025-09-10 12:35:24 +01:00
Mathias Vorreiter Pedersen	01cbd2f7f1	C++: Ensure that the instruction being compared is the result of the 'CallInstruction'.	2025-01-15 19:27:28 +00:00
Geoffrey White	6026f65f8b	C++: Fix FPs in cpp/incorrectly-checked-scanf.	2024-07-23 17:27:37 +01:00
Mathias Vorreiter Pedersen	f31bb1391d	C++: Simplify 'checkedForEof'.	2024-03-20 16:59:39 +00:00
Mathias Vorreiter Pedersen	decede51dc	C++: Use the new predicate in 'ScanfChecks.qll'.	2024-03-18 16:07:57 +00:00
Mathias Vorreiter Pedersen	ebd1595fbe	C++: Fix FP by concluding that a less-than-zero check also implies a not-equal-to-EOF check.	2024-01-29 16:24:36 +00:00
Mathias Vorreiter Pedersen	41f44f598a	C++: Explicitly check that a check for EOF isn't present.	2024-01-29 11:33:14 +00:00
Alex Eyers-Taylor	da5c2d9bad	CPP: Use guard libraries to find equalities with zero.	2023-12-08 13:30:30 +00:00
Alex Eyers-Taylor	3e9aeac004	CPP: Fix sscanf false positives in older linux repos	2023-11-28 12:07:05 +00:00
Alex Eyers-Taylor	12e24a2b44	CPP: Exclude incorrect scanf checks from missing scanf checks	2023-11-24 16:57:59 +00:00