Mathias Vorreiter Pedersen f7b55e05eb C++: 'Attach' is value-preserving.

2024-12-06 15:30:34 +00:00

..

allocation

C++: Replace allocation models with models from extensible predicates.

2024-06-21 08:54:09 +01:00

deallocation

C++: Add 'bsl::free' as a deallocation function model.

2024-06-24 13:56:44 +01:00

Boost.Asio.model.yml

C++: Update MaD models.

2024-06-21 12:47:43 +01:00

bsl.array.model.yml

C++: Add bsl models for 'array::front' and 'array::back'.

2024-07-03 18:14:10 +01:00

bsl.deque.model.yml

C++: Add more 'Argument[-1]' to 'ReturnValue' flow.

2024-07-03 17:27:22 +01:00

bsl.forward_list.model.yml

C++: Add more 'Argument[-1]' to 'ReturnValue' flow.

2024-07-03 17:27:22 +01:00

bsl.list.model.yml

C++: Add more 'Argument[-1]' to 'ReturnValue' flow.

2024-07-03 17:27:22 +01:00

bsl.vector.model.yml

C++: Add more 'Argument[-1]' to 'ReturnValue' flow.

2024-07-03 17:27:22 +01:00

CA2CAEX.model.yml

C++: Add models.

2024-11-27 16:41:18 +00:00

CAtlArray.model.yml

C++: Add MaD model for 'CAtlArray'.

2024-11-27 16:41:24 +00:00

CAtlFile.model.yml

C++: Add a MaD model for 'CAtlFile' and mark reads as local flow sources.

2024-11-27 16:41:48 +00:00

CAtlFileMappingBase.model.yml

C++: Add a MaD model for 'CAtlFileMappingBase' and mark reads as local flow sources.

2024-11-27 16:41:51 +00:00

CAtlList.model.yml

C++: Make 'SetAt' a value-preserving step.

2024-12-04 12:52:41 +00:00

CAtlTemporaryFile.model.yml

C++: Add a MaD model for 'CAtlTemporaryFile' and mark reads as local flow sources.

2024-11-27 16:41:53 +00:00

CComBSTR.model.yml

C++: 'Attach' is value-preserving.

2024-12-06 15:30:34 +00:00

CComSafeArray.model.yml

C++: Add missing space between type name and '&'.

2024-12-06 15:29:13 +00:00

CPathT.model.yml

C++: Add missing space between type name and '&'.

2024-12-06 15:29:13 +00:00

CRegKey.model.yml

C++: Add missing space between type name and '&'.

2024-12-06 15:29:13 +00:00

CSimpleArray.model.yml

C++: Add MaD model for 'CSimpleArray'.

2024-11-27 16:41:40 +00:00

CSimpleMap.model.yml

C++: Add MaD model for 'CSimpleMap'.

2024-11-27 16:41:42 +00:00

CUrl.model.yml

C++: Add MaD model for 'CUrl'.

2024-11-27 16:41:45 +00:00

empty.model.yml

C++: Implement YML extension models.

2024-06-03 13:49:38 +01:00

std.array.model.yml

C++: Add models for 'array::front' and 'array::back'.

2024-07-03 16:03:25 +01:00

std.deque.model.yml

C++: Add more 'Argument[-1]' to 'ReturnValue' flow.

2024-07-03 17:27:22 +01:00

std.format.model.yml

C++: Take out the 'Element' content from std::format model.

2024-07-30 15:31:18 +01:00

std.forward_list.model.yml

C++: Add more 'Argument[-1]' to 'ReturnValue' flow.

2024-07-03 17:27:22 +01:00

std.iterator.model.yml

C++: Replace 'Element[*@]' with 'Element[@]'.

2024-07-03 11:18:13 +01:00

std.list.model.yml

C++: Add more 'Argument[-1]' to 'ReturnValue' flow.

2024-07-03 17:27:22 +01:00

std.vector.model.yml

C++: Add more 'Argument[-1]' to 'ReturnValue' flow.

2024-07-03 17:27:22 +01:00