Constructors

Link copied to clipboard
constructor(language: Language<out LanguageFrontend<Any, SootType>>, ctx: TranslationContext)

Properties

Link copied to clipboard
var body: Body?
Link copied to clipboard
Link copied to clipboard
override var ctx: TranslationContext
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
open override val language: Language<out LanguageFrontend<Any, SootType>>
Link copied to clipboard
open override val namespace: Name?
Link copied to clipboard
var printer: NormalStmtPrinter?
Link copied to clipboard
open override val scope: Scope?
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
lateinit var view: JavaView

Functions

Link copied to clipboard
Link copied to clipboard
open fun cleanup()
Link copied to clipboard
Link copied to clipboard
open override fun codeOf(astNode: Any): String?
Link copied to clipboard
open override fun locationOf(astNode: Any): PhysicalLocation?
Link copied to clipboard
open override fun parse(file: File): TranslationUnitDeclaration

Because of a limitation in SootUp, we can only specify the whole classpath for soot to parse. But in the CPG we need to specify one file. In this case, we take the TranslationConfiguration.topLevel and hand it over to soot, which parses all appropriate files within this folder/classpath. This means that the returned TranslationUnitDeclaration will contain not just the content of one file but the whole directory.

Link copied to clipboard
Link copied to clipboard
open fun process(from: Any, to: Node)
Link copied to clipboard
open fun registerObjectListener(from: Any, biConsumer: BiConsumer<Any, Node>)
Link copied to clipboard
open fun registerPredicateListener(predicate: BiPredicate<Any, Node>, biConsumer: BiConsumer<Any, Node>)
Link copied to clipboard
open override fun setComment(node: Node, astNode: Any)
Link copied to clipboard
open override fun typeOf(type: SootType): Type