Skip to content

Commit bdeeee0

Browse files
committed
Standardize copyright headers and emails.
1 parent 2d834e7 commit bdeeee0

20 files changed

Lines changed: 44 additions & 1 deletion

src/microsoft/Likely Bugs/Memory Management/ConditionallyUninitializedVariableAutomation.ql

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
// Copyright (c) Microsoft Corporation.
2+
// Licensed under the MIT license.
13
/**
24
* @id cpp/microsoft/public/likely-bugs/memory-management/v2/conditionally-uninitialized-variable
35
* @name Conditionally uninitialized variable
@@ -9,7 +11,7 @@
911
* @impact Insecure Coding Practice
1012
* @feature.area Multiple
1113
* @repro.text The following code locations potentially contain uninitialized variables
12-
* @owner.email pabrooke@microsoft.com
14+
* @owner.email sdat@microsoft.com
1315
* @kind problem
1416
* @problem.severity error
1517
* @query-version 2.0

src/microsoft/Likely Bugs/Memory Management/InitializationFunctions.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
// Copyright (c) Microsoft Corporation.
2+
// Licensed under the MIT license.
13
/**
24
* Provides classes and predicates for identifying functions that initialize their arguments.
35
*/

src/microsoft/Likely Bugs/Memory Management/UninitializedVariables.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
// Copyright (c) Microsoft Corporation.
2+
// Licensed under the MIT license.
13
/**
24
* A module for identifying conditionally initialized variables.
35
*/

src/microsoft/Likely Bugs/Memory Management/UnprobedDereference.ql

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
// Copyright (c) Microsoft Corporation.
2+
// Licensed under the MIT license.
13
/**
24
* @name User provided pointer dereferenced without a probe.
35
* @description If a user provided pointer is dereferenced without first being
@@ -7,6 +9,7 @@
79
* @problem.severity error
810
* @tags security
911
* external/cwe/cwe-668
12+
* @owner.email sdat@microsoft.com
1013
* @id cpp/microsoft/public/likely-bugs/memory-management/unprobeddereference
1114
*/
1215
import microsoft.code.cpp.public.windows.kernel.SystemCalls

src/microsoft/Likely Bugs/Memory Management/UserModeMemoryOutsideTry.ql

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
// Copyright (c) Microsoft Corporation.
2+
// Licensed under the MIT license.
13
/**
24
* @name User mode memory read outside a try block
35
* @description Reading user memory outside a try/catch block is discouraged, as
@@ -7,6 +9,7 @@
79
* @problem.severity warning
810
* @tags security
911
* external/cwe/cwe-755
12+
* @owner.email sdat@microsoft.com
1013
* @id cpp/microsoft/public/likely-bugs/memory-management/usermodememoryoutsidetry
1114
*/
1215

src/microsoft/Likely Bugs/Memory Management/UserModeMemoryReadMultipleTimes.ql

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
// Copyright (c) Microsoft Corporation.
2+
// Licensed under the MIT license.
13
/**
24
* @name Double fetch of user memory
35
* @description User mode memory should always be transferred to kernel memory before
@@ -7,6 +9,7 @@
79
* @problem.severity error
810
* @tags security
911
* external/cwe/cwe-672
12+
* @owner.email sdat@microsoft.com
1013
* @id cpp/microsoft/public/likely-bugs/memory-management/usermodememoryreadmultipletimes
1114
*/
1215

src/microsoft/Likely Bugs/Memory Management/UserModeMemoryReadMultipleTimes.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
// Copyright (c) Microsoft Corporation.
2+
// Licensed under the MIT license.
13
/**
24
* Provides classes for identifying double fetch problems, and common mitigations.
35
*/

src/microsoft/Likely Bugs/UnguardedNullReturnDereference.ql

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
// Copyright (c) Microsoft Corporation.
2+
// Licensed under the MIT license.
13
/**
24
* @name Result of call that may return NULL dereferenced unconditionally
35
* @description If a call is known to return NULL, the result should be checked
@@ -6,6 +8,7 @@
68
* @problem.severity error
79
* @tags security
810
* external/cwe/cwe-476
11+
* @owner.email sdat@microsoft.com
912
* @id cpp/microsoft/public/likely-bugs/unguardednullreturndereference
1013
*/
1114

src/microsoft/Likely Bugs/UninitializedPtrField.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@
1010
* @tags security
1111
* external/cwe/cwe-476
1212
* @opaqueid SM02310
13+
* @owner.email sdat@microsoft.com
1314
* @microsoft.severity Important
1415
*/
1516

src/microsoft/code/cpp/public/NestedFields.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
// Copyright (c) Microsoft Corporation.
2+
// Licensed under the MIT license.
13
import cpp
24

35
/**

0 commit comments

Comments
 (0)