Neil Evans

25 papers A 2B 5C 2Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
2024 conf
ACI
Fiona French, Dominique Potvin, Ilyena Hirskyj-Douglas, Neil Evans, Azadeh Jalali, Rébecca Kleinberger, Ruedi Nager, Oluwaseun Serah Iyasere, Saeed Shafiei Sabet, Michelle Spierings, Pralle Kriengwatana
2023 B conf
SAS
Thomas Seed, Chris Coppins, Andy King, Neil Evans
2020 A conf
SAT
Thomas Seed, Andy King, Neil Evans
2019 J jnl
Comput. Methods Programs Biomed.
Thomas Desaive, Neil Evans, Teresa Mendonça, J. Geoffrey Chase
2015 conf
ESORICS (1)
Paul Beaumont, Neil Evans, Michael Huth, Tom Plant
2015 B conf
FM
Neil Evans
2013 conf
Refine@IFM
Michael J. Butler, John Colley, Andrew Edmunds, Colin F. Snook, Neil Evans, Neil Grant, Helen Marshall
2010 J jnl
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Neil Evans
2009 conf
Rigorous Methods for Software Construction and Analysis
Helen Treharne, Steve A. Schneider, Neil Grant, Neil Evans, Wilson Ifill
2008 J jnl
Softw. Syst. Model.
Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier
2008 C conf
ICTAC
Edward Turner, Helen Treharne, Steve A. Schneider, Neil Evans
2008 C conf
ABZ
Helen Treharne, Edward Turner, Steve A. Schneider, Neil Evans
2008 conf
Refine@FM
Neil Evans
2007 conf
B
Neil Evans, Wilson Ifill
2007 J jnl
Formal Aspects Comput.
Neil Evans, Helen Treharne
2007 conf
CPA
Neil Grant, Neil Evans
2007 conf
REFINE@IFM
Neil Evans, Neil Grant
2006 B conf
FM
Neil Evans, Michael J. Butler
2005 B conf
IFM
Steve A. Schneider, Helen Treharne, Neil Evans
2005 J jnl
Softw. Syst. Model.
Neil Evans, Helen Treharne
2005 conf
AVoCS
Neil Evans, Helen Treharne
2005 J jnl
J. Log. Algebraic Methods Program.
Neil Evans, Steve A. Schneider
2004 B conf
SEFM
Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier
2003
Neil Evans
2000 A conf
ESORICS
Neil Evans, Steve A. Schneider
CLAUDE.md
← Index CLAUDE.md markdown
# CLAUDE.md

This file provides guidance to Claude Code (claude.ai/code) when working with code in this repository.

## Project Overview

REDB (RationalEdge Samples DB) is a malware analysis framework that extracts features from PE (Portable Executable) files and stores them in ClickHouse database for analysis. It provides a comprehensive set of extractors for analyzing binary samples including PE headers, imports, resources, signatures, and decompiled code.

## Common Commands

### Development Setup
```bash
source venv/bin/activate

# Install dependencies
pip install -r requirements.txt

# Run the main application
python start.py --path /path/to/samples --repo sample_repo --index_prefix redb
```

### Analysis Commands
```bash
# Process a single file
python start.py --path /path/to/binary --repo test --index_prefix redb

# Process from S3 storage
python start.py --s3 --repo malpedia --index_prefix redb

# Process from S3 storage but only a subset of a specific repository
python start.py --s3 --repo "vx-itw" --s3-notes "ITW.0138" --index_prefix redb

# Run only decompilation
python start.py --path /path/to/binary --repo test --index_prefix redb --decompile

# Run specific modules
python start.py --path /path/to/binary --repo test --index_prefix redb --modules "BasicPropertiesExtractor,PEFeaturesExtractor"

# Run as Nomad job (for containerized deployment)
python start.py --nomad-job
```

### Testing
There are no formal unit tests. Testing is done by running the extractors on sample files in the `test_files/` directory.

## Architecture Overview

### Core Components

