Nejib Zaguia

36 papers A 3B 2C 1Misc 1Journal 22Unranked 7
YearRankTypeTitle / Venue / Authors
2016 J jnl
J. Multiple Valued Log. Soft Comput.
Ahmad Sharary, Nejib Zaguia, Mohammad Alzohairi
2016 J jnl
J. Multiple Valued Log. Soft Comput.
Youssef Boudabbous, Lucien Haddad, Nejib Zaguia
2015 conf
SummerSim
Livaniaina Rakotomalala, Nejib Zaguia
2015 J jnl
Ars Comb.
Mustafa Alhashem, Guy-Vincent Jourdan, Nejib Zaguia
2014 J jnl
Eur. J. Comb.
Maurice Pouzet, Hamza Si Kaddour, Nejib Zaguia
2014 J jnl
Eur. J. Comb.
Youssef Boudabbous, Ivo G. Rosenberg, Nejib Zaguia
2012 J jnl
Int. J. Parallel Emergent Distributed Syst.
Ivan Stojmenovic, Adnan Afsar Khan, Nejib Zaguia
2012 J jnl
Int. J. Parallel Emergent Distributed Syst.
Ahmed Jedda, Guy-Vincent Jourdan, Nejib Zaguia
2010 conf
ACRI
Yassine Daadaa, Paola Flocchini, Nejib Zaguia
2010 J jnl
Order
Youssef Boudabbous, Imed Zaguia, Nejib Zaguia
2010 C conf
AICCSA
Ahmed Jeddah, Guy-Vincent Jourdan, Nejib Zaguia
2010 J jnl
Order
Dwight Duffus, Nejib Zaguia
2009 B conf
MASS
Ahmed Jeddah, Nejib Zaguia, Guy-Vincent Jourdan
2009 conf
ICTA
Ahmed Jeddah, Nejib Zaguia, Guy-Vincent Jourdan
2009 conf
ICDCS Workshops
Ahmed Jeddah, Nejib Zaguia, Guy-Vincent Jourdan
2009 conf
CISDA
Andres Solis Montero, Amiya Nayak, Milos Stojmenovic, Nejib Zaguia
2008 B conf
AINA
Adnan Afsar Khan, Ivan Stojmenovic, Nejib Zaguia
2008 Misc conf
CISIS
Nejib Zaguia, Ivan Stojmenovic, Yassine Daadaa
2008 J jnl
Integr. Comput. Aided Eng.
Nejib Zaguia, Yassine Daadaa, Ivan Stojmenovic
2006 J jnl
Contributions Discret. Math.
Nejib Zaguia, Maurice Pouzet
2005 J jnl
Inf. Process. Lett.
Guy-Vincent Jourdan, Hasan Ural, Nejib Zaguia
2005 J jnl
CoRR
Maurice Pouzet, Nejib Zaguia
2005 conf
CCCG
Nejib Zaguia, Guy-Vincent Jourdan, Mustafa Alhashem
2003 A conf
GD
Guy-Vincent Jourdan, Ivan Rival, Nejib Zaguia
1999 A conf
GD
Ala Eddine Barouni, Ali Jaoua, Nejib Zaguia
1998 conf
JCDCG
Ala Eddine Barouni, Ali Jaoua, Nejib Zaguia
1997 J jnl
Theor. Comput. Sci.
Kevin Ewacha, Ivan Rival, Nejib Zaguia
1995 J jnl
Discret. Math.
Wei-Ping Liu, Ivan Rival, Nejib Zaguia
1995 J jnl
Theor. Comput. Sci.
Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier, Fairouz Tchier, Ali Jaoua, Ali Mili, Nejib Zaguia
1995 J jnl
Discret. Math.
Ivan Rival, Nejib Zaguia
1994 A conf
GD
Guy-Vincent Jourdan, Ivan Rival, Nejib Zaguia
1993 J jnl
Discret. Math.
Ahmad Sharary, Nejib Zaguia
1992 J jnl
Inf. Process. Lett.
Ahmad Sharary, Nejib Zaguia
1988 J jnl
Discret. Appl. Math.
Nejib Zaguia
1987 J jnl
Discret. Math.
Ivan Rival, Nejib Zaguia
1985 J jnl
Discret. Math.
Maurice Pouzet, Nejib Zaguia
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))