Example #1
0
        /// <summary>
        /// Executes the translation.
        /// </summary>
        /// <param name="paths">The paths.</param>
        /// <param name="extensionProgress">If <c>true</c>, periodically write progress to console
        /// if the input binaries are adequately large.</param>
        /// <returns>The computed cfg and type environment.</returns>
        public static (Cfg, TypeEnvironment) ExecuteTranslation(string[] paths,
                                                                bool extensionProgress = false)
        {
            (var assemblies, var totalSize) = GetAssemblies(paths);

            InstructionParser.RegisterAllKnownParsers();

            var reportProgressExtension = totalSize > 1e7 && extensionProgress;

            var decompilationService = new DecompilationService(assemblies, reportProgressExtension);
            var tenvParser           = new TenvParserService(reportProgressExtension);
            var cfgParser            = new CfgParserService(reportProgressExtension);

            var result = decompilationService
                         .Execute()
                         .ThenExecute(tenvParser)
                         .ThenExecute(cfgParser);

            var tenv = result.GetResult <TenvParserResult>().TypeEnvironment;
            var cfg  = result.GetResult <CfgParserResult>().Cfg;

            Log.PrintAllUnknownInstruction();
            Log.WriteLine();
            Log.PrintCoverageStats(result.GetResult <CfgParserResult>().Methods);

            return(cfg, tenv);
        }
Example #2
0
        /// <summary>
        /// Executes the translation.
        /// </summary>
        /// <param name="paths">The paths.</param>
        /// <param name="printprocs">The printprocs.</param>
        /// <returns></returns>
        public static (Cfg, TypeEnvironment) ExecuteTranslation(string[] paths,
                                                                string printprocs = null)
        {
            var assemblies = GetAssemblies(paths);

            InstructionParser.RegisterAllKnownParsers();

            var decompilationService = new DecompilationService(assemblies);
            var tenvParser           = new TenvParserService();
            var cfgParser            = new CfgParserService();

            var result = decompilationService
                         .Execute()
                         .ThenExecute(tenvParser)
                         .ThenExecute(cfgParser);

            var tenv = result.GetResult <TenvParserResult>().TypeEnvironment;
            var cfg  = result.GetResult <CfgParserResult>().Cfg;

            if (printprocs != null)
            {
                PrintCfg(cfg, printprocs);
            }

            Log.PrintAllUnknownInstruction();
            Log.WriteLine();
            Log.PrintCoverageStats(result.GetResult <CfgParserResult>().Methods);

            return(cfg, tenv);
        }