CodeQL library for C/C++

codeql/cpp-all 4.0.1 (changelog, source)

Module signature Make::PropertySig

Import path

import codeql.typeflow.UniversalFlow

Predicates

barrier
hasPropertyBase
propImplies

Types