H. Raymond Strong

53 papers A* 18A 2B 1Journal 22Unranked 10
YearRankTypeTitle / Venue / Authors
1999 J jnl
IBM Syst. J.
Mike W. Blasgen, Morton M. Astrahan, Donald D. Chamberlin, Jim Gray, W. Frank King III, Bruce G. Lindsay, Raymond A. Lorie, James W. Mehl, Thomas G. Price, Gianfranco R. Putzolu, Mario Schkolnick, Patricia G. Selinger, Donald R. Slutz, H. Raymond Strong, Irving L. Traiger, Bradford W. Wade, Robert A. Yost
1997 J jnl
J. Parallel Distributed Comput.
Jehoshua Bruck, Danny Dolev, Ching-Tien Ho, Marcel-Catalin Rosu, H. Raymond Strong
1997 J jnl
Real Time Syst.
Danny Dolev, Rüdiger Reischuk, Fred B. Schneider, H. Raymond Strong
1996 A* conf
PODC
Danny Dolev, Dalia Malki, H. Raymond Strong
1996 A* conf
PODC
Cynthia Dwork, Ching-Tien Ho, H. Raymond Strong
1996 conf
WDAG
Cynthia Dwork, Ching-Tien Ho, H. Raymond Strong
1995 J jnl
Inf. Comput.
Flaviu Cristian, Houtan Aghili, H. Raymond Strong, Danny Dolev
1995 J jnl
J. ACM
Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong
1995 B conf
SPAA
Jehoshua Bruck, Danny Dolev, Ching-Tien Ho, Marcel-Catalin Rosu, H. Raymond Strong
1995 conf
IPPS
Jehoshua Bruck, Danny Dolev, Ching-Tien Ho, Rimon Orni, H. Raymond Strong
1994 A* conf
PODC
Danny Dolev, Rüdiger Reischuk, H. Raymond Strong
1994 A* conf
PODC
Jehoshua Bruck, Danny Dolev, Ching-Tien Ho, Rimon Orni, H. Raymond Strong
1992 J jnl
Inf. Comput.
Amotz Bar-Noy, Danny Dolev, Cynthia Dwork, H. Raymond Strong
1990 J jnl
J. ACM
Danny Dolev, Rüdiger Reischuk, H. Raymond Strong
1990 A* conf
PODC
Ajei S. Gopal, H. Raymond Strong, Sam Toueg, Flaviu Cristian
1990 A conf
RTSS
H. Raymond Strong, Danny Dolev, Flaviu Cristian
1988 A* conf
PODC
Allan D. Griefer, H. Raymond Strong
1988 conf
Concurrency
Danny Dolev, H. Raymond Strong
1987 J jnl
Inf. Comput.
Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong
1987 A conf
ICDCS
H. Raymond Strong, Dale Skeen, Flaviu Cristian, Houtan Aghili
1987 A* conf
PODC
Amotz Bar-Noy, Danny Dolev, Cynthia Dwork, H. Raymond Strong
1986 conf
Fault-Tolerant Distributed Computing
Danny Dolev, H. Raymond Strong
1986 conf
Fault-Tolerant Distributed Computing
Flaviu Cristian, Danny Dolev, H. Raymond Strong, Houtan Aghili
1986 conf
ICC
Allan D. Griefer, Houtan Aghili, Ruth Kistler, H. Raymond Strong
1986 J jnl
J. Comput. Syst. Sci.
Danny Dolev, Joseph Y. Halpern, H. Raymond Strong
1986 conf
Symposium on Reliability in Distributed Software and Database Systems
H. Raymond Strong
1985 A* ed.
PODC
Michael A. Malcolm, H. Raymond Strong
1984 A* conf
STOC
Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong
1984 A* conf
PODC
Joseph Y. Halpern, Barbara Simons, H. Raymond Strong, Danny Dolev
1984 A* conf
STOC
Danny Dolev, Joseph Y. Halpern, H. Raymond Strong
1983 J jnl
SIAM J. Comput.
Danny Dolev, H. Raymond Strong
1983 A* conf
PODC
C. Mohan, H. Raymond Strong, Sheldon J. Finkelstein
1983 J jnl
J. ACM
H. Raymond Strong
1982 A* conf
FOCS
Danny Dolev, Rüdiger Reischuk, H. Raymond Strong
1982 J jnl
Inf. Control.
Danny Dolev, Michael J. Fischer, Robert J. Fowler, Nancy A. Lynch, H. Raymond Strong
1982 A* conf
STOC
Danny Dolev, H. Raymond Strong
1982 conf
DDB
Danny Dolev, H. Raymond Strong
1981 J jnl
IBM Syst. J.
Mike W. Blasgen, Morton M. Astrahan, Donald D. Chamberlin, Jim Gray, W. Frank King III, Bruce G. Lindsay, Raymond A. Lorie, James W. Mehl, Thomas G. Price, Gianfranco R. Putzolu, Mario Schkolnick, Patricia G. Selinger, Donald R. Slutz, H. Raymond Strong, Irving L. Traiger, Bradford W. Wade, Robert A. Yost
1980 J jnl
Index Path Length Evaluation for the Research Storage System of System R.
Research Report / RJ / IBM / San Jose, California
Sai Choi Kwan, H. Raymond Strong
1980 A* conf
STOC
H. Raymond Strong
1979 J jnl
ACM Trans. Database Syst.
Ronald Fagin, Jürg Nievergelt, Nicholas Pippenger, H. Raymond Strong
1979 J jnl
J. ACM
H. Raymond Strong, George Markowsky, Ashok K. Chandra
1979 J jnl
Computer
Morton M. Astrahan, Mike W. Blasgen, Donald D. Chamberlin, Jim Gray, W. Frank King III, Bruce G. Lindsay, Raymond A. Lorie, James W. Mehl, Thomas G. Price, Gianfranco R. Putzolu, Mario Schkolnick, Patricia G. Selinger, Donald R. Slutz, H. Raymond Strong, Paolo Tiberio, Irving L. Traiger, Bradford W. Wade, Robert A. Yost
1978 J jnl
Slide Search.
Research Report / RJ / IBM / San Jose, California
H. Raymond Strong, Irving L. Traiger, George Markowsky
1978 J jnl
Commun. ACM
Marc A. Auslander, H. Raymond Strong
1973 J jnl
J. Comput. Syst. Sci.
S. A. Walker, H. Raymond Strong
1973 A* conf
POPL
Andrea Maggiolo-Schettini, Barry K. Rosen, H. Raymond Strong
1973 A* ed.
STOC
Alfred V. Aho, Allan Borodin, Robert L. Constable, Robert W. Floyd, Michael A. Harrison, Richard M. Karp, H. Raymond Strong
1972 A* conf
STOC
S. A. Walker, H. Raymond Strong
1972 conf
Proving Assertions About Programs
H. Raymond Strong, S. A. Walker
1971 conf
SWAT
H. Raymond Strong
1970 J jnl
J. Symb. Log.
H. Raymond Strong
1970 J jnl
J. Comput. Syst. Sci.
H. Raymond Strong
redb/extractors/macho_extractor.py
← Index redb/extractors/macho_extractor.py python
import logging
from abc import ABCMeta, abstractmethod
import inspect
import sys
import os

