Ian M. Hodkinson

67 papers A* 1B 4C 4Journal 51Unranked 5
YearRankTypeTitle / Venue / Authors
2024 J jnl
Rev. Symb. Log.
Robert Goldblatt, Ian M. Hodkinson
2022 J jnl
CoRR
Robert Goldblatt, Ian M. Hodkinson
2020 J jnl
Australas. J. Log.
Ian M. Hodkinson
2020 J jnl
Rev. Symb. Log.
Robert Goldblatt, Ian M. Hodkinson
2019 J jnl
CoRR
Robert Goldblatt, Ian M. Hodkinson
2018 J jnl
Stud Logica
Robert Goldblatt, Ian M. Hodkinson
2017 J jnl
Ann. Pure Appl. Log.
Robert Goldblatt, Ian M. Hodkinson
2016 J jnl
CoRR
Robert Goldblatt, Ian M. Hodkinson
2016 B conf
Advances in Modal Logic
Robert Goldblatt, Ian M. Hodkinson
2015 C conf
RAMiCS
Ian M. Hodkinson
2014 J jnl
J. Log. Comput.
Ian M. Hodkinson
2013 J jnl
Ann. Pure Appl. Log.
Jannis Bulian, Ian M. Hodkinson
2012 J jnl
CoRR
Jannis Bulian, Ian M. Hodkinson
2012 J jnl
J. Symb. Log.
Ian M. Hodkinson, Szabolcs Mikulás
2012 J jnl
Stud Logica
Johan van Benthem, Nick Bezhanishvili, Ian M. Hodkinson
2012 J jnl
Theor. Comput. Sci.
Nick Bezhanishvili, Ian M. Hodkinson
2011 J jnl
J. Symb. Log.
Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
2010 J jnl
Rev. Symb. Log.
Ian M. Hodkinson, Hicham Tahiri
2010 J jnl
J. Appl. Log.
Ian M. Hodkinson, Louis Paternault
2010 C conf
TIME
Ian M. Hodkinson
2010 J jnl
Rev. Symb. Log.
Ian M. Hodkinson
2009 ch.
Towards Mathematical Philosophy
Robert Goldblatt, Ian M. Hodkinson
2009 J jnl
J. Symb. Log.
Robin Hirsch, Ian M. Hodkinson
2008 B conf
CSL
Ian M. Hodkinson, Angelo Montanari, Guido Sciavicco
2008 J jnl
J. Symb. Log.
Ian M. Hodkinson, Altaf Hussain
2007 ch.
Handbook of Modal Logic
Ian M. Hodkinson, Mark Reynolds
2007 J jnl
Australas. J. Log.
Robert Goldblatt, Ian M. Hodkinson
2006 B ed.
Advances in Modal Logic
Guido Governatori, Ian M. Hodkinson, Yde Venema
2006 J jnl
Ann. Pure Appl. Log.
Ian M. Hodkinson
2006 J jnl
Notre Dame J. Formal Log.
Ian M. Hodkinson
2005 conf
We Will Show Them! (2)
Ian M. Hodkinson, Mark Reynolds
2004 J jnl
Stud Logica
Nick Bezhanishvili, Ian M. Hodkinson
2004 J jnl
Bull. Symb. Log.
Robert Goldblatt, Ian M. Hodkinson, Yde Venema
2004 J jnl
J. Log. Comput.
Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2003 J jnl
Bull. Symb. Log.
Ian M. Hodkinson, Martin Otto
2003 C conf
TIME
Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
2002 A* conf
LICS
Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2002 J jnl
Stud Logica
Ian M. Hodkinson
2002 J jnl
Stud Logica
Ian M. Hodkinson
2002 J jnl
J. Symb. Log.
Robin Hirsch, Ian M. Hodkinson, Ágnes Kurucz
2002 C conf
TIME
Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2002 J jnl
Bull. Symb. Log.
Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
2002 J jnl
J. Symb. Log.
Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
2001 B conf
LPAR
Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2001 J jnl
Ann. Pure Appl. Log.
Robin Hirsch, Ian M. Hodkinson
2001 J jnl
Ann. Pure Appl. Log.
Robin Hirsch, Ian M. Hodkinson
2000 J jnl
Ann. Pure Appl. Log.
Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2000 J jnl
Ann. Pure Appl. Log.
Robin Hirsch, Ian M. Hodkinson
1999 J jnl
J. Symb. Log.
Hajnal Andréka, Ian M. Hodkinson, István Németi
1998 conf
RelMiCS
Ian M. Hodkinson, Szabolcs Mikulás
1998 conf
RelMiCS
Robin Hirsch, Ian M. Hodkinson
1997 J jnl
Ann. Pure Appl. Log.
Ian M. Hodkinson
1997 J jnl
Log. J. IGPL
Robin Hirsch, Ian M. Hodkinson
1997 J jnl
J. Symb. Log.
Robin Hirsch, Ian M. Hodkinson
1997 J jnl
J. Log. Lang. Inf.
Ian M. Hodkinson
1997 J jnl
J. Symb. Log.
Robin Hirsch, Ian M. Hodkinson
1997 J jnl
J. Philos. Log.
Ian M. Hodkinson, András Simon
1997 conf
RelMiCS
Hajnal Andréka, Ian M. Hodkinson, István Németi
1996 J jnl
Log. J. IGPL
Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher
1995 J jnl
Theor. Comput. Sci.
Ian M. Hodkinson
1994 J jnl
Bull. EATCS
Ian M. Hodkinson
1994 J jnl
J. Philos. Log.
Ian M. Hodkinson
1993 J jnl
Bull. EATCS
Ian M. Hodkinson
1990 J jnl
J. Log. Comput.
Dov M. Gabbay, Ian M. Hodkinson
1990 J jnl
Ann. Pure Appl. Log.
Wilfried Hodges, Ian M. Hodkinson, Dugald Macpherson
1989 conf
Concurrency: Theory, Language, And Architecture
Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter
1988 J jnl
J. Symb. Log.
Ian M. Hodkinson, H. D. Macpherson
tests/unit/test_apk_jadx_wrapper.py
← Index tests/unit/test_apk_jadx_wrapper.py python
"""
Unit tests for JADX wrapper subprocess management and output parsing.

All subprocess calls are mocked — no JADX/Java installation required.
"""
import os
import tempfile
import textwrap

