Majd Sakr

55 papers A 1B 7C 2Journal 15Unranked 30
YearRankTypeTitle / Venue / Authors
2025 J jnl
J. Comput. Assist. Learn.
Aidan Doyle, Pragnya Sridhar, Arav Agarwal, Jaromír Savelka, Majd Sakr
2025 J jnl
CoRR
Christopher Bogart, Aparna Maya Warrier, Arav Agarwal, Ross Higashi, Yufan Zhang, Jesse Flot, Jaromír Savelka, Heather Burte, Majd Sakr
2025 conf
SIGCSE (1)
Jaromír Savelka, Can Kültür, Arav Agarwal, Christopher Bogart, Heather Burte, Adam Zhang, Majd Sakr
2025 J jnl
CoRR
Jaromír Savelka, Can Kültür, Arav Agarwal, Christopher Bogart, Heather Burte, Adam Zhang, Majd Sakr
2025 conf
EC-TEL (2)
Yufan Zhang, Jaromír Savelka, Heather Burte, Christopher Bogart, Seth Copen Goldstein, Majd Sakr
2025 conf
CSEDU (1)
Adam Zhang, Heather Burte, Jaromír Savelka, Christopher Bogart, Majd Sakr
2025 J jnl
CoRR
Adam Zhang, Heather Burte, Jaromír Savelka, Christopher Bogart, Majd Sakr
2025 J jnl
CoRR
Christopher Bogart, Rajeev Chhajer, Baljit Singh, Tony Fontana, Majd Sakr
2025 J jnl
Br. J. Educ. Technol.
Atharva Naik, Jessica Ruhan Yin, Anusha Kamath, Qianou Ma, Sherry Tongshuang Wu, R. Charles Murray, Christopher Bogart, Majd Sakr, Carolyn P. Rosé
2024 conf
SIGCSE Virtual (1)
Aninditha Ramesh, Arav Agarwal, Jacob Arthur Doughty, Ketan Ramaneti, Jaromír Savelka, Majd Sakr
2024 C conf
ACE
Jacob Doughty, Zipiao Wan, Anishka Bompelli, Jubahed Qayum, Taozhi Wang, Juran Zhang, Yujia Zheng, Aidan Doyle, Pragnya Sridhar, Arav Agarwal, Christopher Bogart, Eric Keylor, Can Kültür, Jaromír Savelka, Majd Sakr
2024 J jnl
CoRR
Dachi Chen, Weitian Ding, Chen Liang, Chang Xu, Junwei Zhang, Majd Sakr
2024 conf
SIGCSE (2)
Ying-Jui Tseng, Ruiwei Xiao, Christopher Bogart, Jaromír Savelka, Majd Sakr
2024 conf
ITiCSE (2)
Christopher Bogart, Can Kültür, Eric Keylor, Jaromír Savelka, Majd Sakr
2024 conf
ITiCSE (2)
Can Kültür, Jaromír Savelka, Christopher Bogart, Majd Sakr
2024 conf
EC-TEL (1)
Huy Anh Nguyen, Christopher Bogart, Jaromír Savelka, Adam Zhang, Majd Sakr
2024 conf
AIED (1)
Atharva Naik, Jessica Ruhan Yin, Anusha Kamath, Qianou Ma, Sherry Tongshuang Wu, R. Charles Murray, Christopher Bogart, Majd Sakr, Carolyn P. Rosé
2024 conf
EC-TEL (2)
Marshall An, Leah Teffera, Mahboobeh Mehrvarz, Bruce Li, Christopher Bogart, Majd Sakr, Bruce M. McLaren
2024 conf
SIGCSE (2)
Yifan Song, Yuanxin Wang, Marshall An, Christopher Bogart, Majd Sakr
2024 conf
SIGCSE (2)
Arav Agarwal, Karthik Mittal, Aidan Doyle, Pragnya Sridhar, Zipiao Wan, Jacob Arthur Doughty, Jaromír Savelka, Majd Sakr
2024 J jnl
CoRR
Arav Agarwal, Karthik Mittal, Aidan Doyle, Pragnya Sridhar, Zipiao Wan, Jacob Arthur Doughty, Jaromír Savelka, Majd Sakr
2024 conf
SIGCSE (1)
Christopher Bogart, Marshall An, Eric Keylor, Pawanjeet Singh, Jaromír Savelka, Majd Sakr
2023 J jnl
CoRR
Jacob Doughty, Zipiao Wan, Anishka Bompelli, Jubahed Qayum, Taozhi Wang, Juran Zhang, Yujia Zheng, Aidan Doyle, Pragnya Sridhar, Arav Agarwal, Christopher Bogart, Eric Keylor, Can Kültür, Jaromír Savelka, Majd Sakr
2023 conf
ITiCSE (1)
Jaromír Savelka, Arav Agarwal, Christopher Bogart, Yifan Song, Majd Sakr
2023 J jnl
CoRR
Jaromír Savelka, Arav Agarwal, Christopher Bogart, Yifan Song, Majd Sakr
2023 J jnl
CoRR
Jaromír Savelka, Arav Agarwal, Christopher Bogart, Majd Sakr
2023 conf
LLM@AIED
Pragnya Sridhar, Aidan Doyle, Arav Agarwal, Christopher Bogart, Jaromír Savelka, Majd Sakr
2023 J jnl
CoRR
Pragnya Sridhar, Aidan Doyle, Arav Agarwal, Christopher Bogart, Jaromír Savelka, Majd Sakr
2023 conf
CSEDU (2)
Jaromír Savelka, Arav Agarwal, Christopher Bogart, Majd Sakr
2023 J jnl
CoRR
Jaromír Savelka, Arav Agarwal, Christopher Bogart, Majd Sakr
2023 conf
ICER (1)
Jaromír Savelka, Arav Agarwal, Marshall An, Chris Bogart, Majd Sakr
2023 J jnl
CoRR
Jaromír Savelka, Arav Agarwal, Marshall An, Chris Bogart, Majd Sakr
2022 conf
SIGCSE (1)
Jiameng Du, Yifan Song, Mingxiao An, Marshall An, Christopher Bogart, Majd Sakr
2022 B conf
EDM
Shravya Bhat, Huy Anh Nguyen, Steven Moore, John C. Stamper, Majd Sakr, Eric Nyberg
2021 C conf
ICCE
Yuya Asano, Sreecharan Sankaranarayanan, Majd Sakr, Christopher Bogart
2021 conf
ITiCSE (1)
Mingxiao An, Hongyi Zhang, Jaromír Savelka, Shijie Zhu, Chris Bogart, Majd Sakr
2021 B conf
L@S
Sreecharan Sankaranarayanan, Siddharth Reddy Kandimalla, Christopher Bogart, R. Charles Murray, Michael Hilton, Majd Sakr, Carolyn P. Rosé
2021 J jnl
CoRR
Sreecharan Sankaranarayanan, Siddharth Reddy Kandimalla, Christopher Bogart, R. Charles Murray, Haokang An, Michael Hilton, Majd Sakr, Carolyn P. Rosé
2021 conf
ITiCSE-WGR
James H. Paterson, Joshua Adams, Laurie White, Andrew Csizmadia, Deger Cenk Erdil, Derek Foster, Mark Hills, Zain Kazmi, Karthik Kuber, Sajid Nazir, Majd Sakr, Lee Stott
2021 A conf
LAK
Huy Anh Nguyen, Michelle Lim, Steven Moore, Eric Nyberg, Majd Sakr, John C. Stamper
2021 conf
ITiCSE (2)
James H. Paterson, Joshua Adams, Laurie White, Andrew Csizmadia, Deger Cenk Erdil, Derek Foster, Mark Hills, Zain Kazmi, Karthik Kuber, Sajid Nazir, Majd Sakr, Lee Stott
2020 conf
AIED (2)
Sreecharan Sankaranarayanan, Siddharth Reddy Kandimalla, Sahil Hasan, Haokang An, Christopher Bogart, R. Charles Murray, Michael Hilton, Majd Sakr, Carolyn P. Rosé
2020 B conf
ITiCSE
Joshua Adams, Brian Hainey, Laurie White, Derek Foster, Narine Hall, Mark Hills, Sara Hooshangi, Karthik Kuber, Sajid Nazir, Majd Sakr, Lee Stott, Carmen Taglienti
2020 conf
ITiCSE-WGR
Joshua Adams, Brian Hainey, Laurie White, Derek Foster, Narine Hall, Mark Hills, Sara Hooshangi, Karthik Kuber, Sajid Nazir, Majd Sakr, Lee Stott, Carmen Taglienti
2020 conf
ICLS
Sreecharan Sankaranarayanan, Siddharth Reddy Kandimalla, Sahil Hasan, Haokang An, Christopher Bogart, R. Charles Murray, Michael Hilton, Majd Sakr, Carolyn P. Rosé
2020 B conf
ITiCSE
Xiangyu Song, Seth Copen Goldstein, Majd Sakr
2019 conf
AIED (2)
Sreecharan Sankaranarayanan, Xu Wang, Cameron Dashti, Marshall An, Clarence Ngoh, Michael Hilton, Majd Sakr, Carolyn P. Rosé
2019 conf
CSCL
Dimitra Tsovaltzi, Armin Weinberger, Lara Johanna Schmitt, Henrik Bellhäuser, Adrienne Müller, Johannes Konert, René Röpke, Hannie Gijlers, Elise H. Eshuis, Tessa H. S. Eysink, Melanie Erkens, Sven Manske, Heinz Ulrich Hoppe, Daniel Bodemer, Sreecharan Sankaranarayanan, Cameron Dashti, Christopher Bogart, Xu Wang, Majd Sakr, Michael Hilton, Carolyn P. Rosé
2019 conf
CSCL
Sreecharan Sankaranarayanan, Xu Wang, Cameron Dashti, Haokang An, Clarence Ngoh, Michael Hilton, Majd Sakr, Carolyn P. Rosé
2019 B conf
ITiCSE
Deger Cenk Erdil, Laurie White, Derek Foster, Joshua Adams, Amadeo José Argüelles-Cruz, Brian Hainey, Harvey S. Hyman, Gareth Lewis, Sajid Nazir, Manh Van Nguyen, Majd Sakr, Lee Stott
2019 conf
ITiCSE-WGR
Derek Foster, Laurie White, Deger Cenk Erdil, Joshua Adams, Amadeo José Argüelles-Cruz, Brian Hainey, Harvey S. Hyman, Gareth Lewis, Sajid Nazir, Manh Van Nguyen, Majd Sakr, Lee Stott
2019 B conf
ITiCSE
Seth Copen Goldstein, Hongyi Zhang, Majd Sakr, Haokang An, Cameron Dashti
2018 B conf
ITiCSE
Derek Foster, Laurie White, Joshua Adams, Deger Cenk Erdil, Harvey S. Hyman, Stan Kurkovsky, Majd Sakr, Lee Stott
2018 conf
ITiCSE (Companion)
Derek Foster, Laurie White, Joshua Adams, Deger Cenk Erdil, Harvey S. Hyman, Stan Kurkovsky, Majd Sakr, Lee Stott
2018 conf
AIED (1)
Sreecharan Sankaranarayanan, Cameron Dashti, Christopher Bogart, Xu Wang, Majd Sakr, Carolyn Penstein Rosé
docs/macho_extractors_README.md
← Index docs/macho_extractors_README.md markdown
# MachO Extractors for RedB