import machofile

from redb.extractors.extractor import Extractor

logger = logging.getLogger(__name__)


@abstractmethod
class MachOExtractor(Extractor, metaclass=ABCMeta):

    def __init__(
        self,
        filepath,
        log,
        exporters=None,
        index_prefix=None,
        elastic_index=None,
        known_benign=False,
        known_malicious=False,
        macho=None,
    ):
        # Read binary and parse machofile BEFORE calling super().__init__
        # This avoids reading the file twice
        with open(filepath, "rb") as f:
            binary_data = f.read()

        # Parse machofile with binary data
        self.macho = macho if macho else self._generate_machofile_object(binary_data)

        # Extract hashes from machofile to pass to parent
        precomputed_hashes = None
        if self.macho:
            try:
                general_info = self.macho.get_general_info()
                if general_info:
                    # For FAT binaries, get_general_info() returns dict with 'fat' key
                    # For single-arch, it returns the info directly
                    if 'fat' in general_info:
                        fat_info = general_info['fat']
                        precomputed_hashes = {
                            'MD5': fat_info.get('MD5'),
                            'SHA1': fat_info.get('SHA1'),
                            'SHA256': fat_info.get('SHA256'),
                        }
                    else:
                        precomputed_hashes = {
                            'MD5': general_info.get('MD5'),
                            'SHA1': general_info.get('SHA1'),
                            'SHA256': general_info.get('SHA256'),
                        }
            except Exception as e:
                logger.debug(f"Could not get hashes from machofile: {e}")

        super().__init__(
            filepath,
            log,
            exporters,
            index_prefix,
            elastic_index,
            known_benign,
            known_malicious,
            precomputed_hashes=precomputed_hashes,
        )

        # Store binary data so base class doesn't re-read
        self._binary_data = binary_data

    @property
    def binary(self):
        """Override to use already-read binary data."""
        return self._binary_data

    def _generate_machofile_object(self, binary_data):
        """Generate and parse a machofile object from binary data."""
        macho = None
        try:
            macho = machofile.UniversalMachO(data=binary_data)
            if not macho:
                raise Exception("Empty file?")

            # Parse the MachO object once during initialization
            macho.parse()

        except Exception as e:
            logger.error(f"Format error parsing MachO: {e}")
        return macho

    # def _is_macho_file(self):
    #     """Check if the file is a valid Mach-O binary."""
    #     try:
    #         if not self.macho:
    #             return False
            
    #         # For Universal/FAT binaries, check if any architecture is valid
    #         if hasattr(self.macho, 'is_fat') and self.macho.is_fat:
    #             return len(self.macho.architectures) > 0
    #         else:
    #             # Single architecture binary
    #             return hasattr(self.macho, 'macho') and self.macho.macho is not None
    #     except Exception as e:
    #         self.log.error(f"Error checking Mach-O file: {e}")
    #         return False

    def _is_signed(self):
        """Check if the Mach-O binary is code signed using new API."""
        try:
            if not self.macho:
                return False

            # Get architectures using new API
            architectures = self.macho.get_architectures()

            # For each architecture, check if signed
            for arch in architectures:
                try:
                    signature_info = self.macho.get_code_signature_info(arch=arch)
                    if signature_info and signature_info.get('signed', False):
                        return True
                except Exception:
                    continue

            return False
        except Exception as e:
            self.log.error(f"Error checking Mach-O signature: {e}")
            return False

    def _get_architectures(self):
        """Get list of architectures in the Mach-O binary using new API."""
        try:
            if not self.macho:
                return []

            # Use new API method
            architectures = self.macho.get_architectures()
            return architectures if architectures else []
        except Exception as e:
            self.log.error(f"Error getting architectures: {e}")
            return []

    # def _get_macho_for_arch(self, arch_name=None):
    #     """Get MachO instance for specific architecture or default."""
    #     try:
    #         if not self.macho:
    #             return None
            
    #         if hasattr(self.macho, 'is_fat') and self.macho.is_fat:
    #             if arch_name:
    #                 return self.macho.architectures.get(arch_name)
    #             else:
    #                 # Return first available architecture
    #                 return next(iter(self.macho.architectures.values())) if self.macho.architectures else None
    #         else:
    #             # Single architecture binary
    #             return self.macho.macho if hasattr(self.macho, 'macho') else None
    #     except Exception as e:
    #         self.log.error(f"Error getting MachO for architecture: {e}")
    #         return None

    # def _get_formatted_header_values(self, header):
    #     """Get both raw and human-readable header values."""
    #     try:
    #         macho_instance = self._get_macho_for_arch()
    #         if not macho_instance:
    #             return None
            
    #         # Parse the MachO if not already parsed
    #         if not hasattr(macho_instance, 'header') or not macho_instance.header:
    #             macho_instance.parse()
            
    #         # Get human-readable values using machofile's formatting methods
    #         magic_str = macho_instance.format_magic_value(header.get('magic', 0))
            
    #         # Simple CPU type mapping since CPU_TYPE_MAP is not exposed
    #         cputype = header.get('cputype', 0)
    #         if cputype == 0x7:
    #             cputype_str = "x86"
    #         elif cputype == 0x1000007:
    #             cputype_str = "x86_64"
    #         elif cputype == 0xC:
    #             cputype_str = "ARM"
    #         elif cputype == 0x100000C:
    #             cputype_str = "ARM 64-bit"
    #         else:
    #             cputype_str = str(cputype)
            
    #         cpusubtype_str = macho_instance.decode_cpusubtype(header.get('cputype', 0), header.get('cpusubtype', 0))
    #         filetype_str = macho_instance.format_file_type(header.get('filetype', 0))
    #         flags_str = macho_instance.decode_flags(header.get('flags', 0))
            
    #         return {
    #             'raw': {
    #                 'magic': header.get('magic', 0),
    #                 'cputype': header.get('cputype', 0),
    #                 'cpusubtype': header.get('cpusubtype', 0),
    #                 'filetype': header.get('filetype', 0),
    #                 'flags': header.get('flags', 0),
    #             },
    #             'formatted': {
    #                 'magic_str': magic_str,
    #                 'cputype_str': cputype_str,
    #                 'cpusubtype_str': cpusubtype_str,
    #                 'filetype_str': filetype_str,
    #                 'flags_str': flags_str,
    #             }
    #         }
    #     except Exception as e:
    #         self.log.error(f"Error formatting header values: {e}")
    #         return None