Module ApiGraphModelsSpecific
Contains the language-specific part of the models-as-data implementation found in ApiGraphModels.qll
.
It must export the following members:
class Unit // a unit type
class InvokeNode // a type representing an invocation connected to the API graph
module API // the API graph module
predicate isPackageUsed(string package)
API::Node getExtraNodeFromPath(string package, string type, string path, int n)
API::Node getExtraSuccessorFromNode(API::Node node, AccessPathTokenBase token)
API::Node getExtraSuccessorFromInvoke(API::InvokeNode node, AccessPathTokenBase token)
predicate invocationMatchesExtraCallSiteFilter(API::InvokeNode invoke, AccessPathTokenBase token)
InvokeNode getAnInvocationOf(API::Node node)
predicate isExtraValidTokenNameInIdentifyingAccessPath(string name)
predicate isExtraValidNoArgumentTokenInIdentifyingAccessPath(string name)
predicate isExtraValidTokenArgumentInIdentifyingAccessPath(string name, string argument)
Import path
import semmle.python.frameworks.data.internal.ApiGraphModelsSpecific
Predicates
getAFuzzySuccessor | |
getAnInvocationOf | Gets an |
getExtraNodeFromPath | Gets a Python-specific interpretation of the |
getExtraNodeFromType | Gets a Python-specific interpretation of the given |
getExtraSuccessorFromInvoke | Gets a Python-specific API graph successor of |
getExtraSuccessorFromNode | Gets a Python-specific API graph successor of |
hasImplicitTypeModel | Holds if |
invocationMatchesExtraCallSiteFilter | Holds if |
isExtraValidNoArgumentTokenInIdentifyingAccessPath | Holds if |
isExtraValidTokenArgumentInIdentifyingAccessPath | Holds if |
isExtraValidTokenNameInIdentifyingAccessPath | Holds if |
isTypeUsed | Holds if models describing |
summaryStep | Holds if a CSV summary contributed the step |
Modules
Aliases
API | Provides classes and predicates for working with the API boundary between the current codebase and external libraries. |
DataFlow | Provides classes for performing local (intra-procedural) and global (inter-procedural) data flow analyses. |
InvokeNode | A |