1. **Ingestor (`redb/ingestor.py`)**: Main orchestrator that handles file processing, multiprocessing, and coordinates extractors
2. **Extractors (`redb/extractors/`)**: Modular analysis components that extract specific features
3. **Database Exporters (`redb/extractors/database_exporters.py`)**: Handle data export to ClickHouse
4. **Settings (`redb/settings/`)**: Configuration management for database connections

### Extractor Architecture

All extractors inherit from the base `Extractor` class and implement:
- `extract()`: Main analysis logic
- `prepare_export_data()`: Format data for database export
- `get_clickhouse_table()`: Return target table name

Available extractors:
- **General**: BasicPropertiesExtractor, HashExtractor, DIEExtractor, CAPAExtractor
- **PE-specific**: PEFeaturesExtractor, PEImportExtractor, PEResourceExtractor, PEOverlayExtractor, PESectionExtractor, PESignatureExtractor, PEDotNetExtractor, PEInconstistencyTestsExtractor, PEExtraFindings
- **ELF**: ELFFeaturesExtractor, ELFSegmentExtractor, ELFSectionExtractor, ELFDependencyExtractor, ELFSymbolExtractor, ELFImportExtractor, ELFExportExtractor, ELFRelocationExtractor, ELFNotesExtractor
- **Mach-O**: MachOFeaturesExtractor, MachOSegmentExtractor, MachOImportExtractor, MachOExportExtractor, MachODylibExtractor, MachOSignatureExtractor
- **APK**: APKFeaturesExtractor, APKManifestExtractor, APKPermissionsExtractor, APKSignatureExtractor, APKDexExtractor, APKResourceExtractor, APKNativeLibExtractor, APKInconsistencyTestsExtractor
- **Decompilation**: DecompileBinja, DecompileAPK

### Database Schema

The project uses a comprehensive ClickHouse schema defined in `redb/redb_schema.yml` with tables for:
- Basic properties (`redb_basic_properties`)
- PE features (`redb_pe_features`, `redb_pe_imports`, `redb_pe_sections`, etc.)
- Decompiled code (`code_binja_decompiled_functions_content`, `code_binja_decompiled_functions_references`)
- CAPA analysis (`redb_capa`, `redb_capa_capabilities`)

Full schema documentation is available in `docs/database_schema.md`.

### Processing Modes

1. **Analysis Mode**: Extracts features using selected modules
2. **Decompile Mode**: Uses Binary Ninja for code decompilation
3. **S3 Mode**: Fetches samples from S3 storage based on catalog queries
4. **Nomad Job Mode**: Processes single jobs using environment variables for containerized deployment

### Configuration

Environment variables are used for configuration:
- Database connection: `CLICKHOUSE_HOST`, `CLICKHOUSE_PORT`, `CLICKHOUSE_USER`, `CLICKHOUSE_PASSWORD`
- S3 storage: `S3_ENDPOINT`, `S3_ACCESS_KEY`, `S3_SECRET_KEY`
- Processing: `BATCH_SIZE`, `REDB_TIMEOUT`, `DECOMPILE_WORKER_TIMEOUT`
- Nomad jobs: `JOB_ID`, `S3_KEY`, `S3_BUCKET`, `WORKER_TYPE`, `CALLBACK_URL`, `ANALYSIS_MODULES`

## Important Implementation Details

### Multiprocessing
- Uses `spawn` method for multiprocessing to avoid memory issues
- Worker processes have timeout handlers to prevent hanging
- Supports both batch processing and streaming processing modes

### Memory Management
- Implements aggressive garbage collection between batches
- Monitors swap usage and restarts worker pools when needed
- Kills stuck processes automatically

### Error Handling
- Comprehensive logging with per-file context
- Graceful handling of corrupted or unsupported files
- Automatic retry logic for database operations

### Security Context
This is a defensive security tool for malware analysis. It processes potentially malicious files in a controlled environment to extract features for detection and analysis purposes.

## Development Notes

- The codebase is optimized for processing large batches of malware samples
- Extractors are designed to be modular and can be run individually or in combination
- Database schema supports both normalized and denormalized views for different query patterns
- S3 integration allows for scalable processing of large malware repositories