GitHub - gsutherland-trailofbits/windows-kernel-codeql: Additional Windows kernel CodeQL queries · GitHub

Repository navigation

windows-kernel-codeql

Public

About

Additional Windows kernel CodeQL queries

0 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
AcquireRelease.qll		AcquireRelease.qll
GuardedMutexDoubleAcquire.ql		GuardedMutexDoubleAcquire.ql
GuardedMutexDoubleRelease.ql		GuardedMutexDoubleRelease.ql
GuardedMutexMismatchedRelease.ql		GuardedMutexMismatchedRelease.ql
GuardedMutexNoRelease.ql		GuardedMutexNoRelease.ql
KernelGuardedMutexes.qll		KernelGuardedMutexes.qll
KernelSpinlocks.qll		KernelSpinlocks.qll
SpinlockDoubleAcquire.ql		SpinlockDoubleAcquire.ql
SpinlockDoubleAcquireFlow.ql		SpinlockDoubleAcquireFlow.ql
SpinlockDoubleRelease.ql		SpinlockDoubleRelease.ql
SpinlockMismatchedRelease.ql		SpinlockMismatchedRelease.ql
SpinlockNoRelease.ql		SpinlockNoRelease.ql

About

Additional Windows kernel CodeQL queries

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages