CodeQL library for Java/Kotlin
codeql/java-all 0.9.2-dev (changelog, source)
Search

Module OSCheck

Provides classes and predicates for guards that check for the current OS.

Import path

import semmle.code.java.os.OSCheck

Imports

Guards

Provides classes and predicates for reasoning about guards and the control flow elements controlled by those guards.

java

Provides all default Java QL imports.

Classes

IsSpecificUnixVariant

A guard that checks if the current OS is a specific unix or unix-like variant. When True, the OS is unix or unix-like. When False, the OS may still be unix or unix-like.

IsSpecificWindowsVariant

A guard that checks if the current OS is a specific Windows variant. When True, the OS is Windows. When False, the OS may still be Windows.

IsUnixGuard

A guard that checks if the current OS is unix or unix-like. When True, the OS is unix or unix-like. When False, the OS is not unix or unix-like.

IsWindowsGuard

A guard that checks if the current OS is Windows. When True, the OS is Windows. When False, the OS is not Windows.