Maik Merten

23 papers A 2B 2Journal 5Unranked 13
YearRankTypeTitle / Venue / Authors
2020 conf
DeLFI
Patrick Stalljohann, Maik Merten
2015 J jnl
J. Log. Algebraic Methods Program.
Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen
2014 J jnl
Int. J. Softw. Tools Technol. Transf.
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu
2013
Maik Merten
2013 J jnl
J. Integr. Des. Process. Sci.
Maik Merten, Bernhard Steffen
2012 conf
ISoLA (1)
Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli
2012 conf
ISoLA (1)
Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria
2012 conf
FormSERA@ICSE
Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar
2012 A conf
TACAS
Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson
2012 conf
ISoLA (1)
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen
2012 J jnl
ERCIM News
Antonia Bertolino, Antonello Calabrò, Maik Merten, Bernhard Steffen
2012 conf
ISoLA (Revised Selected Papers)
Markus Doedt, Thomas Göke, Jan Pardo, Maik Merten
2012 conf
ISoLA (1)
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer
2011 B conf
ATVA
Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen
2011 B conf
VMCAI
Falk Howar, Bernhard Steffen, Maik Merten
2011 conf
ISoLA Workshops
Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria
2011 conf
SFM
Bernhard Steffen, Falk Howar, Maik Merten
2011 A conf
TACAS
Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria
2011 conf
ISoLA Workshops
Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria
2010 conf
ISoLA (1)
Falk Howar, Bernhard Steffen, Maik Merten
2010 conf
ISoLA (2)
Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel
2009 J jnl
Int. J. Softw. Tools Technol. Transf.
Harald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria
2008 conf
TAV-WEB
Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten
tests/unit/test_extractor_registry.py
← Index tests/unit/test_extractor_registry.py python
"""
Unit tests for the extractor registry (redb/extractor_registry.py).

Verifies that all file-type groups load correctly, return the expected
extractors, and that lookup/filtering logic works as intended.
"""
import pytest

from redb.extractor_registry import (
    get_filetype_modules,
    get_extractor_class,
    FILETYPE_TO_GROUP,
    _REGISTRY,
)

pytestmark = [pytest.mark.unit]


# ============================================================================
# get_filetype_modules — group loading
# ============================================================================

class TestGetFiletypeModules:

    @pytest.mark.parametrize("filetype,expected_names", [
        ("pebin", [
            "PEFeaturesExtractor", "PEImportExtractor", "PEResourceExtractor",
            "PEOverlayExtractor", "PESectionExtractor", "PESignatureExtractor",
            "PEExtraFindings", "PEInconstistencyTestsExtractor", "PEDotNetExtractor",
        ]),
        ("elf", [
            "ELFFeaturesExtractor", "ELFSegmentExtractor", "ELFSectionExtractor",
            "ELFDependencyExtractor", "ELFSymbolExtractor", "ELFImportExtractor",
            "ELFExportExtractor", "ELFRelocationExtractor", "ELFNotesExtractor",
        ]),
        ("macho", [
            "MachOFeaturesExtractor", "MachOSegmentExtractor",
            "MachOImportExtractor", "MachOExportExtractor",
            "MachODylibExtractor", "MachOSignatureExtractor",
        ]),
        ("apk", [
            "APKFeaturesExtractor", "APKManifestExtractor",
            "APKPermissionsExtractor", "APKSignatureExtractor",
            "APKDexExtractor", "APKResourceExtractor",
            "APKNativeLibExtractor", "APKInconsistencyTestsExtractor",
        ]),
    ])
    def test_loads_all_extractors_for_filetype(self, filetype, expected_names):
        """Each filetype group should return all its registered extractors."""
        modules = get_filetype_modules(filetype)
        names = [m.__name__ for m in modules]
        for expected in expected_names:
            assert expected in names, f"{expected} missing from {filetype} modules"

    def test_apk_excludes_decompilers(self):
        """get_filetype_modules should not include DecompileAPK."""
        modules = get_filetype_modules("apk")
        names = [m.__name__ for m in modules]
        assert "DecompileAPK" not in names

    def test_unknown_filetype_returns_empty(self):
        """An unrecognized filetype should return an empty list."""
        assert get_filetype_modules("unknown_format") == []

    def test_returned_classes_are_callable(self):
        """All returned extractor classes should be callable (i.e., actual classes)."""
        for filetype in FILETYPE_TO_GROUP:
            for cls in get_filetype_modules(filetype):
                assert callable(cls), f"{cls} is not callable"


# ============================================================================
# get_extractor_class — single lookup
# ============================================================================

class TestGetExtractorClass:

    def test_finds_pe_extractor(self):
        cls = get_extractor_class("PEFeaturesExtractor")
        assert cls is not None
        assert cls.__name__ == "PEFeaturesExtractor"

    def test_finds_elf_extractor(self):
        cls = get_extractor_class("ELFSectionExtractor")
        assert cls is not None
        assert cls.__name__ == "ELFSectionExtractor"

    def test_finds_macho_extractor(self):
        cls = get_extractor_class("MachOSignatureExtractor")
        assert cls is not None
        assert cls.__name__ == "MachOSignatureExtractor"

    def test_finds_apk_extractor(self):
        cls = get_extractor_class("APKDexExtractor")
        assert cls is not None
        assert cls.__name__ == "APKDexExtractor"

    def test_finds_decompile_apk(self):
        cls = get_extractor_class("DecompileAPK")
        assert cls is not None
        assert cls.__name__ == "DecompileAPK"

    def test_returns_none_for_unknown(self):
        assert get_extractor_class("NonExistentExtractor") is None


# ============================================================================
# Registry completeness
# ============================================================================

class TestRegistryCompleteness:

    def test_all_filetypes_have_registry_group(self):
        """Every filetype in FILETYPE_TO_GROUP should map to a valid registry group."""
        for filetype, group in FILETYPE_TO_GROUP.items():
            assert group in _REGISTRY, f"filetype {filetype} maps to unknown group {group}"

    def test_all_registry_groups_are_reachable(self):
        """Every registry group should be reachable via at least one filetype."""
        reachable = set(FILETYPE_TO_GROUP.values())
        for group in _REGISTRY:
            assert group in reachable, f"registry group {group} has no filetype mapping"


# ============================================================================
# Integration with workers.get_module_by_name
# ============================================================================

class TestWorkersGetModuleByName:

    def test_resolves_common_extractor(self):
        from redb.workers import get_module_by_name
        cls = get_module_by_name("BasicPropertiesExtractor")
        assert cls is not None
        assert cls.__name__ == "BasicPropertiesExtractor"

    def test_resolves_type_specific_extractor(self):
        from redb.workers import get_module_by_name
        cls = get_module_by_name("PEFeaturesExtractor")
        assert cls is not None
        assert cls.__name__ == "PEFeaturesExtractor"

    def test_resolves_decompile_apk(self):
        from redb.workers import get_module_by_name
        cls = get_module_by_name("DecompileAPK")
        assert cls is not None

    def test_returns_none_for_unknown(self):
        from redb.workers import get_module_by_name
        assert get_module_by_name("BogusExtractor") is None