Jan Janousek

56 papers B 6C 11Misc 6Journal 20Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
Int. J. Found. Comput. Sci.
Václav Blazej, Jan Janousek, Stepán Plachý
2025 J jnl
Theor. Comput. Sci.
Laurent Feuilloley, Jan Janousek, Jan Matyás Kristan, Josef Erik Sedlácek
2025 J jnl
Acta Informatica
Jan Janousek, Stepán Plachý
2024 conf
ALGOWIN
Laurent Feuilloley, Jan Janousek, Jan Matyás Kristan, Josef Erik Sedlácek
2024 J jnl
CoRR
Laurent Feuilloley, Jan Janousek, Jan Matyás Kristan, Josef Erik Sedlácek
2024 J jnl
Discret. Appl. Math.
Jan Trávnícek, Tomás Pecka, Robin Oburka, Jan Janousek
2024 B conf
SOFSEM
Jan Janousek, Stepán Plachý
2023 J jnl
Discret. Appl. Math.
Eliska Sestáková, Ondrej Guth, Jan Janousek
2023 C conf
CIAA
Václav Blazej, Jan Janousek, Stepán Plachý
2021 Misc conf
PSC
Eliska Sestáková, Ondrej Guth, Jan Janousek
2020 Misc conf
PSC
Tomás Pecka, Jan Trávnícek, Jan Janousek
2020 Misc conf
PSC
Jan Trávnícek, Robin Oburka, Tomás Pecka, Jan Janousek
2020 B conf
SOFSEM
Stepán Plachý, Jan Janousek
2020 J jnl
Theor. Comput. Sci.
Jan Trávnícek, Jan Janousek, Borivoj Melichar, Loek Cleophas
2019 ed.
SLATE
Ricardo Rodrigues, Jan Janousek, Luís Ferreira, Luísa Coheur, Fernando Batista, Hugo Gonçalo Oliveira
2019 B conf
CEC
Petr Gajdos, Marek Behálek, Jan Janousek, Pavel Krömer
2019 B conf
CEC
Pavel Krömer, Jan Janousek, Jan Platos
2018 J jnl
Inf.
Eliska Sestáková, Jan Janousek
2018 Misc conf
PSC
Eliska Sestáková, Borivoj Melichar, Jan Janousek
2018 conf
SLATE
Tomás Pecka, Jan Trávnícek, Radomír Polách, Jan Janousek
2017 conf
SLATE
Eliska Sestáková, Jan Janousek
2016 J jnl
Comput. Lang. Syst. Struct.
Radomír Polách, Jan Trávnícek, Jan Janousek, Borivoj Melichar
2016 conf
ACIIDS (2)
Jan Janousek, Petr Gajdos, Pavel Dohnálek, Michal Radecký
2016 C ed.
LATA
Adrian-Horia Dediu, Jan Janousek, Carlos Martín-Vide, Bianca Truthe
2016 J jnl
Swarm Evol. Comput.
Jan Janousek, Petr Gajdos, Pavel Dohnálek, Michal Radecký
2015 C conf
FedCSIS
Radomír Polách, Jan Travnicek, Jan Janousek, Borivoj Melichar
2015 conf
AECIA
Jan Janousek, Petr Gajdos, Michal Radecký, Václav Snásel
2015 C conf
LATA
Jan Trávnícek, Jan Janousek, Borivoj Melichar, Loek G. Cleophas
2015 C conf
ICMLA
Jan Janousek, Petr Gajdos, Michal Radecký, Václav Snásel
2015 J jnl
Comput. Sci. Inf. Syst.
Tomás Cerný, Miroslav Macik, Michael J. Donahoo, Jan Janousek
2015 conf
SLATE
Eliska Sestáková, Jan Janousek
2014 conf
DCFS
Jan Janousek, Borivoj Melichar, Radomír Polách, Martin Poliak, Jan Trávnícek
2014 conf
ECC (2)
Sebastián Basterrech, Jan Janousek, Václav Snásel
2014 conf
SOCO-CISIS-ICEUTE
Jan Janousek, Petr Gajdos, Michal Radecký, Václav Snásel
2014 B conf
SMC
Jan Janousek, Jan Platos, Václav Snásel
2014 C conf
FedCSIS
Tomás Cerný, Miroslav Macik, Michael J. Donahoo, Jan Janousek
2014 conf
SLATE
Jan Janousek, Jaroslav Málek
2013 J jnl
J. Discrete Algorithms
Michalis Christou, Tomás Flouri, Costas S. Iliopoulos, Jan Janousek, Borivoj Melichar, Solon P. Pissis, Jan Zdárek
2012 J jnl
Kybernetika
Borivoj Melichar, Jan Janousek, Tomás Flouri
2012 J jnl
Inf. Process. Lett.
Michalis Christou, Maxime Crochemore, Tomás Flouri, Costas S. Iliopoulos, Jan Janousek, Borivoj Melichar, Solon P. Pissis
2012 J jnl
Comput. Sci. Inf. Syst.
Jan Travnicek, Jan Janousek, Borivoj Melichar
2012 J jnl
Kybernetika
Jan Janousek, Borivoj Melichar, Martin Poliak
2012 J jnl
J. Discrete Algorithms
Tomás Flouri, Costas S. Iliopoulos, Jan Janousek, Borivoj Melichar, Solon P. Pissis
2011 C conf
SPIRE
Michalis Christou, Maxime Crochemore, Tomás Flouri, Costas S. Iliopoulos, Jan Janousek, Borivoj Melichar, Solon P. Pissis
2011 C conf
FedCSIS
Jan Travnicek, Jan Janousek, Borivoj Melichar
2011 C conf
FedCSIS
Martin Plicka, Jan Janousek, Borivoj Melichar
2011 C conf
FedCSIS
Tomás Flouri, Jan Janousek, Borivoj Melichar, Costas S. Iliopoulos, Solon P. Pissis
2011 C conf
CIAA
Tomás Flouri, Jan Janousek, Borivoj Melichar, Costas S. Iliopoulos, Solon P. Pissis
2010 Misc conf
SAC
Tomás Flouri, Borivoj Melichar, Jan Janousek
2010 J jnl
Comput. Sci. Inf. Syst.
Tomás Flouri, Jan Janousek, Borivoj Melichar
2009 J jnl
Acta Informatica
Jan Janousek, Borivoj Melichar
2009 Misc conf
PSC
Jan Janousek
2009 conf
IMCSIT
Tomás Flouri, Borivoj Melichar, Jan Janousek
2001 J jnl
Acta Informatica
John Aycock, R. Nigel Horspool, Jan Janousek, Borivoj Melichar
1997 conf
PLILP
Jan Janousek, Borivoj Melichar
1997 B conf
SOFSEM
Jan Janousek, Borivoj Melichar
redb/extractors/decompiler/apk/smali_parser.py
← Index redb/extractors/decompiler/apk/smali_parser.py python
"""Smali file parser — extracts individual method bodies from apktool output.

Parses .smali files produced by apktool and extracts per-method bodies,
instruction counts, and register counts.
"""