This document describes the MachO extractors implementation for the RedB binary analysis framework.

## Overview

The MachO extractors provide comprehensive analysis capabilities for Mach-O binaries (macOS, iOS, watchOS, tvOS executables) following the same pattern as the existing PE extractors. The implementation uses the `machofile` library located in the `docs/` folder.

## Architecture

### Main Components

1. **MachOExtractor** (`redb/extractors/macho_extractor.py`)
   - Abstract base class for all MachO extractors
   - Handles MachO file parsing and common functionality
   - Supports both single-architecture and Universal/FAT binaries

2. **Individual Extractors** (`redb/extractors/macho_extractors/`)
   - `macho_features.py` - Basic MachO header and metadata
   - `macho_segments.py` - Segment information and analysis
   - `macho_imports.py` - Imported functions and libraries
   - `macho_exports.py` - Exported symbols
   - `macho_dylibs.py` - Dynamic library dependencies
   - `macho_signature.py` - Code signing information

3. **Data Models** (`redb/models/dataclasses.py`)
   - MachO-specific dataclasses for structured data storage
   - Compatible with Elasticsearch and ClickHouse exporters

## Features

### Supported Binary Types
- Single-architecture Mach-O binaries (32-bit and 64-bit)
- Universal/FAT binaries with multiple architectures
- All major CPU architectures (x86, x86_64, ARM, ARM64)

