M. Teresa Higuera-Toledano

47 papers A 2B 2C 14Misc 2Journal 13Unranked 13
YearRankTypeTitle / Venue / Authors
2024 J jnl
CoRR
M. Teresa Higuera-Toledano, José L. Risco-Martín, Patricia Arroba, José L. Ayala
2017 J jnl
IEEE Trans. Ind. Informatics
M. Teresa Higuera-Toledano, José Luis Risco-Martín, Patricia Arroba, José L. Ayala
2017 J jnl
IEEE Trans. Ind. Informatics
M. Teresa Higuera-Toledano
2016 J jnl
Concurr. Comput. Pract. Exp.
M. Teresa Higuera-Toledano, Uwe Brinkschulte, Achim Rettberg
2014 C conf
DS-RT
M. Teresa Higuera-Toledano
2014 J jnl
Concurr. Comput. Pract. Exp.
M. Teresa Higuera-Toledano, Andy J. Wellings
2013 J jnl
Concurr. Comput. Pract. Exp.
Anders P. Ravn, M. Teresa Higuera-Toledano
2013 C conf
ISORC
M. Teresa Higuera-Toledano
2012 conf
JTRES
M. Teresa Higuera-Toledano
2012 conf
ISORC Workshops
M. Teresa Higuera-Toledano
2012 C conf
ETFA
M. Teresa Higuera-Toledano
2012 J jnl
Concurr. Comput. Pract. Exp.
M. Teresa Higuera-Toledano, Uwe Brinkschulte, Achim Rettberg
2011 J jnl
Concurr. Comput. Pract. Exp.
Martin Schoeberl, M. Teresa Higuera-Toledano
2011 conf
ISORC Workshops
M. Teresa Higuera-Toledano
2010 Misc conf
PDPTA
M. Teresa Higuera-Toledano
2010 Misc conf
PDPTA
David A. Sigüenza-Tortosa, M. Teresa Higuera-Toledano, Guillermo Botella Juan
2010 J jnl
ACM Trans. Embed. Comput. Syst.
M. Teresa Higuera-Toledano, Doug Locke, Angelo Corsaro
2009 ed.
JTRES
M. Teresa Higuera-Toledano, Martin Schoeberl
2008 C conf
ISORC
M. Teresa Higuera-Toledano
2008 conf
JTRES
M. Teresa Higuera-Toledano
2007 C conf
ISORC
M. Teresa Higuera-Toledano
2007 C conf
CIT
M. Teresa Higuera-Toledano
2007 C conf
AICCSA
M. Teresa Higuera-Toledano
2006 C conf
ISORC
M. Teresa Higuera-Toledano
2006 J jnl
ACM Trans. Embed. Comput. Syst.
M. Teresa Higuera-Toledano
2006 C conf
AICCSA
M. Teresa Higuera-Toledano
2006 C conf
CIT
M. Teresa Higuera-Toledano
2006 B conf
RTCSA
M. Teresa Higuera-Toledano
2006 A conf
IPDPS
M. Teresa Higuera-Toledano
2005 J jnl
Concurr. Pract. Exp.
M. Teresa Higuera-Toledano, Valérie Issarny
2005 C conf
AICCSA
M. Teresa Higuera-Toledano
2005 A conf
IEEE Real-Time and Embedded Technology and Applications Symposium
M. Teresa Higuera-Toledano
2004 C conf
ISORC
M. Teresa Higuera-Toledano
2004 J jnl
Real Time Syst.
M. Teresa Higuera-Toledano, Valérie Issarny, Michel Banâtre, Frédéric Parain
2004 conf
EUROMICRO
Miguel A. de Miguel, M. Teresa Higuera-Toledano
2004 conf
OTM Workshops
M. Teresa Higuera-Toledano
2003 conf
OTM Workshops
Ruth Tolosa, José P. Mayo, Miguel A. de Miguel, M. Teresa Higuera-Toledano, Alejandro Alonso
2003 B conf
ECRTS
M. Teresa Higuera-Toledano
2003 conf
OTM Workshops
M. Teresa Higuera-Toledano
2002 conf
Symposium on Object-Oriented Real-Time Distributed Computing
M. Teresa Higuera-Toledano, Valérie Issarny
2002 conf
IEEE Real Time Technology and Applications Symposium
M. Teresa Higuera-Toledano, Miguel A. de Miguel-Cabello
2002 conf
Java Grande
M. Teresa Higuera-Toledano
2001 C conf
ISORC
M. Teresa Higuera-Toledano, Valérie Issarny, Michel Banâtre, Gilbert Cabillic, Jean-Philippe Lesot, Frédéric Parain
2001 J jnl
Tech. Sci. Informatiques
Frédéric Parain, Michel Banâtre, Gilbert Cabillic, M. Teresa Higuera-Toledano, Valérie Issarny, Jean-Philippe Lesot
2000 conf
ACM SIGOPS European Workshop
Frédéric Parain, Gilbert Cabillic, Michel Banâtre, M. Teresa Higuera-Toledano, Valérie Issarny, Jean-Philippe Lesot
2000 C conf
ISORC
M. Teresa Higuera-Toledano, Valérie Issarny
2000 conf
ACM SIGOPS European Workshop
Valérie Issarny, Michel Banâtre, Frédéric Weis, Gilbert Cabillic, Paul Couderc, M. Teresa Higuera-Toledano, Frédéric Parain
redb/extractors/decompiler/apk/jadx_wrapper.py
← Index redb/extractors/decompiler/apk/jadx_wrapper.py python
"""JADX decompiler subprocess wrapper.

Manages JADX subprocess execution for Java decompilation,
following the CAPA extractor subprocess pattern.
"""

