Skip to content

CPP: Add lots more allocation functions to Alloc.qll#994

Merged
dave-bartolomeo merged 2 commits intogithub:masterfrom
geoffw0:msalloc
Feb 26, 2019
Merged

CPP: Add lots more allocation functions to Alloc.qll#994
dave-bartolomeo merged 2 commits intogithub:masterfrom
geoffw0:msalloc

Conversation

@geoffw0
Copy link
Contributor

@geoffw0 geoffw0 commented Feb 26, 2019

On certain Microsoft-heavy code bases, these changes may result in many new results for the 'Memory is never freed' and 'Memory may not be freed' queries.

@lukecartey

@geoffw0 geoffw0 added the C++ label Feb 26, 2019
@geoffw0 geoffw0 requested a review from a team as a code owner February 26, 2019 18:10
Copy link
Contributor

@dave-bartolomeo dave-bartolomeo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. I'm surprised that these kernel-mode allocation functions have come up, but user-mode ones like HeapAlloc(), LocalAlloc(), GlobalAlloc(), SysAllocString(), and CoTaskMemAlloc() have not.

@dave-bartolomeo dave-bartolomeo merged commit 84c7f19 into github:master Feb 26, 2019
@geoffw0
Copy link
Contributor Author

geoffw0 commented Feb 27, 2019

I'm surprised that these kernel-mode allocation functions have come up, but user-mode ones like HeapAlloc(), LocalAlloc(), GlobalAlloc(), SysAllocString(), and CoTaskMemAlloc() have not.

Yes, the list was somewhat arbitrary. I'll add your suggestions (thanks!) in a future PR, though probably aimed at 1.21 rather than 1.20.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments