cpg-analysis/de.fraunhofer.aisec.cpg.analysis

Package-level declarations

Types

ConcreteNumberSet

class ConcreteNumberSet(var values: MutableSet<Long> = mutableSetOf()) : NumberSet

CouldNotResolve

class CouldNotResolve

Interval

class Interval : NumberSet

MultiValueEvaluator

class MultiValueEvaluator : ValueEvaluator

This ValueEvaluator can resolve multiple possible values of a node.

NumberSet

interface NumberSet

SizeEvaluator

class SizeEvaluator : ValueEvaluator

Simple evaluation of the size of an object. Right now, it can only support a statically given size of arrays and strings.

ValueEvaluator

open class ValueEvaluator(val cannotEvaluate: (Node?, ValueEvaluator) -> Any? = { node: Node?, _: ValueEvaluator -> // end of the line, lets just keep the expression name if (node != null) { "{${node.name}}" } else { CouldNotResolve() } })

The value evaluator tries to evaluate the (constant) value of an Expression basically by following DFG edges until we reach a Literal. It also evaluates simple binary operations, such as arithmetic operations, as well as simple string concatenations.

Functions

compareTo

fun <T : Number> Number.compareTo(other: T): Int

This function is a piece of pure magic. It is one of the missing pieces in the Kotlin language and compares an arbitrary Number with another Number using the dedicated compareTo functions for the individual implementations of Number, such as Int.compareTo.