import os
import re
import signal
import subprocess
from typing import Dict, Optional


class JADXDecompiler:
    """Subprocess wrapper for JADX Java decompilation."""

    def __init__(self, jadx_path: str = None, timeout: int = None, log=None):
        self.jadx_path = jadx_path or os.getenv("JADX_PATH", "jadx")
        self.timeout = timeout or int(os.getenv("JADX_TIMEOUT", "300"))
        self.log = log

    def decompile(self, apk_path: str, output_dir: str) -> bool:
        """Run JADX decompilation on an APK file.

        Returns True on success, False on failure.
        """
        cmd = [
            self.jadx_path,
            "--no-res",
            "--no-imports",
            "--threads-count", "2",
            "--output-dir", output_dir,
            apk_path,
        ]

        try:
            process = subprocess.Popen(
                cmd,
                stdout=subprocess.PIPE,
                stderr=subprocess.PIPE,
                text=True,
                preexec_fn=os.setsid,
            )

            try:
                stdout, stderr = process.communicate(timeout=self.timeout)
                if process.returncode != 0:
                    if self.log:
                        self.log.warning(
                            f"JADX returned non-zero exit code {process.returncode}: "
                            f"{stderr[:500] if stderr else 'no stderr'}"
                        )
                    # JADX may still produce partial output on non-zero exit
                    return os.path.isdir(os.path.join(output_dir, "sources"))
                return True

            except subprocess.TimeoutExpired:
                if self.log:
                    self.log.error(
                        f"JADX timed out after {self.timeout}s"
                    )
                # Kill the process group
                try:
                    os.killpg(os.getpgid(process.pid), signal.SIGTERM)
                    process.wait(timeout=3)
                except (ProcessLookupError, subprocess.TimeoutExpired):
                    try:
                        os.killpg(os.getpgid(process.pid), signal.SIGKILL)
                    except ProcessLookupError:
                        pass
                return False

        except FileNotFoundError:
            if self.log:
                self.log.error(
                    f"JADX not found at '{self.jadx_path}'. "
                    "Install JADX or set JADX_PATH env var."
                )
            return False
        except Exception as e:
            if self.log:
                self.log.error(f"JADX execution error: {e}")
            return False

    def parse_java_methods(self, output_dir: str) -> Dict[str, str]:
        """Parse JADX output into per-method Java source.

        Returns dict keyed by 'package.ClassName.methodName(ParamType1, ParamType2)'.
        """
        sources_dir = os.path.join(output_dir, "sources")
        if not os.path.isdir(sources_dir):
            return {}

        methods = {}
        for root, _dirs, files in os.walk(sources_dir):
            for fname in files:
                if not fname.endswith(".java"):
                    continue
                fpath = os.path.join(root, fname)
                try:
                    with open(fpath, "r", encoding="utf-8", errors="replace") as f:
                        content = f.read()

                    # Derive the fully qualified class name from file path
                    rel_path = os.path.relpath(fpath, sources_dir)
                    class_fqn = rel_path.replace(os.sep, ".").replace("/", ".")
                    if class_fqn.endswith(".java"):
                        class_fqn = class_fqn[:-5]

                    file_methods = self._extract_methods_from_java(
                        content, class_fqn
                    )
                    methods.update(file_methods)

                except Exception:
                    continue

        return methods

    def _extract_methods_from_java(
        self, source: str, class_fqn: str
    ) -> Dict[str, str]:
        """Extract individual methods from a Java source file.

        Uses brace-depth tracking to find method boundaries.
        """
        methods = {}
        lines = source.split("\n")
        i = 0

        while i < len(lines):
            line = lines[i]
            match = self._is_method_declaration(line)
            if match:
                method_name, param_types = match
                # Track brace depth to find method end
                start_line = i
                brace_depth = 0
                found_open = False

                for j in range(i, len(lines)):
                    for ch in lines[j]:
                        if ch == "{":
                            brace_depth += 1
                            found_open = True
                        elif ch == "}":
                            brace_depth -= 1

                    if found_open and brace_depth == 0:
                        method_body = "\n".join(lines[start_line : j + 1])
                        key = f"{class_fqn}.{method_name}({param_types})"
                        methods[key] = method_body
                        i = j + 1
                        break
                else:
                    i += 1
            else:
                i += 1

        return methods

    # Regex for method declarations (not constructors, not class/interface decl)
    _METHOD_DECL_RE = re.compile(
        r"^\s*(?:(?:public|private|protected|static|final|synchronized|"
        r"native|abstract|strictfp)\s+)*"
        r"(?:[\w<>\[\]?.]+\s+)"  # return type
        r"(\w+)"  # method name
        r"\s*\(([^)]*)\)"  # parameters
        r"(?:\s*throws\s+[\w.,\s]+)?"
        r"\s*\{"
    )

    def _is_method_declaration(self, line: str) -> Optional[tuple]:
        """Check if a line is a method declaration.

        Returns (method_name, param_types_str) or None.
        """
        m = self._METHOD_DECL_RE.match(line)
        if not m:
            return None

        method_name = m.group(1)
        params_raw = m.group(2).strip()

        # Skip class-level blocks
        if method_name in ("if", "for", "while", "switch", "try", "catch"):
            return None

        # Extract just the type names from parameters
        if not params_raw:
            return (method_name, "")

        param_types = []
        for param in params_raw.split(","):
            param = param.strip()
            if not param:
                continue
            parts = param.split()
            # Last non-annotation token before the variable name is the type
            # Simple heuristic: type is second-to-last, name is last
            if len(parts) >= 2:
                param_types.append(parts[-2])
            elif len(parts) == 1:
                param_types.append(parts[0])

        return (method_name, ", ".join(param_types))