Vasco T. Vasconcelos

60 papers A 4B 3C 1Journal 33Unranked 16
YearRankTypeTitle / Venue / Authors
2026 conf
ESOP (1)
Pedro Ângelo, Atsushi Igarashi, Yuito Murase, Vasco T. Vasconcelos
2026 J jnl
CoRR
Pedro Ângelo, Atsushi Igarashi, Yuito Murase, Vasco T. Vasconcelos
2026 J jnl
J. Log. Algebraic Methods Program.
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
2026 J jnl
Theor. Comput. Sci.
Gil Silva, Andreia Mordido, Vasco T. Vasconcelos
2025 J jnl
Proc. ACM Program. Lang.
Hannes Saffrich, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
2025 conf
PLACES@ETAPS
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
2024 conf
PLACES@ETAPS
Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, Vasco T. Vasconcelos
2024 conf
PLACES@ETAPS
Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos
2024 J jnl
Theor. Comput. Sci.
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
2024 J jnl
CoRR
Diogo Poças, Vasco T. Vasconcelos
2023 C ed.
PPDP
Santiago Escobar, Vasco T. Vasconcelos
2023 conf
PLACES@ETAPS
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
2023 J jnl
CoRR
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
2023 J jnl
Proc. ACM Program. Lang.
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
2023 B conf
CONCUR
Gil Silva, Andreia Mordido, Vasco T. Vasconcelos
2023 J jnl
CoRR
Gil Silva, Andreia Mordido, Vasco T. Vasconcelos
2023 A conf
ESOP
Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos
2023 J jnl
CoRR
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
2022 J jnl
ACM Trans. Program. Lang. Syst.
Vasco T. Vasconcelos, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida
2022 conf
PLACES@ETAPS
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
2022 J jnl
Theor. Comput. Sci.
Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos
2022 J jnl
Inf. Comput.
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
2022 conf
Financial Cryptography Workshops
Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos
2022 B conf
FoSSaCS
Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos
2022 J jnl
CoRR
Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos
2021 J jnl
CoRR
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
2021 J jnl
CoRR
Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos
2020 conf
TACAS (2)
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
2020 conf
PLACES@ETAPS
Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos
2020 J jnl
Proc. ACM Program. Lang.
Peter Thiemann, Vasco T. Vasconcelos
2020 A conf
ESOP
Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido
2020 conf
PLACES@ETAPS
Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos
2020 J jnl
CoRR
Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos
2020 B conf
SEFM
Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos
2019 conf
PLACES@ETAPS
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
2019 J jnl
J. Funct. Program.
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
2019 conf
Models, Languages, and Tools for Concurrent and Distributed Programming
Vasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay
2019 J jnl
CoRR
Peter Thiemann, Vasco T. Vasconcelos
2019 J jnl
Log. J. IGPL
Gilda Ferreira, Vasco T. Vasconcelos
2018 J jnl
CoRR
Dimitris Mostrous, Vasco T. Vasconcelos
2018 J jnl
Log. Methods Comput. Sci.
Dimitris Mostrous, Vasco T. Vasconcelos
2018 J jnl
Dagstuhl Artifacts Ser.
Joana Campos, Vasco T. Vasconcelos
2018 A conf
ECOOP
Joana Campos, Vasco T. Vasconcelos
2018 J jnl
CoRR
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
2017 J jnl
Proc. ACM Program. Lang.
Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, Max Grossman
2017 J jnl
Proc. ACM Program. Lang.
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler
2017 ed.
PLACES@ETAPS
Vasco T. Vasconcelos, Philipp Haller
2017 J jnl
Dagstuhl Reports
Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida
2016 J jnl
Found. Trends Program. Lang.
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
2016 A conf
ICFP
Peter Thiemann, Vasco T. Vasconcelos
2016 J jnl
ACM Comput. Surv.
Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro
2015 conf
FTfJP@ECOOP
Joana Campos, Vasco T. Vasconcelos
2015 J jnl
J. Log. Algebraic Methods Program.
Alastair F. Donaldson, Vasco T. Vasconcelos
2014 ed.
PLACES
Alastair F. Donaldson, Vasco T. Vasconcelos
2013 conf
PLACES
Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins
2012 conf
TGC
Pedro Baltazar, Luís Caires, Vasco T. Vasconcelos, Hugo Torres Vieira
2012 J jnl
Inf. Comput.
Vasco T. Vasconcelos
2011 J jnl
Bull. EATCS
Vasco T. Vasconcelos
2010 conf
PLACES
Joana Campos, Vasco T. Vasconcelos
2009 ed.
PLACES@DisCoTec
Vasco T. Vasconcelos, Nobuko Yoshida
tests/unit/conftest.py
← Index tests/unit/conftest.py python
"""
Unit test configuration.

Replaces the redb.extractors package with a minimal stub so that
``from redb.extractors.database_exporters import ...`` works without
pulling in the heavy __init__.py import chain (pefile, elftools,
signify, magic, etc.).

Also stubs out redb.settings so that Elasticsearch / ClickHouse
clients are never actually created during unit tests.

Additionally installs binaryninja stubs for decompiler unit tests.

Stubs heavy third-party packages (pefile, magic, psutil, etc.) so that
redb.workers, redb.queries, redb.ingestor, and redb.s3_utils can all
be imported and patched in unit tests without requiring the real packages.
"""
import sys
import types
from pathlib import Path
from unittest.mock import MagicMock