import os
import re
from dataclasses import dataclass, field
from typing import Dict, List, Optional


@dataclass
class SmaliMethod:
    """Parsed smali method data."""
    class_name: str
    method_name: str
    method_signature: str
    body: str
    instruction_count: int = 0
    register_count: int = 0
    access_flags: List[str] = field(default_factory=list)


# Directives start with '.' — these are metadata, not instructions
_DIRECTIVE_RE = re.compile(r"^\s*\.")
# Labels start with ':'
_LABEL_RE = re.compile(r"^\s*:")
# Blank or comment lines
_BLANK_OR_COMMENT_RE = re.compile(r"^\s*(#.*)?$")
# Method declaration
_METHOD_START_RE = re.compile(
    r"^\.method\s+(.*?)\s+(\S+)\(([^)]*)\)(\S+)\s*$"
)
_METHOD_START_SIMPLE_RE = re.compile(
    r"^\.method\s+(.*)"
)
# .registers or .locals directive
_REGISTERS_RE = re.compile(r"^\s*\.registers\s+(\d+)")
_LOCALS_RE = re.compile(r"^\s*\.locals\s+(\d+)")
# .line directive
_LINE_RE = re.compile(r"^\s*\.line\s+\d+")


class SmaliParser:
    """Parser for apktool smali output files."""

    @staticmethod
    def parse_smali_file(filepath: str) -> List[SmaliMethod]:
        """Parse a single .smali file and return list of methods.

        Each .smali file contains one class with all its methods.
        """
        with open(filepath, "r", encoding="utf-8", errors="replace") as f:
            content = f.read()

        return SmaliParser._parse_smali_content(content, filepath)

    @staticmethod
    def _parse_smali_content(content: str, source: str = "") -> List[SmaliMethod]:
        """Parse smali text content and extract methods."""
        lines = content.split("\n")
        methods = []

        # Extract class name from .class directive
        class_name = ""
        for line in lines:
            if line.startswith(".class "):
                parts = line.split()
                class_name = parts[-1]  # Last token is the class descriptor
                break

        in_method = False
        method_lines = []
        method_header = ""
        access_flags = []
        skip_method = False

        for line in lines:
            if line.startswith(".method "):
                in_method = True
                method_lines = []
                method_header = line
                skip_method = False

                # Parse access flags and method signature
                remainder = line[len(".method "):].strip()
                tokens = remainder.split()
                access_flags = []
                method_sig_token = tokens[-1] if tokens else ""

                for t in tokens[:-1]:
                    access_flags.append(t)

                # Skip abstract and native methods (no body)
                if "abstract" in access_flags or "native" in access_flags:
                    skip_method = True

            elif line.startswith(".end method"):
                if in_method and not skip_method:
                    body = "\n".join(method_lines)
                    method_name, signature = SmaliParser._parse_method_sig(
                        method_header
                    )
                    instruction_count = SmaliParser.count_instructions(body)
                    register_count = SmaliParser._extract_register_count(body)

                    methods.append(
                        SmaliMethod(
                            class_name=class_name,
                            method_name=method_name,
                            method_signature=signature,
                            body=body,
                            instruction_count=instruction_count,
                            register_count=register_count,
                            access_flags=access_flags,
                        )
                    )
                in_method = False
                method_lines = []
                access_flags = []

            elif in_method and not skip_method:
                method_lines.append(line)

        return methods

    @staticmethod
    def parse_smali_directory(dirpath: str) -> Dict[str, SmaliMethod]:
        """Parse all .smali files in a directory tree.

        Returns dict keyed by 'ClassName->methodName(signature)ReturnType'.
        """
        result = {}
        for root, _dirs, files in os.walk(dirpath):
            for fname in files:
                if fname.endswith(".smali"):
                    fpath = os.path.join(root, fname)
                    try:
                        methods = SmaliParser.parse_smali_file(fpath)
                        for m in methods:
                            key = SmaliParser.make_method_key(
                                m.class_name, m.method_name, m.method_signature
                            )
                            result[key] = m
                    except Exception:
                        continue
        return result

    @staticmethod
    def normalize_smali_body(body: str) -> str:
        """Normalize smali body for consistent hashing.

        Strips comments, .line directives, normalizes whitespace.
        """
        lines = []
        for line in body.split("\n"):
            stripped = line.strip()
            # Skip empty lines, comments, and .line directives
            if not stripped or stripped.startswith("#"):
                continue
            if _LINE_RE.match(stripped):
                continue
            lines.append(stripped)
        return "\n".join(lines)

    @staticmethod
    def count_instructions(body: str) -> int:
        """Count actual Dalvik instructions (skip directives, labels, blanks)."""
        count = 0
        for line in body.split("\n"):
            stripped = line.strip()
            if not stripped:
                continue
            if _DIRECTIVE_RE.match(stripped):
                continue
            if _LABEL_RE.match(stripped):
                continue
            if _BLANK_OR_COMMENT_RE.match(stripped):
                continue
            count += 1
        return count

    @staticmethod
    def _extract_register_count(body: str) -> int:
        """Extract register count from .registers or .locals directive.

        apktool outputs .locals (local registers only) by default.
        .registers (total = locals + params) is used with --use-registers.
        We return whichever is present.
        """
        for line in body.split("\n"):
            stripped = line.strip()
            m = _REGISTERS_RE.match(stripped)
            if m:
                return int(m.group(1))
            m = _LOCALS_RE.match(stripped)
            if m:
                return int(m.group(1))
        return 0

    @staticmethod
    def _parse_method_sig(header_line: str) -> tuple:
        """Parse method name and signature from .method header line.

        Input: '.method public onCreate(Landroid/os/Bundle;)V'
        Returns: ('onCreate', '(Landroid/os/Bundle;)V')
        """
        remainder = header_line[len(".method "):].strip()
        tokens = remainder.split()
        if not tokens:
            return ("unknown", "()")

        # Last token contains methodName(params)returnType
        method_part = tokens[-1]

        paren_idx = method_part.find("(")
        if paren_idx == -1:
            return (method_part, "()")

        method_name = method_part[:paren_idx]
        signature = method_part[paren_idx:]

        return (method_name, signature)

    @staticmethod
    def make_method_key(class_name: str, method_name: str, signature: str) -> str:
        """Build a canonical method key for cross-tool matching.

        Format: 'Lcom/example/Foo;->methodName(params)ReturnType'
        """
        return f"{class_name}->{method_name}{signature}"