Ornela Dardha

57 papers A 3B 4C 13Journal 26Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Sci. Comput. Program.
Arwa Hameed Alsubhi, Ornela Dardha, Simon J. Gay
2025 conf
ESOP (2)
Matthew Alan Le Brun, Simon Fowler, Ornela Dardha
2025 J jnl
CoRR
Matthew Alan Le Brun, Simon Fowler, Ornela Dardha
2025 J jnl
Inf. Comput.
Ornela Dardha, Jorge A. Pérez, Jurriaan Rot
2025 J jnl
Inf. Comput.
Valentina Castiglioni, Ornela Dardha, Claudio Antares Mezzina
2024 C conf
COORDINATION
Arwa Hameed Alsubhi, Ornela Dardha
2024 J jnl
CoRR
Matthew Alan Le Brun, Ornela Dardha
2024 C conf
FORTE
Matthew Alan Le Brun, Ornela Dardha
2024 conf
PLACES@ETAPS
Samuel Cavoj, Ivan Nikitin, Colin Perkins, Ornela Dardha
2023 conf
EXPRESS/SOS
Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi
2023 A conf
ESOP
Matthew Alan Le Brun, Ornela Dardha
2023 J jnl
CoRR
Matthew Alan Le Brun, Ornela Dardha
2023 J jnl
Log. Methods Comput. Sci.
Wen Kokke, Ornela Dardha
2023 J jnl
Log. Methods Comput. Sci.
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
2023 J jnl
CoRR
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
2023 J jnl
Proc. ACM Program. Lang.
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
2023 J jnl
CoRR
Rongxiao Fu, Ornela Dardha, Michel Steuwer
2022 J jnl
J. Log. Algebraic Methods Program.
Ornela Dardha, Jorge A. Pérez
2022 C conf
PPDP
Ornela Dardha, Elena Giachino, Davide Sangiorgi
2021 C ed.
COORDINATION
Ferruccio Damiani, Ornela Dardha
2021 J jnl
CoRR
Wen Kokke, Ornela Dardha
2021 C conf
Haskell
Wen Kokke, Ornela Dardha
2021 J jnl
Dagstuhl Artifacts Ser.
Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
2021 J jnl
CoRR
Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
2021 A conf
ECOOP
Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
2021 J jnl
CoRR
Mathias Jakobsen, Alice Ravier, Ornela Dardha
2021 C conf
PPDP
Mathias Jakobsen, Alice Ravier, Ornela Dardha
2021 C conf
FORTE
Wen Kokke, Ornela Dardha
2021 J jnl
CoRR
Wen Kokke, Ornela Dardha
2021 ed.
EXPRESS/SOS
Ornela Dardha, Valentina Castiglioni
2021 J jnl
CoRR
Rongxiao Fu, Xueying Qin, Ornela Dardha, Michel Steuwer
2021 B conf
CONCUR
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
2021 J jnl
CoRR
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
2021 C conf
FORTE
Uma Zalakain, Ornela Dardha
2020 ed.
EXPRESS/SOS
Ornela Dardha, Jurriaan Rot
2020 C conf
COORDINATION
Artem Usov, Ornela Dardha
2020 C conf
FORTE
Adriana Laura Voinea, Ornela Dardha, Simon J. Gay
2020 J jnl
CoRR
Uma Zalakain, Ornela Dardha
2019 B conf
IFM
Adriana Laura Voinea, Ornela Dardha, Simon J. Gay
2018 B conf
FoSSaCS
Ornela Dardha, Simon J. Gay
2018 J jnl
CoRR
Ornela Dardha, Jorge A. Pérez
2018 J jnl
Sci. Comput. Program.
Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay
2017 J jnl
Dagstuhl Artifacts Ser.
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
2017 A conf
ECOOP
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
2017 J jnl
Comput. J.
Ornela Dardha, Daniele Gorla, Daniele Varacca
2017 J jnl
Inf. Comput.
Ornela Dardha, Elena Giachino, Davide Sangiorgi
2016 book
Ornela Dardha
2016 C conf
PPDP
Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay
2015 conf
EXPRESS/SOS
Ornela Dardha, Jorge A. Pérez
2015 J jnl
Bull. EATCS
Ornela Dardha
2014 conf
TGC
Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas
2014 C conf
COORDINATION
Marco Carbone, Ornela Dardha, Fabrizio Montesi
2014 conf
BEAT
Ornela Dardha
2014
Ornela Dardha
2013 B conf
SEFM
Ornela Dardha, Elena Giachino, Michael Lienhardt
2013 conf
FMOODS/FORTE
Ornela Dardha, Daniele Gorla, Daniele Varacca
2012 C conf
PPDP
Ornela Dardha, Elena Giachino, Davide Sangiorgi
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"