### Extracted Information

#### MachO Features
- Header information (magic, CPU type, file type, flags)
- Architecture detection
- Entry point information
- UUID
- Version information
- Signing status
- Encryption status
- Counts (segments, dylibs, imports, exports)

#### Segments
- Segment names and properties
- Virtual addresses and sizes
- File offsets and sizes
- Protection flags
- Entropy calculation
- Segment hashes (MD5, SHA256)

#### Imports
- Imported function names
- Library dependencies
- Import counts and statistics

#### Exports
- Exported symbol names
- Export counts and statistics

#### Dynamic Libraries
- Dylib names and paths
- Version information
- Timestamps
- Load command types

#### Code Signing
- Signing status
- Certificate information
- Entitlements
- Code directory details

## Usage

### Basic Usage

```python
from redb.extractors.macho_extractors import MachOFeaturesExtractor

# Create extractor
extractor = MachOFeaturesExtractor(
    filepath="/path/to/macho/binary",
    log=logger
)

# Extract data
features = extractor.extract()

# Export to databases
extractor.export_data()
```

### Testing

Use the provided test script to verify functionality:

```bash
python test_macho_extractors.py /path/to/macho/binary
```

## Implementation Details

### Universal Binary Support

The extractors handle Universal/FAT binaries by:
1. Detecting FAT binary format
2. Extracting individual architectures
3. Providing unified interface for both single and multi-arch binaries
4. Supporting architecture-specific extraction

