Ralf Treinen

63 papers A* 4A 4B 3C 1Journal 21Unranked 25
YearRankTypeTitle / Venue / Authors
2022 J jnl
Int. J. Softw. Tools Technol. Transf.
Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
2020 conf
TACAS (2)
Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
2020 J jnl
J. Comput. Lang.
Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen
2019 J jnl
J. Comput. Syst. Sci.
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
2018 A conf
IJCAR
Nicolas Jeannerod, Ralf Treinen
2018 B conf
SLE
Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen
2017 conf
VSTTE
Nicolas Jeannerod, Claude Marché, Ralf Treinen
2017 J jnl
Inf. Comput.
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
2015 C conf
LATA
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
2015 A conf
MSR
Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Ralf Treinen, Stefano Zacchiroli
2014 A* conf
ASE
Roberto Di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski, Antoine Eiche, Alexis Agahi
2014 conf
GandALF
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
2014 J jnl
Sci. Comput. Program.
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2013 J jnl
Inf. Softw. Technol.
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2013 conf
ESOCC
Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michael Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
2012 J jnl
J. Syst. Softw.
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2012 conf
FMCO
Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2012 conf
CBSE
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2012 J jnl
J. Autom. Reason.
Steve Kremer, Antoine Mercier, Ralf Treinen
2012 A conf
MSR
Cyrille Artho, Kuniyasu Suzaki, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2011 conf
CBSE
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2011 conf
TOSCA
Florent Jacquemard, Étienne Lozes, Ralf Treinen, Jules Villard
2011 ed.
LoCoCo
Conrad Drescher, Inês Lynce, Ralf Treinen
2010 ed.
LoCoCo
Inês Lynce, Ralf Treinen
2009 J jnl
CoRR
Ralf Treinen, Stefano Zacchiroli
2009 conf
ASIAN
Steve Kremer, Antoine Mercier, Ralf Treinen
2009 ed.
RTA
Ralf Treinen
2008 J jnl
CoRR
Ralf Treinen, Stefano Zacchiroli
2008 A conf
IJCAR
Steve Kremer, Antoine Mercier, Ralf Treinen
2008 J jnl
CoRR
Ralf Treinen, Stefano Zacchiroli
2008 J jnl
Inf. Comput.
Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen
2007 J jnl
Inf. Comput.
Pascal Lafourcade, Denis Lugiez, Ralf Treinen
2006 A* conf
ASE
Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerome Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen
2006 conf
ICALP (2)
Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen
2005 conf
RTA
Pascal Lafourcade, Denis Lugiez, Ralf Treinen
2003 conf
Verification: Theory and Practice
Hubert Comon-Lundh, Ralf Treinen
2002 A* conf
POPL
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
2001 ed.
CCL
Hubert Comon, Claude Marché, Ralf Treinen
2001 J jnl
Theor. Comput. Sci.
Franck Seynhaeve, Sophie Tison, Marc Tommasi, Ralf Treinen
2001 J jnl
Discret. Math. Theor. Comput. Sci.
Martin Müller, Joachim Niehren, Ralf Treinen
2000 J jnl
Inf. Process. Lett.
Joachim Niehren, Sophie Tison, Ralf Treinen
2000 B conf
FoSSaCS
Ralf Treinen
1999 conf
CCL
Jean-Pierre Jouannaud, Ralf Treinen
1998 conf
RTA
Nachum Dershowitz, Ralf Treinen
1998 conf
LACL
Alexander Koller, Joachim Niehren, Ralf Treinen
1998 J jnl
Inf. Comput.
Rolf Backofen, Ralf Treinen
1998 J jnl
Theor. Comput. Sci.
Ralf Treinen
1998 A* conf
LICS
Martin Müller, Joachim Niehren, Ralf Treinen
1997 conf
TAPSOFT
Franck Seynhaeve, Marc Tommasi, Ralf Treinen
1997 J jnl
Theor. Comput. Sci.
Hubert Comon, Ralf Treinen
1996 conf
RTA
Ralf Treinen
1995 conf
UNIF
Ralf Treinen
1994 conf
CCL
Rolf Backofen, Ralf Treinen
1994 conf
CAAP
Hubert Comon, Ralf Treinen
1994 J jnl
J. Log. Program.
Gert Smolka, Ralf Treinen
1993 conf
Executable Modal and Temporal Logics
Jana Koehler, Ralf Treinen
1993 conf
RTA
Joachim Niehren, Andreas Podelski, Ralf Treinen
1993 B conf
MFCS
Ralf Treinen
1992 J jnl
J. Symb. Comput.
Ralf Treinen
1992 conf
JICSLP
Gert Smolka, Ralf Treinen
1991 conf
TACS
Ralf Treinen
1991
Ralf Treinen
1990 conf
FSTTCS
Ralf Treinen
redb/extractors/macho_extractors/macho_imports.py
← Index redb/extractors/macho_extractors/macho_imports.py python
import inspect
from datetime import datetime, timezone
from typing import Any

from redb.extractors.enum import Tag
from redb.extractors.macho_extractor import MachOExtractor
from redb.models.dataclasses import MachOImport