# ---------------------------------------------------------------------------
# 0. Install binaryninja stubs FIRST — must happen before any decompiler
#    module is imported (triggered by __init__.py chain).
# ---------------------------------------------------------------------------
from tests.unit.conftest_binja_stubs import install_binja_stubs as _install_binja_stubs
_install_binja_stubs()

# ---------------------------------------------------------------------------
# 1. Stub external packages required by database_exporters.py itself,
#    the decompiler chain, and the workers/ingestor modules.
# ---------------------------------------------------------------------------
_heavy_deps = [
    # Database / networking
    "elasticsearch", "clickhouse_connect", "dotenv",
    # Binary analysis — top-level packages
    "pefile", "magic", "machofile",
    # Archive handling
    "py7zr", "pyzipper",
    # File type detection
    "magika",
    # System monitoring
    "psutil",
    # S3 / MinIO (submodule paths needed for `from minio.error import S3Error`)
    "minio", "minio.error",
    # YARA
    "yara_x",
    # Binary parsing — elftools tree
    "elftools", "elftools.elf", "elftools.elf.elffile",
    "elftools.common", "elftools.common.exceptions",
    # Code signing — signify tree
    "signify", "signify.fingerprinter", "signify.authenticode",
    # LIEF
    "lief",
    # Fuzzy hashing
    "ppdeep",
    # .NET analysis
    "dotnetfile",
    # Crypto / ASN.1
    "asn1crypto", "asn1crypto.cms", "asn1crypto.pem", "asn1crypto.x509", "asn1crypto.core",
    # Hashing
    "xxhash", "blake3", "mmh3", "numpy",
    # APK analysis
    "androguard", "androguard.core", "androguard.core.apk",
    "androguard.core.dex", "androguard.core.api_specific_resources",
    "androguard.misc",
    "permhash",
]
for _mod in _heavy_deps:
    if _mod not in sys.modules:
        try:
            __import__(_mod)
        except (ImportError, ModuleNotFoundError):
            sys.modules[_mod] = MagicMock()

# Stub urllib3 with a real Warning subclass (warnings.filterwarnings needs a class)
if "urllib3" not in sys.modules or isinstance(sys.modules.get("urllib3"), MagicMock):
    try:
        import urllib3  # noqa: F401
    except (ImportError, ModuleNotFoundError):
        _urllib3_mod = types.ModuleType("urllib3")
        _urllib3_exc = types.ModuleType("urllib3.exceptions")

        class _InsecureRequestWarning(UserWarning):
            pass

        _urllib3_exc.InsecureRequestWarning = _InsecureRequestWarning
        _urllib3_mod.exceptions = _urllib3_exc
        sys.modules["urllib3"] = _urllib3_mod
        sys.modules["urllib3.exceptions"] = _urllib3_exc

