5 Commits

Author	SHA1	Message	Date
Paolo Tranquilli	a0059202db	C++: split cpp/overrunning-write into two ... This splits the `cpp/overruning-write` into two separate queries based off on the reason for the estimation. If the overrun is detected based on non-trivial range analysis, the results are now marked by the new `cpp/very-likely-overruning-write` high precision query. If it is based on less precise, usually type based bounds, then it will still be marked by `cpp/overruning-write` which remains at medium precision.	2022-01-13 11:59:47 +00:00
Robert Marsh	c2b356ab08	C++: add subpaths to DefaultTaintTracking	2021-09-23 21:00:45 -07:00
Geoffrey White	d73604d1c5	C++: Fix a few glitches and accept line number changes in expected files.	2021-09-02 17:34:47 +01:00
Geoffrey White	fdb4a2acdb	C++: Clean up header comments.	2021-09-02 17:34:46 +01:00
Geoffrey White	75d367a6c5	C++: Add ad-hoc SAMATE Juliet test cases (that were previously internal). Directory structures cleaned up in a few places.	2021-09-02 17:34:45 +01:00