CodeQL library for C/C++

codeql/cpp-all 2.1.1-dev (changelog, source)

Module signature Make::PropertySig

Import path

import codeql.typeflow.UniversalFlow

Predicates

barrier
hasPropertyBase
propImplies

Types