Vashti Galpin

44 papers A* 1A 1B 6C 1Misc 2Journal 18Unranked 14
YearRankTypeTitle / Venue / Authors
2022 J jnl
CoRR
Simon Fowler, Vashti Galpin, James Cheney
2022 B conf
GPCE
Simon Fowler, Vashti Galpin, James Cheney
2021 conf
IPAW
Vashti Galpin, James Cheney
2021 J jnl
CoRR
Vashti Galpin, James Cheney
2019 J jnl
J. Log. Algebraic Methods Program.
Vashti Galpin, Paolo Milazzo, Anna Monreale
2018 Misc conf
SEC
Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall
2018 B conf
IFM
Vashti Galpin
2018 J jnl
ACM Trans. Model. Comput. Simul.
Vashti Galpin, Natalia Zon, Pia Wilsdorf, Stephen Gilmore
2018 Misc conf
WSC
Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin
2016 J jnl
ACM Trans. Model. Comput. Simul.
Cheng Feng, Jane Hillston, Vashti Galpin
2016 C conf
COORDINATION
Vashti Galpin
2016 conf
FORECAST@STAF
Natalia Zon, Vashti Galpin, Stephen Gilmore
2016 conf
SFM
Vashti Galpin
2015 conf
QAPL
Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
2015 conf
SEFM Workshops
Vashti Galpin
2014 J jnl
Inf. Comput.
Vashti Galpin
2014 conf
SASO Workshops
Vashti Galpin
2014 J jnl
CoRR
Luca Bortolussi, Vashti Galpin, Jane Hillston
2013 J jnl
Formal Aspects Comput.
Vashti Galpin, Luca Bortolussi, Jane Hillston
2013 J jnl
BMC Syst. Biol.
Derek Gatherer, Vashti Galpin
2012 conf
QAPL
Luca Bortolussi, Vashti Galpin, Jane Hillston
2012 conf
CMSB
Vashti Galpin
2011 J jnl
Theor. Comput. Sci.
Vashti Galpin, Jane Hillston
2011 conf
CompMod
Vashti Galpin, Jane Hillston, Federica Ciocchetta
2011 J jnl
Theor. Comput. Sci.
Vashti Galpin
2011 conf
QAPL
Luca Bortolussi, Vashti Galpin, Jane Hillston
2010 J jnl
Int. J. Comput. Aided Eng. Technol.
Vashti Galpin
2010 conf
QEST
Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone
2009 J jnl
CoRR
András Z. Salamon, Vashti Galpin
2009 conf
CMSB
Vashti Galpin, Jane Hillston
2009 B conf
CONCUR
Vashti Galpin, Luca Bortolussi, Jane Hillston
2009 B conf
AINA
Vashti Galpin
2008 B conf
MFPS
Vashti Galpin, Jane Hillston, Luca Bortolussi
2008 ch.
Wiley Encyclopedia of Computer Science and Engineering
Denise W. Gürer, Jennifer Light, Christina Björkman, Rhian Davies, Mark S. Hancock, Anne Condon, Annemieke Craig, Vashti Galpin, Ursula Martin, Margit Pohl, Sylvia Wiltner, M. Suriya, Ellen Spertus, Joanne McGrath Cohoon, Gloria Childress Townsend, Paula Gabbert
2006 B conf
ITiCSE
Ian D. Sanders, Vashti Galpin, Tina Götschi
2003 J jnl
Theor. Comput. Sci.
Vashti Galpin
2003 J jnl
IEEE Technol. Soc. Mag.
Vashti Galpin, Ian Douglas Sanders, Heather Turner, Bernadine Venter
2003 A conf
SIGCSE
Tina Götschi, Ian D. Sanders, Vashti Galpin
2002 J jnl
ACM SIGCSE Bull.
Vashti Galpin
2000 J jnl
South Afr. Comput. J.
Vashti Galpin
1999 A* conf
ICALP
Vashti Galpin
1999 conf
FTDCS
Yinong Chen, Vashti Galpin, Scott Hazelhurst, Roger Mateer, Conrad Mueller
1994 conf
WWC
Ian D. Sanders, Vashti Galpin
1993 J jnl
ACM SIGCSE Bull.
Vashti Galpin, Ian D. Sanders
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