Description
Description
dotnet 6.0
File: /src/libraries/System.DirectoryServices.AccountManagement/src/System/DirectoryServices/AccountManagement/User.cs:184
Problem: new PrincipalContext(ContextType.Machine) is not disposed at the end of the function
Reproduction Steps
-
Role: detected
detected
[User.cs:[184:0]] -
Role: tracepoint
2.1 Step 1: Condition Utils.IsSamUser() taking true branch
[User.cs:[179:21]]
2.2 created in constructor System.DirectoryServices.AccountManagement.PrincipalContext.PrincipalContext(System.DirectoryServices.AccountManagement.ContextType)
[User.cs:[184:31]]
2.3 no escape
[User.cs:[184:31]]
2.4 assigned
[User.cs:[184:21]]
2.5 no escape
[User.cs:[215:28]]
2.6 Step 2: Condition pSid != IntPtr.Zero taking any branch
[User.cs:[219:25]]
2.7 Step 3: Condition user == null taking false branch
[User.cs:[225:21]]
2.8 return
[User.cs:[231:24]]
Expected behavior
memory leak
Actual behavior
memory leak
Regression?
No response
Known Workarounds
No response
Configuration
No response
Other information
Found by Linux Verification Center (linuxtesting.org) with SVACE.