Manuel Eduardo Correia

49 papers B 4C 4Misc 1Journal 13Unranked 27
YearRankTypeTitle / Venue / Authors
2025 J jnl
Softw. Pract. Exp.
Tadeu Freitas, Carlos Novo, Inês Dutra, João Soares, Manuel Eduardo Correia, Benham Shariati, Rolando Martins
2025 J jnl
CoRR
Tadeu Freitas, Carlos Novo, Inês Dutra, João Soares, Manuel Eduardo Correia, Benham Shariati, Rolando Martins
2025 conf
VTC2025-Spring
Tadeu Freitas, Erick Silva, Rehana Yasmin, Ali Shoker, Manuel Eduardo Correia, Rolando Martins, Paulo Jorge Esteves Veríssimo
2025 J jnl
CoRR
Tadeu Freitas, Erick Silva, Rehana Yasmin, Ali Shoker, Manuel Eduardo Correia, Rolando Martins, Paulo Jorge Esteves Veríssimo
2025 J jnl
CoRR
Tadeu Freitas, Carlos Novo, Manuel Eduardo Correia, Rolando Martins
2024 conf
TPS-ISA
Tadeu Freitas, Carlos Novo, João Soares, Inês Dutra, Manuel Eduardo Correia, Behnam Shariati, Rolando Martins
2023 J jnl
Comput. Secur.
Tadeu Freitas, João Soares, Manuel Eduardo Correia, Rolando Martins
2023 J jnl
CoRR
Tadeu Freitas, Mario Tasso Ribeiro Serra Neto, Inês Dutra, João Soares, Manuel Eduardo Correia, Rolando Martins
2023 conf
SmartNets
Abubakar-Sadiq Shehu, António Pinto, Manuel Eduardo Correia
2023 conf
DSN-S
Tadeu Freitas, João Soares, Manuel Eduardo Correia, Rolando Martins
2022 J jnl
CoRR
Abubakar-Sadiq Shehu, António Pinto, Manuel Eduardo Correia
2022 C conf
SECRYPT
Abubakar-Sadiq Shehu, António Pinto, Manuel Eduardo Correia
2022 J jnl
ERCIM News
Sara Ferreira, Mário Antunes, Manuel Eduardo Correia
2021 J jnl
Data
Sara Ferreira, Mário Antunes, Manuel Eduardo Correia
2021 J jnl
J. Imaging
Sara Ferreira, Mário Antunes, Manuel Eduardo Correia
2021 C conf
CIARP
Sara Ferreira, Mário Antunes, Manuel Eduardo Correia
2020 conf
WOC@Middleware
Nuno Lopes, Rolando Martins, Manuel Eduardo Correia, Sérgio Serrano, Francisco Nunes
2020 conf
HEALTHINF
Liliana Sá-Correia, Manuel Eduardo Correia, Ricardo Cruz-Correia
2020 J jnl
Int. J. E Health Medical Commun.
Rui Rijo, Ricardo Martinho, Adicinéia Aparecida de Oliveira, Domingos Alves, Zilma Silveira Nogueira Reis, Cátia Santos-Pereira, Manuel Eduardo Correia, Luís Antunes, Ricardo João Cruz Correia
2020 conf
ICETE (2)
Abubakar-Sadiq Shehu, António Pinto, Manuel Eduardo Correia
2019 J jnl
Future Gener. Comput. Syst.
Rolando Martins, Manuel Eduardo Correia, Luís Antunes, Fernando Silva
2019 J jnl
Peer-to-Peer Netw. Appl.
Francis N. Nwebonyi, Rolando Martins, Manuel Eduardo Correia
2019 B conf
WiMob
Francis N. Nwebonyi, Rolando Martins, Manuel Eduardo Correia
2018 conf
ICETE (2)
Ricardo Gonçalves, Manuel Eduardo Correia, Pedro Brandão
2018 C conf
CIARP
Ana Rebelo, Tiago Oliveira, Manuel Eduardo Correia, Jaime S. Cardoso
2018 conf
MIE
Duarte Nuno Gonçalves-Ferreira, Mariana Leite, Cátia Santos-Pereira, Manuel Eduardo Correia, Luis Filipe Coelho Antunes, Ricardo Cruz-Correia
2018 conf
ISAmI
Abubakar-Sadiq Shehu, António Pinto, Manuel Eduardo Correia
2018 B conf
ARES
Francis N. Nwebonyi, Rolando Martins, Manuel Eduardo Correia
2016 conf
EGOVIS
Patrícia R. Sousa, Pedro Faria, Manuel Eduardo Correia, João S. Resende, Luis Antunes
2015 conf
HEALTHINF
Ricardo Ferreira, Manuel Eduardo Correia, Francisco Nuno Rocha Goncalves, Ricardo João Cruz Correia
2014 conf
SeGAH
Ana Ferreira, Gabriele Lenzini, Cátia Santos-Pereira, Alexandre B. Augusto, Manuel Eduardo Correia
2014 conf
Communications and Multimedia Security
André Pereira, Manuel Eduardo Correia, Pedro Brandão
2013 conf
ITBAM
Cátia Santos-Pereira, Alexandre B. Augusto, Ricardo João Cruz Correia, Manuel Eduardo Correia
2013 B conf
CBMS
Cátia Santos-Pereira, Alexandre B. Augusto, Ricardo João Cruz Correia, Manuel Eduardo Correia
2013 B conf
CBMS
Hugo Rodrigues, Luis Filipe Coelho Antunes, Cristina Costa-Santos, Manuel Eduardo Correia, Tiago Miguel Pinho, Hilario Gil Magalhaes
2012 conf
ITBAM
Cátia Santos-Pereira, Alexandre B. Augusto, Manuel Eduardo Correia, Ana Ferreira, Ricardo João Cruz Correia
2012 Misc conf
SEC
Alexandre B. Augusto, Manuel Eduardo Correia
2011 conf
ICANNGA (2)
Mário Antunes, Catarina Silva, Bernardete Ribeiro, Manuel Eduardo Correia
2011 conf
ICCST
Maria João Campos, Manuel Eduardo Correia, Luis Antunes
2011 conf
ICARIS
Mário Antunes, Manuel Eduardo Correia
2010 conf
BIONETICS
Mário João Gonçalves Antunes, Manuel Eduardo Correia
2009 conf
IJCBS
Mário João Gonçalves Antunes, Manuel Eduardo Correia
2009 conf
BIOSIGNALS
Mário João Gonçalves Antunes, Manuel Eduardo Correia, Jorge Carneiro
2008 conf
IWPACBB
Mário Antunes, Manuel Eduardo Correia
2007 C conf
ISCC
Sergio Bessa, Manuel Eduardo Correia, Pedro Brandão
1999 conf
Euro-Par
Luís Fernando Castro, Vítor Santos Costa, Cláudio F. R. Geyer, Fernando M. A. Silva, Patrícia Kayser Vargas, Manuel Eduardo Correia
1999 conf
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP
Manuel Eduardo Correia, Vítor Santos Costa
1997 conf
ILPS
Manuel Eduardo Correia, Fernando M. A. Silva, Vítor Santos Costa
1994 conf
Workshop on Design and Impl. of Parallel Logic Programming Systems
Vítor Santos Costa, Manuel Eduardo Correia, Fernando M. A. Silva
redb/extractors/js_extractors/js_xray.py
← Index redb/extractors/js_extractors/js_xray.py python
"""Subprocess wrapper for the bundled js-x-ray Node bridge.

Mirrors `js_deobfuscator.py`: shell out to a Node script with a per-sample
timeout, kill the process group on hang, demote `FileNotFoundError` to debug
(missing tool is routine — the host either has Node + the bundled package
installed or it doesn't), and return a structured result on success.

The bridge lives at `redb/extractors/js_extractors/scripts/js-xray-runner.js`.
Operators install the JS dependency once with `npm install` in that directory
(or override the path with `JS_XRAY_RUNNER_PATH`).

Configuration (env vars):
    JS_XRAY_RUNNER_PATH   Path to the Node bridge script (default: bundled).
    JS_XRAY_TIMEOUT       Seconds before the subprocess is killed. Default: 30.

`run(source, log)` returns `XRayResult(obfuscator, warnings)` on a successful
analysis, or `XRayResult(None, [])` for any non-success path (binary missing,
timeout, parse failure, etc.). The two unsuccessful states are
indistinguishable to the caller on purpose — they all collapse to "no
js-x-ray verdict, fall back to heuristic".
"""

