5 Commits

Author	SHA1	Message	Date
Geoffrey White	ae944b268a	C++: Restrict the 'check' to stat / access only as these are by far the more reliable results.	2021-07-20 11:18:00 +01:00
Geoffrey White	c5ed859cf5	C++: Update test comments to my best understanding.	2021-07-15 16:36:21 +01:00
Jonas Jensen	bebd5ae36b	C++: Call qualifiers are passed by reference ... After #3382 changed the escape analysis to model qualifiers as escaping, there was an imbalance in the SSA library, where `addressTakenVariable` excludes variables from SSA analysis if they have their address taken but are _not_ passed by reference. This showed up as a missing result in `TOCTOUFilesystemRace.ql`, demonstrated with a test case in #3432. This commit changes the definition of "pass by reference" to include call qualifiers, which allows SSA modeling of variables that have member function calls on them.	2020-05-11 09:39:48 +02:00
Geoffrey White	bff97d9fe5	C++: Effect of #3382.	2020-05-07 19:06:05 +01:00
Geoffrey White	6499197087	C++: Add a test of TOCTOUFilesystemRace.ql.	2020-05-07 19:03:32 +01:00