import pytest
from unittest.mock import MagicMock, patch, call

pytestmark = [pytest.mark.unit, pytest.mark.apk, pytest.mark.decompile]


class TestJADXDecompiler:
    """Tests for JADXDecompiler subprocess wrapper."""

    @patch.dict(os.environ, {}, clear=False)
    def test_init_defaults(self):
        os.environ.pop("JADX_PATH", None)
        from redb.extractors.decompiler.apk.jadx_wrapper import JADXDecompiler
        j = JADXDecompiler()
        assert j.jadx_path == "jadx"
        assert j.timeout == 300

    def test_init_custom_path(self):
        from redb.extractors.decompiler.apk.jadx_wrapper import JADXDecompiler
        j = JADXDecompiler(jadx_path="/usr/local/bin/jadx", timeout=300)
        assert j.jadx_path == "/usr/local/bin/jadx"
        assert j.timeout == 300

    def test_init_from_env(self):
        from redb.extractors.decompiler.apk.jadx_wrapper import JADXDecompiler
        with patch.dict(os.environ, {"JADX_PATH": "/opt/jadx/bin/jadx", "JADX_TIMEOUT": "120"}):
            j = JADXDecompiler()
            assert j.jadx_path == "/opt/jadx/bin/jadx"
            assert j.timeout == 120

    @patch("subprocess.Popen")
    def test_decompile_success(self, mock_popen):
        from redb.extractors.decompiler.apk.jadx_wrapper import JADXDecompiler
        mock_proc = MagicMock()
        mock_proc.communicate.return_value = ("output", "")
        mock_proc.returncode = 0
        mock_popen.return_value = mock_proc

        j = JADXDecompiler()
        result = j.decompile("/test.apk", "/output")
        assert result is True

    @patch("subprocess.Popen")
    def test_decompile_nonzero_exit_no_sources(self, mock_popen):
        from redb.extractors.decompiler.apk.jadx_wrapper import JADXDecompiler
        mock_proc = MagicMock()
        mock_proc.communicate.return_value = ("", "error msg")
        mock_proc.returncode = 1
        mock_popen.return_value = mock_proc

        j = JADXDecompiler(log=MagicMock())
        result = j.decompile("/test.apk", "/nonexistent_output")
        assert result is False

    @patch("subprocess.Popen")
    def test_decompile_timeout(self, mock_popen):
        from redb.extractors.decompiler.apk.jadx_wrapper import JADXDecompiler
        import subprocess
        mock_proc = MagicMock()
        mock_proc.communicate.side_effect = subprocess.TimeoutExpired(cmd="jadx", timeout=10)
        mock_proc.pid = 12345
        mock_popen.return_value = mock_proc

        with patch("os.getpgid", return_value=12345), \
             patch("os.killpg"):
            j = JADXDecompiler(timeout=10, log=MagicMock())
            result = j.decompile("/test.apk", "/output")
            assert result is False

    @patch("subprocess.Popen", side_effect=FileNotFoundError)
    def test_decompile_not_found(self, mock_popen):
        from redb.extractors.decompiler.apk.jadx_wrapper import JADXDecompiler
        j = JADXDecompiler(log=MagicMock())
        result = j.decompile("/test.apk", "/output")
        assert result is False

    @patch("subprocess.Popen")
    def test_decompile_command_args(self, mock_popen):
        from redb.extractors.decompiler.apk.jadx_wrapper import JADXDecompiler
        mock_proc = MagicMock()
        mock_proc.communicate.return_value = ("", "")
        mock_proc.returncode = 0
        mock_popen.return_value = mock_proc

        j = JADXDecompiler(jadx_path="/opt/jadx")
        j.decompile("/test.apk", "/output")

        cmd = mock_popen.call_args[0][0]
        assert cmd[0] == "/opt/jadx"
        assert "--no-res" in cmd
        assert "--no-imports" in cmd
        assert "--threads-count" in cmd
        assert "/test.apk" in cmd

    def test_parse_java_methods_empty_dir(self):
        from redb.extractors.decompiler.apk.jadx_wrapper import JADXDecompiler
        j = JADXDecompiler()
        result = j.parse_java_methods("/nonexistent")
        assert result == {}

    def test_parse_java_methods_with_files(self):
        from redb.extractors.decompiler.apk.jadx_wrapper import JADXDecompiler
        with tempfile.TemporaryDirectory() as tmpdir:
            sources_dir = os.path.join(tmpdir, "sources", "com", "example")
            os.makedirs(sources_dir)

            java_content = textwrap.dedent("""\
                package com.example;

                public class MyClass {
                    public void doStuff(int x) {
                        System.out.println(x);
                    }

                    private String getName() {
                        return "test";
                    }
                }
            """)
            with open(os.path.join(sources_dir, "MyClass.java"), "w") as f:
                f.write(java_content)

            j = JADXDecompiler()
            methods = j.parse_java_methods(tmpdir)
            assert len(methods) >= 1

    def test_extract_methods_from_java(self):
        from redb.extractors.decompiler.apk.jadx_wrapper import JADXDecompiler
        source = textwrap.dedent("""\
            public void foo(int x) {
                if (x > 0) {
                    System.out.println(x);
                }
            }
        """)
        j = JADXDecompiler()
        methods = j._extract_methods_from_java(source, "com.example.Test")
        assert len(methods) == 1
        key = list(methods.keys())[0]
        assert "foo" in key

    def test_is_method_declaration_valid(self):
        from redb.extractors.decompiler.apk.jadx_wrapper import JADXDecompiler
        j = JADXDecompiler()
        result = j._is_method_declaration("    public void foo(int x) {")
        assert result is not None
        assert result[0] == "foo"

    def test_is_method_declaration_control_flow(self):
        from redb.extractors.decompiler.apk.jadx_wrapper import JADXDecompiler
        j = JADXDecompiler()
        # 'if', 'for', etc. should not be recognized as methods
        assert j._is_method_declaration("        if (x > 0) {") is None
        assert j._is_method_declaration("        for (int i = 0; i < 10; i++) {") is None

    def test_is_method_declaration_static(self):
        from redb.extractors.decompiler.apk.jadx_wrapper import JADXDecompiler
        j = JADXDecompiler()
        result = j._is_method_declaration("    public static void main(String[] args) {")
        assert result is not None
        assert result[0] == "main"