cpg-language-python/de.fraunhofer.aisec.cpg.frontends.python/PythonLanguage

PythonLanguage

class PythonLanguage : Language<PythonLanguageFrontend> , HasShortCircuitOperators, HasOperatorOverloading, HasFunctionStyleConstruction

The Python language.

Constructors

constructor()

Types

object Companion

Properties

accessModifiers

open val accessModifiers: Set<String>

additionalProblems

val additionalProblems: MutableSet<ProblemNode>

annotationEdges

var annotationEdges: AstEdges<Annotation, AstEdge<Annotation>>

var annotations: MutableList<Annotation>

var argumentIndex: Int

arithmeticOperations

open val arithmeticOperations: Set<String>

var astChildren: List<Node>

var astParent: Node?

open override val builtInTypes: Map<String, ObjectType>

See Documentation.

var code: String?

var comment: String?

compoundAssignmentOperators

open override val compoundAssignmentOperators: Set<String>

All operators which perform and assignment and an operation using lhs and rhs. See https://docs.python.org/3/library/operator.html#in-place-operators

conjunctiveOperators

open override val conjunctiveOperators: List<String>

open override var ctx: TranslationContext?

disjunctiveOperators

open override val disjunctiveOperators: List<String>

var file: String?

open override val fileExtensions: List<String>

open override val frontend: KClass<out PythonLanguageFrontend>

var id: Long?

var isImplicit: Boolean

var isInferred: Boolean

open override var language: Language<*>?

open override var location: PhysicalLocation?

open override var name: Name

namespaceDelimiter

open override val namespaceDelimiter: String

var nextCDG: MutableList<Node>

var nextCDGEdges: ControlDependences<Node>

var nextDFG: MutableSet<Node>

var nextDFGEdges: Dataflows<Node>

var nextEOG: MutableList<Node>

var nextEOGEdges: EvaluationOrders<Node>

val nextFullDFG: List<Node>

var nextPDG: MutableSet<Node>

var nextPDGEdges: ProgramDependences<Node>

open val operatorCodes: Set<String>

overloadedOperatorNames

open override val overloadedOperatorNames: Map<Pair<KClass<out HasOverloadedOperation>, String>, Symbol>

var prevCDG: MutableList<Node>

var prevCDGEdges: ControlDependences<Node>

var prevDFG: MutableSet<Node>

var prevDFGEdges: Dataflows<Node>

var prevEOG: MutableList<Node>

var prevEOGEdges: EvaluationOrders<Node>

val prevFullDFG: List<Node>

var prevPDG: MutableSet<Node>

var prevPDGEdges: ProgramDependences<Node>

primitiveTypeNames

val primitiveTypeNames: Set<String>

open override var scope: Scope?

simpleAssignmentOperators

open override val simpleAssignmentOperators: Set<String>

You can either use = or := in Python. But the latter is only available in a "named expression" (a = (x := 1)). We still need to include both however, otherwise Reference.access will not be set correctly in "named expressions".

Functions

open fun accept(strategy: IStrategy<Node>, visitor: IVisitor<Node>)

bestViableResolution

open fun bestViableResolution(result: CallResolutionResult): Pair<Set<FunctionDeclaration>, CallResolutionResult.SuccessKind>

disconnectFromGraph

fun disconnectFromGraph()

open operator override fun equals(other: Any?): Boolean

getSimpleTypeOf

fun getSimpleTypeOf(typeString: CharSequence): Type?

fun handlesFile(file: File): Boolean

open override fun hashCode(): Int

open fun newFrontend(ctx: TranslationContext): PythonLanguageFrontend

operatorCodeFor

open fun operatorCodeFor(name: Symbol): String?

propagateTypeOfBinaryOperation

open override fun propagateTypeOfBinaryOperation(operation: BinaryOperator): Type

shouldPropagateType

open fun shouldPropagateType(hasType: HasType, srcType: Type): Boolean

open override fun toString(): String

open fun tryCast(type: Type, targetType: Type, hint: HasType?, targetHint: HasType?): CastResult