Viktor Bengs

54 papers A* 14A 4Journal 31Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Kanta Yamaoka, Sumantrak Mukherjee, Thomas Gärtner, David Antony Selby, Stefan Konigorski, Eyke Hüllermeier, Viktor Bengs, Sebastian Josef Vollmer
2026 J jnl
Mach. Learn.
Santo M. A. R. Thies, Juan C. Alfaro, Viktor Bengs
2025 A conf
ECAI
Jiayi Wang, Juan C. Alfaro, Viktor Bengs
2025 J jnl
Trans. Mach. Learn. Res.
Timo Kaufmann, Paul Weng, Viktor Bengs, Eyke Hüllermeier
2025 J jnl
CoRR
Mira Jürgens, Thomas Mortier, Eyke Hüllermeier, Viktor Bengs, Willem Waegeman
2025 J jnl
Mach. Learn.
Mira Jürgens, Thomas Mortier, Eyke Hüllermeier, Viktor Bengs, Willem Waegeman
2025 J jnl
CoRR
Jiayi Wang, Juan C. Alfaro, Viktor Bengs
2025 J jnl
CoRR
Sumantrak Mukherjee, Serafima Lebedeva, Valentin Margraf, Jonas Hanselle, Kanta Yamaoka, Viktor Bengs, Stefan Konigorski, Eyke Hüllermeier, Sebastian Josef Vollmer
2024 A* conf
AAAI
Patrick Kolpaczki, Viktor Bengs, Maximilian Muschalik, Eyke Hüllermeier
2024 A* conf
IJCAI
Jasmin Brandt, Marcel Wever, Viktor Bengs, Eyke Hüllermeier
2024 A conf
AISTATS
Viktor Bengs, Björn Haddenhorst, Eyke Hüllermeier
2024 A* conf
ICML
Mira Jürgens, Nis Meinert, Viktor Bengs, Eyke Hüllermeier, Willem Waegeman
2024 J jnl
CoRR
Mira Jürgens, Nis Meinert, Viktor Bengs, Eyke Hüllermeier, Willem Waegeman
2024 conf
DS (1)
Santo M. A. R. Thies, Juan C. Alfaro, Viktor Bengs
2024 J jnl
Trans. Mach. Learn. Res.
Patrick Kolpaczki, Eyke Hüllermeier, Viktor Bengs
2024 A* conf
ICML
Yusuf Sale, Viktor Bengs, Michele Caprio, Eyke Hüllermeier
2023 A* conf
IJCAI
Elias Schede, Jasmin Brandt, Alexander Tornede, Marcel Wever, Viktor Bengs, Eyke Hüllermeier, Kevin Tierney
2023 J jnl
CoRR
Timo Kaufmann, Paul Weng, Viktor Bengs, Eyke Hüllermeier
2023 A* conf
AAAI
Jasmin Brandt, Elias Schede, Björn Haddenhorst, Viktor Bengs, Eyke Hüllermeier, Kevin Tierney
2023 J jnl
CoRR
Patrick Kolpaczki, Viktor Bengs, Eyke Hüllermeier
2023 conf
LWDA
Jasmin Brandt, Elias Schede, Shivam Sharma, Viktor Bengs, Eyke Hüllermeier, Kevin Tierney
2023 J jnl
CoRR
Viktor Bengs, Björn Haddenhorst, Eyke Hüllermeier
2023 J jnl
CoRR
Jasmin Brandt, Marcel Wever, Dimitrios Iliadis, Viktor Bengs, Eyke Hüllermeier
2023 J jnl
Mach. Learn.
Viktor Bengs, Eyke Hüllermeier
2023 A* conf
ICML
Viktor Bengs, Eyke Hüllermeier, Willem Waegeman
2023 J jnl
CoRR
Viktor Bengs, Eyke Hüllermeier, Willem Waegeman
2023 A conf
AISTATS
Thomas Mortier, Viktor Bengs, Eyke Hüllermeier, Stijn Luca, Willem Waegeman
2023 J jnl
CoRR
Yusuf Sale, Viktor Bengs, Michele Caprio, Eyke Hüllermeier
2023 conf
PKDD/ECML Workshops (1)
Patrick Becker, Viktor Bengs
2022 J jnl
CoRR
Elias Schede, Jasmin Brandt, Alexander Tornede, Marcel Wever, Viktor Bengs, Eyke Hüllermeier, Kevin Tierney
2022 J jnl
J. Artif. Intell. Res.
Elias Schede, Jasmin Brandt, Alexander Tornede, Marcel Wever, Viktor Bengs, Eyke Hüllermeier, Kevin Tierney
2022 J jnl
CoRR
Jasmin Brandt, Elias Schede, Viktor Bengs, Björn Haddenhorst, Eyke Hüllermeier, Kevin Tierney
2022 A* conf
NeurIPS
Jasmin Brandt, Viktor Bengs, Björn Haddenhorst, Eyke Hüllermeier
2022 J jnl
CoRR
Jasmin Brandt, Björn Haddenhorst, Viktor Bengs, Eyke Hüllermeier
2022 A* conf
AAAI
Alexander Tornede, Viktor Bengs, Eyke Hüllermeier
2022 J jnl
CoRR
Patrick Kolpaczki, Viktor Bengs, Eyke Hüllermeier
2022 J jnl
CoRR
Thomas Mortier, Viktor Bengs, Eyke Hüllermeier, Stijn Luca, Willem Waegeman
2022 J jnl
CoRR
Viktor Bengs, Eyke Hüllermeier, Willem Waegeman
2022 A* conf
NeurIPS
Viktor Bengs, Eyke Hüllermeier, Willem Waegeman
2022 A* conf
ICML
Viktor Bengs, Aadirupa Saha, Eyke Hüllermeier
2022 J jnl
CoRR
Viktor Bengs, Aadirupa Saha, Eyke Hüllermeier
2021 A* conf
NeurIPS
Björn Haddenhorst, Viktor Bengs, Eyke Hüllermeier
2021 conf
LWDA
Patrick Kolpaczki, Viktor Bengs, Eyke Hüllermeier
2021 J jnl
CoRR
Alexander Tornede, Viktor Bengs, Eyke Hüllermeier
2021 J jnl
Mach. Learn.
Björn Haddenhorst, Viktor Bengs, Eyke Hüllermeier
2021 J jnl
J. Mach. Learn. Res.
Viktor Bengs, Róbert Busa-Fekete, Adil El Mesaoudi-Paul, Eyke Hüllermeier
2021 A* conf
AAAI
Felix Mohr, Viktor Bengs, Eyke Hüllermeier
2021 A conf
UAI
Björn Haddenhorst, Viktor Bengs, Jasmin Brandt, Eyke Hüllermeier
2020 J jnl
CoRR
Viktor Bengs, Eyke Hüllermeier
2020 J jnl
CoRR
Adil El Mesaoudi-Paul, Viktor Bengs, Eyke Hüllermeier
2020 conf
LION
Adil El Mesaoudi-Paul, Dimitri Weiß, Viktor Bengs, Eyke Hüllermeier, Kevin Tierney
2020 A* conf
ICML
Viktor Bengs, Eyke Hüllermeier
2019 J jnl
J. Multivar. Anal.
Viktor Bengs, Matthias Eulert, Hajo Holzmann
2019 J jnl
CoRR
Viktor Bengs, Eyke Hüllermeier
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))