Package de.fraunhofer.aisec.cpg

Class TranslationConfiguration

  • public class TranslationConfiguration
extends java.lang.Object
    The configuration for the TranslationManager holds all information that is used during the translation.

    • Field Detail

      • debugParser

        public final boolean debugParser
        Set to true to generate debug output for the parser.

      • loadIncludes

        public final boolean loadIncludes
        Set to true to transitively load include files into the CPG.

        If this value is set to false but includePaths are given, the parser will resolve symbols/templates from these include, but do not load the parse tree into the CPG

      • includePaths

        public final java.lang.String[] includePaths
        Paths to look for include files.

        It is recommended to set proper include paths as otherwise unresolved symbols/templates will result in subsequent parser mistakes, such as treating "<" as a BinaryOperator in the following example: <code> std::unique_ptr<Botan::Cipher_Mode> bla; </code>

        As long as loadIncludes is set to false, include files will only be parsed, but not loaded into the CPG. *

      • codeInNodes

        public final boolean codeInNodes
        should the code of a node be shown as parameter in the node *

      • symbols

        public final java.util.Map<java.lang.String,​java.lang.String> symbols
        Definition of additional symbols, mostly useful for C++.

    • Method Detail

      • getSymbols

        public java.util.Map<java.lang.String,​java.lang.String> getSymbols()

      • getSourceLocations

        public java.util.List<java.io.File> getSourceLocations()

      • getTopLevel

        public java.io.File getTopLevel()

      • getRegisteredPasses

        public java.util.List<Pass> getRegisteredPasses()