from __future__ import annotations

import json
import os
import signal
import subprocess
import tempfile
from dataclasses import dataclass, field
from typing import List, Optional

# Bundled bridge: redb/extractors/js_extractors/scripts/js-xray-runner.js
_DEFAULT_RUNNER = os.path.join(
    os.path.dirname(__file__), "scripts", "js-xray-runner.js"
)
_DEFAULT_NODE = "node"
_DEFAULT_TIMEOUT_SECS = 30


@dataclass
class XRayResult:
    """Parsed js-x-ray output. `obfuscator` is the recognised family name
    (e.g. "jsfuck", "obfuscator.io") or None when js-x-ray did not flag the
    code. `warnings` carries every {kind, value} pair the analyser produced;
    the heuristic uses it as a corroborating signal. `avg_identifier_length`
    is js-x-ray's own AST-derived figure — used as a fallback for the
    heuristic's `avg_identifier_length<2` strong signal when pyjsparser
    can't parse the source (anything ES2015+ trips it)."""

    obfuscator: Optional[str] = None
    warnings: List[dict] = field(default_factory=list)
    avg_identifier_length: Optional[float] = None

    @property
    def flagged(self) -> bool:
        return self.obfuscator is not None


def _empty() -> XRayResult:
    return XRayResult(obfuscator=None, warnings=[])


