Skip to content

Commit ceff475

Browse files
NateD-MSFTNateD-MSFT
committed
Move the MS libraries to a public folder.
1 parent 2101178 commit ceff475

16 files changed

Lines changed: 23 additions & 23 deletions

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@
33
*/
44
import cpp
55
import external.ExternalArtifact
6-
private import microsoft.code.cpp.dispatch.VirtualDispatch
7-
import microsoft.code.cpp.NestedFields
6+
private import microsoft.code.cpp.public.dispatch.VirtualDispatch
7+
import microsoft.code.cpp.public.NestedFields
88
import drivers.libraries.SAL
99
import semmle.code.cpp.controlflow.Guards
1010

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9,9 +9,9 @@
99
* external/cwe/cwe-668
1010
* @id cpp/microsoft/public/likely-bugs/memory-management/unprobeddereference
1111
*/
12-
import microsoft.code.cpp.windows.kernel.SystemCalls
13-
import microsoft.code.cpp.windows.kernel.MemoryOriginDereferences
14-
import microsoft.code.cpp.controlflow.Reachability
12+
import microsoft.code.cpp.public.windows.kernel.SystemCalls
13+
import microsoft.code.cpp.public.windows.kernel.MemoryOriginDereferences
14+
import microsoft.code.cpp.public.controlflow.Reachability
1515

1616
/**
1717
* A dereferencing access that should be ignored because it is either within a probe call, or is

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -11,8 +11,8 @@
1111
*/
1212

1313
import cpp
14-
import microsoft.code.cpp.windows.kernel.SystemCalls
15-
import microsoft.code.cpp.windows.kernel.MemoryOriginDereferences
14+
import microsoft.code.cpp.public.windows.kernel.SystemCalls
15+
import microsoft.code.cpp.public.windows.kernel.MemoryOriginDereferences
1616

1717
/**
1818
* Ignore dereferencing accesses that occur within Microsoft try-except blocks.

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

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,11 @@
22
* Provides classes for identifying double fetch problems, and common mitigations.
33
*/
44
import cpp
5-
import microsoft.code.cpp.windows.kernel.MemoryOrigins
6-
import microsoft.code.cpp.windows.kernel.MemoryOriginDereferences
7-
import microsoft.code.cpp.windows.kernel.KernelMode
8-
import microsoft.code.cpp.controlflow.Reachability
9-
import microsoft.code.cpp.controlflow.Dereferences
5+
import microsoft.code.cpp.public.windows.kernel.MemoryOrigins
6+
import microsoft.code.cpp.public.windows.kernel.MemoryOriginDereferences
7+
import microsoft.code.cpp.public.windows.kernel.KernelMode
8+
import microsoft.code.cpp.public.controlflow.Reachability
9+
import microsoft.code.cpp.public.controlflow.Dereferences
1010

1111
/**
1212
* An expression that dereferences a pointer that may point to

‎src/microsoft/Likely Bugs/UnguardedNullReturnDereference.ql‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -9,10 +9,10 @@
99
* @id cpp/microsoft/public/likely-bugs/unguardednullreturndereference
1010
*/
1111

12-
import microsoft.code.cpp.commons.Literals
13-
import microsoft.code.cpp.commons.MemoryAllocation
14-
import microsoft.code.cpp.controlflow.Dereferences
15-
import microsoft.code.cpp.controlflow.Reachability
12+
import microsoft.code.cpp.public.commons.Literals
13+
import microsoft.code.cpp.public.commons.MemoryAllocation
14+
import microsoft.code.cpp.public.controlflow.Dereferences
15+
import microsoft.code.cpp.public.controlflow.Reachability
1616
import drivers.libraries.SAL
1717
import semmle.code.cpp.controlflow.StackVariableReachability
1818

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

File renamed without changes.

src/microsoft/code/cpp/commons/Literals.qll renamed to src/microsoft/code/cpp/public/commons/Literals.qll

File renamed without changes.

src/microsoft/code/cpp/commons/MemoryAllocation.qll renamed to src/microsoft/code/cpp/public/commons/MemoryAllocation.qll

File renamed without changes.

src/microsoft/code/cpp/controlflow/Dereferences.qll renamed to src/microsoft/code/cpp/public/controlflow/Dereferences.qll

File renamed without changes.

src/microsoft/code/cpp/controlflow/Reachability.qll renamed to src/microsoft/code/cpp/public/controlflow/Reachability.qll

File renamed without changes.

0 commit comments

Comments
 (0)