Jan Dvorak

56 papers C 2Journal 11Unranked 42
YearRankTypeTitle / Venue / Authors
2025 conf
ICUMT
Joyce Ma, David Kubánek, Jan Jerabek, Jan Dvorak
2025 conf
ICUMT
Jan Dvorak, David Kubánek, Jan Jerabek, Pavel Seda
2025 conf
ICUMT
Jan Jerabek, David Kubánek, Roman Sotner, Jan Dvorak, Pavel Seda, Jaroslav Koton
2023 conf
ICUMT
Cole Christie, Ty Clements, Alison Humpal, David Kubánek, Jan Jerabek, Pavel Seda, Jan Dvorak, Peter Ushakov, Ilya Knyazev
2023 conf
ICUMT
Jan Dvorak, Jan Pospisil, Pavel Seda, Zdenek Martinasek, Lukas Malina, Vladimir Taborsky, Miroslav Srotyr, Igor Miklósik
2022 conf
TSP
Jan Pospisil, Jan Dvorak, Pavel Seda, Lukas Malina, Zdenek Martinasek
2021 conf
ICUMT
Jan Dvorak, David Kubánek, Jaroslav Koton
2021 J jnl
Sensors
Jaroslav Koton, David Kubánek, Jan Dvorak, Norbert Herencsar
2021 J jnl
IEEE Access
Ondrej Sladok, Jaroslav Koton, David Kubánek, Jan Dvorak, Costas Psychalinos
2021 J jnl
IEEE Access
Lukas Langhammer, Roman Sotner, Jan Dvorak, Jan Jerabek, Darius Andriukaitis
2021 conf
ICUMT
Jirí Pokorný, Pavel Seda, Jan Dvorak, Lukas Malina, Zdenek Martinasek
2020 conf
TSP
David Kubánek, Jaroslav Koton, Jan Dvorak, Norbert Herencsar, Roman Sotner
2020 conf
ICECS
Lukas Langhammer, Roman Sotner, Jan Dvorak, Ondrej Sladok, Jan Jerabek, Panagiotis Bertsias
2020 conf
TSP
Jan Dvorak, Jan Jerabek, Pavel Seda, Panagiotis Bertsias
2020
Jan Dvorak
2019 conf
ICUMT
Jan Dvorak, David Kubánek, Jaroslav Koton, Jan Jerabek, David Smekal
2019 conf
TSP
Norbert Herencsar, Aslihan Kartci, Hacer Atar Yildiz, Roman Sotner, Jan Dvorak, David Kubánek, Jan Jerabek, Jaroslav Koton
2019 conf
ACIIDS (Extended Posters)
Ondrej Vondra, Jan Dvorak, Ondrej Krejcar, Peter Brida
2019 J jnl
J. Circuits Syst. Comput.
Jan Jerabek, Jan Dvorak, Roman Sotner, Norbert Herencsar, Jaroslav Koton
2019 conf
ICUMT
David Kubánek, Jaroslav Koton, Jan Dvorak
2019 conf
MIXDES
Lukas Langhammer, Roman Sotner, Jan Dvorak, Tomás Dostál
2019 conf
ICECS
Lukas Langhammer, Roman Sotner, Jan Dvorak, Jan Jerabek, Peter A. Ushakov
2019 conf
TSP
David Kubánek, Todd J. Freeborn, Jaroslav Koton, Jan Dvorak
2019 conf
TSP
Aslihan Kartci, Norbert Herencsar, Jan Dvorak, Kamil Vrba
2018 conf
TSP
Jan Dvorak, Jan Jerabek, Lukas Langhammer, Stavroula Kapoulea, Costas Psychalinos
2018 conf
TSP
Jan Jerabek, Roman Sotner, Norbert Herencsar, Jan Dvorak, Kamil Vrba
2018 conf
TSP
Todd J. Freeborn, David Kubánek, Jaroslav Koton, Jan Dvorak
2018 C conf
ISCAS
Lukas Langhammer, Roman Sotner, Jan Dvorak, Jan Jerabek, Miroslav Zapletal
2018 conf
TSP
Lukas Langhammer, Roman Sotner, Jan Dvorak
2018 C conf
ISCAS
Jan Dvorak, Zuzana Polesakova, Jan Jerabek, Lukas Langhammer, Aslihan Kartci, Jaroslav Koton
2018 conf
ICUMT
Roman Sotner, Jan Jerabek, Ondrej Domansky, Norbert Herencsar, Aslihan Kartci, Jan Dvorak
2018 J jnl
J. Circuits Syst. Comput.
Jan Dvorak, Lukas Langhammer, Jan Jerabek, Jaroslav Koton, Roman Sotner, Josef Polak
2017 conf
TSP
Lukas Langhammer, Roman Sotner, Jan Dvorak, Ondrej Domansky, Jan Jerabek, Jiri Uher
2017 conf
MobiWIS
Ondrej Sukala, Petra Maresová, Jan Dvorak, Ali Selamat, Ondrej Krejcar
2017 conf
MobiWIS
Milan Kosták, Jan Dvorak, Ali Selamat, Ondrej Krejcar
2017 conf
ACIIDS (Extended Posters)
Veronika Nemeckova, Jan Dvorak, Ondrej Krejcar
2017 conf
IEA/AIE (1)
Veronika Nemeckova, Jan Dvorak, Ali Selamat, Ondrej Krejcar
2017 conf
ACIIDS (Extended Posters)
Jan Tobola, Jan Dvorak, Ondrej Krejcar
2017 conf
MobiWIS
Marketa Stastna, Jan Dvorak, Ali Selamat, Ondrej Krejcar
2017 J jnl
J. Circuits Syst. Comput.
Jan Jerabek, Roman Sotner, Jan Dvorak, Josef Polak, David Kubánek, Norbert Herencsar, Jaroslav Koton
2017 conf
MobiWIS
Pavel Zubr, Jan Dvorak, Ali Selamat, Ondrej Krejcar
2016 conf
TSP
Jan Dvorak, Lukas Langhammer, Jan Jerabek, Jaroslav Koton, Roman Sotner, Josef Polak
2016 conf
MobiWIS
Jan Novotný, Jan Dvorak, Ondrej Krejcar
2016 conf
TSP
Jan Jerabek, Roman Sotner, David Kubánek, Jan Dvorak, Lukas Langhammer, Norbert Herencsar, Kamil Vrba
2016 conf
MobiWIS
Jan Kozlovsky, Jan Dvorak, Ondrej Krejcar
2016 conf
MobiWIS
Petr Mervart, Jan Dvorak, Ondrej Krejcar
2016 conf
MobiWIS
Lukas Veselka, Jan Dvorak, Ondrej Krejcar
2016 conf
AVR (1)
Jan Novotný, Jan Dvorak, Ondrej Krejcar
2014 conf
CISIM
Jan Dvorak, Ondrej Berger, Ondrej Krejcar
2011 conf
IDAACS (1)
Jan Dvorak
2010 J jnl
Nucleic Acids Res.
Frank M. You, Humphrey Wanjugi, Naxin Huo, Gerard R. Lazo, Ming-Cheng Luo, Olin D. Anderson, Jan Dvorak, Yong Qiang Gu
2009 J jnl
BMC Bioinform.
Frank M. You, Naxin Huo, Yong Qiang Gu, Gerard R. Lazo, Jan Dvorak, Olin D. Anderson
2008 conf
BIOCOMP
Frank M. You, Ming-Cheng Luo, Yong Qiang Gu, Gerard R. Lazo, Jan Dvorak, Olin D. Anderson
2008 J jnl
BMC Bioinform.
Frank M. You, Naxin Huo, Yong Qiang Gu, Ming-Cheng Luo, Yaqin Ma, Dave Hane, Gerard R. Lazo, Jan Dvorak, Olin D. Anderson
2007 J jnl
Bioinform.
Frank M. You, Ming-Cheng Luo, Yong Qiang Gu, Gerard R. Lazo, Karin Deal, Jan Dvorak, Olin D. Anderson
1986 J jnl
Nucleic Acids Res.
Michael Lassner, Jan Dvorak
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}"