def run(source: str, log) -> XRayResult:
    if not source:
        return _empty()

    runner = os.getenv("JS_XRAY_RUNNER_PATH", _DEFAULT_RUNNER)
    node_bin = os.getenv("JS_XRAY_NODE_BIN", _DEFAULT_NODE)
    timeout = int(os.getenv("JS_XRAY_TIMEOUT", str(_DEFAULT_TIMEOUT_SECS)))

    if not os.path.exists(runner):
        log.debug(f"js-x-ray runner not found at {runner}")
        return _empty()

    # Skip the subprocess entirely when the JS dependency isn't installed.
    # Without this, every call to a host that has `node` but never ran
    # `npm install` next to the runner would still fork node, get a require
    # error, and exit nonzero — wasted ~50–200ms per JS sample (and per test).
    runner_dir = os.path.dirname(runner)
    if not os.path.isdir(os.path.join(runner_dir, "node_modules", "@nodesecure", "js-x-ray")):
        log.debug(f"@nodesecure/js-x-ray not installed in {runner_dir}")
        return _empty()

    tmp_path = None
    try:
        with tempfile.NamedTemporaryFile(
            suffix=".js", mode="w", delete=False, encoding="utf-8"
        ) as tmp:
            tmp.write(source)
            tmp_path = tmp.name

        try:
            process = subprocess.Popen(
                [node_bin, runner, tmp_path],
                stdout=subprocess.PIPE,
                stderr=subprocess.PIPE,
                preexec_fn=os.setsid,
            )
            try:
                stdout, stderr = process.communicate(timeout=timeout)
            except subprocess.TimeoutExpired:
                # Kill the whole process group so any node helpers die too.
                try:
                    os.killpg(os.getpgid(process.pid), signal.SIGTERM)
                    process.wait(timeout=5)
                except Exception:
                    try:
                        os.killpg(os.getpgid(process.pid), signal.SIGKILL)
                    except Exception:
                        pass
                log.warning(f"js-x-ray timed out after {timeout}s")
                return _empty()

            if process.returncode != 0:
                err = stderr.decode("utf-8", errors="replace").strip()
                log.debug(f"js-x-ray exited {process.returncode}: {err}")
                return _empty()

            text = stdout.decode("utf-8", errors="replace").strip()
            if not text:
                return _empty()

            try:
                payload = json.loads(text)
            except json.JSONDecodeError as e:
                log.warning(f"js-x-ray emitted non-JSON output: {e}")
                return _empty()

            obfuscator = payload.get("obfuscator")
            warnings = payload.get("warnings") or []
            if not isinstance(warnings, list):
                warnings = []

            ids_avg = payload.get("idsLengthAvg")
            if not isinstance(ids_avg, (int, float)):
                ids_avg = None

            return XRayResult(
                obfuscator=obfuscator,
                warnings=warnings,
                avg_identifier_length=ids_avg,
            )
        finally:
            if tmp_path:
                try:
                    os.unlink(tmp_path)
                except Exception:
                    pass
    except FileNotFoundError:
        log.debug(f"node binary not found at {node_bin}")
        return _empty()
    except Exception as e:
        log.error(f"js-x-ray subprocess error: {e}")
        return _empty()