### Error Handling

- Graceful handling of malformed binaries
- Comprehensive logging for debugging
- Fallback mechanisms for missing data
- Exception handling for corrupted files

### Performance Considerations

- Lazy parsing of MachO structures
- Efficient memory usage for large binaries
- Cached property access for repeated queries
- Optimized data extraction patterns

## Integration

### Database Exporters

The extractors support both Elasticsearch and ClickHouse exporters:

- **Elasticsearch**: JSON document storage with full-text search
- **ClickHouse**: Columnar storage for analytical queries

### Schema Compatibility

All extractors follow the established schema patterns:
- Consistent field naming
- Proper data types
- Timestamp handling
- Hash field inclusion

## Future Enhancements

Potential areas for improvement:

1. **Additional Extractors**
   - MachO resources extraction
   - Symbol table analysis
   - Relocation information
   - Thread state analysis

2. **Enhanced Analysis**
   - Malware detection patterns
   - Behavioral analysis
   - Similarity hashing
   - YARA rule integration

3. **Performance Optimizations**
   - Parallel processing for multi-arch binaries
   - Streaming data processing
   - Memory-mapped file access

## Dependencies

- `machofile` library (included in `docs/`)
- Standard Python libraries (hashlib, datetime, etc.)
- RedB framework components

## Contributing

When adding new MachO extractors:

1. Follow the established pattern in existing extractors
2. Add appropriate dataclasses to `dataclasses.py`
3. Update the enum tags in `enum.py`
4. Include comprehensive error handling
5. Add tests for new functionality
6. Update this documentation

## Troubleshooting

### Common Issues

1. **Import Errors**: Ensure `machofile` library is accessible
2. **Memory Issues**: Large Universal binaries may require significant memory
3. **Corrupted Files**: Malformed MachO files may cause parsing errors
4. **Architecture Mismatch**: Some features may not be available for all architectures

### Debugging

Enable debug logging to see detailed extraction process:

```python
import logging
logging.basicConfig(level=logging.DEBUG)
```

## License

This implementation follows the same license as the main RedB project.