# Provide a functional ppdeep stub (tests call ppdeep.hash() and expect a string).
# Must overwrite the MagicMock that the loop above may have installed.
_ppdeep_existing = sys.modules.get("ppdeep")
if _ppdeep_existing is None or isinstance(_ppdeep_existing, MagicMock):
    _ppdeep_mod = types.ModuleType("ppdeep")
    _ppdeep_mod.__name__ = "ppdeep"

    def _ppdeep_hash(data):
        """Fake ssdeep hash — returns a deterministic placeholder."""
        if isinstance(data, str):
            data = data.encode("utf-8")
        if len(data) < 50:
            return None
        import hashlib
        h = hashlib.md5(data).hexdigest()
        return f"3:{h[:16]}:{h[16:]}"

    _ppdeep_mod.hash = _ppdeep_hash
    sys.modules["ppdeep"] = _ppdeep_mod

# Stub mmh3 if the C extension is not available
_mmh3_existing = sys.modules.get("mmh3")
if _mmh3_existing is None or isinstance(_mmh3_existing, MagicMock):
    _mmh3_mod = types.ModuleType("mmh3")
    _mmh3_mod.__name__ = "mmh3"

    def _mmh3_hash(data, seed=0):
        """Fake MurmurHash3 — deterministic hash using built-in hashlib."""
        import hashlib
        if isinstance(data, str):
            data = data.encode("utf-8")
        seed_bytes = (seed & 0xFFFFFFFF).to_bytes(8, "little")
        h = hashlib.md5(data + seed_bytes).digest()
        return int.from_bytes(h[:4], "little", signed=True)

    _mmh3_mod.hash = _mmh3_hash
    sys.modules["mmh3"] = _mmh3_mod

# Stub tlsh if the C extension is not available
if "tlsh" not in sys.modules:
    try:
        import tlsh as _real_tlsh  # noqa: F401
    except (ImportError, ModuleNotFoundError):
        _tlsh_mock = types.ModuleType("tlsh")
        _tlsh_mock.__name__ = "tlsh"

        def _tlsh_hash(data):
            """Fake TLSH hash — returns a deterministic placeholder.

            Returns empty string for data < 50 bytes or data with very
            low entropy (e.g. repeating patterns), mimicking the real
            TLSH library's "TNULL" behaviour.
            """
            if isinstance(data, str):
                data = data.encode("utf-8")
            if len(data) < 50:
                return ""
            # Real TLSH returns "" for low-entropy input
            if len(set(data)) < 8:
                return ""
            import hashlib
            return "T1" + hashlib.sha256(data).hexdigest()[:70].upper()

        _tlsh_mock.hash = _tlsh_hash
        sys.modules["tlsh"] = _tlsh_mock

# ---------------------------------------------------------------------------
# 2. Stub redb.settings (package) so module-level code never runs
# ---------------------------------------------------------------------------
_settings_mock = MagicMock()
_settings_mock.__name__ = "redb.settings"
sys.modules["redb.settings"] = _settings_mock
sys.modules["redb.settings.elasticsearch"] = MagicMock()
sys.modules["redb.settings.clickhouse"] = MagicMock()

# ---------------------------------------------------------------------------
# 3. Replace redb.extractors with a minimal package that does NOT eagerly
#    import every extractor (and their heavy deps).  Sub-module imports
#    like ``from redb.extractors.database_exporters import ...`` still work
#    because __path__ points to the real package directory.
# ---------------------------------------------------------------------------
_repo_root = Path(__file__).resolve().parents[2]
_extractors_pkg = types.ModuleType("redb.extractors")
_extractors_pkg.__path__ = [str(_repo_root / "redb" / "extractors")]
_extractors_pkg.__package__ = "redb.extractors"
sys.modules["redb.extractors"] = _extractors_pkg

# ---------------------------------------------------------------------------
# 4. Force-import redb submodules so that @patch('redb.workers.xxx'),
#    @patch('redb.queries.xxx'), etc. can resolve at decoration time.
#    This works because all heavy deps are already stubbed above.
# ---------------------------------------------------------------------------
import redb.logging_utils   # noqa: F401, E402
import redb.s3_utils         # noqa: F401, E402
import redb.queries          # noqa: F401, E402
import redb.workers          # noqa: F401, E402
import redb.ingestor         # noqa: F401, E402