class MachOImportExtractor(MachOExtractor):

    def __init__(
        self,
        filepath,
        log,
        exporters=None,
        index_prefix=None,
        elastic_index=None,
        known_benign=False,
        known_malicious=False,
        macho=None,
    ):
        super().__init__(
            filepath,
            log,
            exporters,
            index_prefix,
            elastic_index,
            known_benign,
            known_malicious,
            macho,
        )
        self.elastic_index = self.index_prefix + "-macho_imports"
        self.log.debug(inspect.currentframe().f_code.co_name)

    def tag(self):
        return Tag.MACHO_IMPORT.value

    def _extract_imports(self, arch_name=None):
        """Extract import information from the MachO binary for a specific architecture.

        Handles machofile v2026.2.4+ API where get_imported_functions() returns:
        Dict[str, List[Dict]] where each dict has {'name': str, 'sources': [str, ...]}
        """
        self.log.debug(inspect.currentframe().f_code.co_name)

        if not self.macho:
            return None

        try:
            # Get imported functions using API for specific architecture
            imported_functions = self.macho.get_imported_functions(arch=arch_name)
            if not imported_functions:
                return None

            # Keep the library→functions mapping (like PE does)
            library_names = []
            imports_with_mapping = []  # List of {library: [(name, source), ...]}

            for dylib_name, functions in imported_functions.items():
                # v2026.2.4+: dylib_name is already str, but handle bytes for compatibility
                if isinstance(dylib_name, bytes):
                    dylib_name = dylib_name.decode('utf-8', errors='replace')
                library_names.append(dylib_name)

                # Process function entries
                func_list = []
                for func_entry in functions:
                    # v2026.2.4+: func_entry is {'name': str, 'sources': [str, ...]}
                    if isinstance(func_entry, dict):
                        func_name = func_entry.get('name', '')
                        # Join sources if multiple, take first if single
                        sources = func_entry.get('sources', [])
                        import_source = sources[0] if sources else None
                        func_list.append((func_name, import_source))
                    else:
                        # Legacy format: func_entry is str or bytes
                        if isinstance(func_entry, bytes):
                            func_entry = func_entry.decode('utf-8', errors='replace')
                        func_list.append((func_entry, None))

                imports_with_mapping.append({dylib_name: func_list})

            # Count total functions
            total_functions = sum(len(list(d.values())[0]) for d in imports_with_mapping)

            # Create import dataclass with mapping preserved
            macho_import = MachOImport(
                macho_imports_total=total_functions,
                macho_import_libraryName=library_names if library_names else None,
                macho_import_functions=imports_with_mapping if imports_with_mapping else None
            )

            return macho_import

        except Exception as e:
            self.log.error(f"Error extracting MachO imports for arch {arch_name}: {e}")
            return None

    def extract(self):
        self.log.debug(inspect.currentframe().f_code.co_name)
        try:
            # Get architectures (macho is already parsed in base class)
            architectures = self.macho.get_architectures()
            if len(architectures) > 1:
                # FAT binary - return list of imports for each architecture
                results = []
                for arch_name in architectures:
                    imports = self._extract_imports(arch_name)
                    if imports:
                        imports.arch_identifier = arch_name
                        results.append(imports)
                return results
            else:
                # Single architecture - return single result
                return self._extract_imports(architectures[0] if architectures else None)
        except Exception as e:
            self.log.error(f"Error extracting MachO imports: {e}")
            return None

    def prepare_export_data(self, exporter_type: str) -> Any:
        if exporter_type == "ElasticsearchExporter":
            return self.extract()
        elif exporter_type == "ClickHouseExporter":
            if not self.macho:
                return None

            # Get architectures (macho is already parsed in base class)
            try:
                architectures = self.macho.get_architectures()
                is_fat = len(architectures) > 1
            except Exception as e:
                self.log.error(f"Could not get architectures: {e}")
                return None

            # Flatten the data - one row per function import (like PE imports)
            data = []
            current_time = datetime.now(timezone.utc)

            # Loop through each architecture (1 for single, multiple for FAT)
            for arch_name in architectures:
                # Get architecture-specific sha256
                try:
                    arch_general_info = self.macho.get_general_info(arch=arch_name)
                    arch_header_raw = self.macho.get_macho_header(arch=arch_name)
                    arch_sha256 = arch_general_info.get('SHA256', self.sha256)
                    arch_cputype_raw = arch_header_raw.get('cputype', 0) if arch_header_raw else 0
                except Exception as e:
                    self.log.warning(f"Could not get arch-specific data for {arch_name}: {e}")
                    arch_sha256 = self.sha256
                    arch_cputype_raw = 0

                # Get imports for this architecture
                macho_import = self._extract_imports(arch_name)
                if not macho_import or not macho_import.macho_import_functions:
                    continue

                # Flatten to one row per (library, function) pair
                for lib_funcs in macho_import.macho_import_functions:
                    for lib, funcs in lib_funcs.items():
                        for func_name, import_source in funcs:
                            data.append([
                                arch_sha256,        # sha256 (arch-specific)
                                lib,                # library_name
                                func_name,          # function_name
                                import_source,      # import_source (chained_fixups, bind_opcodes, symtab)
                                current_time,       # analysis_date
                            ])

            column_names = [
                'sha256',
                'library_name', 'function_name', 'import_source',
                'analysis_date'
            ]

            if not data:
                return None

            column_type_names = [
                'FixedString(64)',
                'LowCardinality(String)', 'LowCardinality(String)', 'LowCardinality(Nullable(String))',
                'DateTime64(3, \'UTC\')'
            ]

            return (data, column_names, column_type_names)

        return None

    def get_clickhouse_table(self) -> str:
        return "redb_macho_imports"