Rachid Malti

32 papers C 2Misc 1Journal 21Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Annu. Rev. Control.
Abderrahmane Adel, Rachid Malti, Olivier Briat
2024 J jnl
Annu. Rev. Control.
Rachid Malti, Milan R. Rapaic, Vukan Turkulov
2023 J jnl
Autom.
Vukan Turkulov, Milan R. Rapaic, Rachid Malti
2022 J jnl
Commun. Nonlinear Sci. Numer. Simul.
Rachid Malti, Abir Mayoufi, Stéphane Victor
2022 J jnl
Acta Cybern.
Andreas Rauh, Rachid Malti
2022 J jnl
Autom.
Stéphane Victor, Abir Mayoufi, Rachid Malti, Manel Chetoui, Mohamed Aoun
2021 J jnl
CoRR
Vukan Turkulov, Milan R. Rapaic, Rachid Malti
2020 conf
SSD
Abir Mayoufi, Manel Chetoui, Stéphane Victor, Mohamed Aoun, Rachid Malti
2020 J jnl
Commun. Nonlinear Sci. Numer. Simul.
Ghazi Bel Haj Frej, Rachid Malti, Mohamed Aoun, Tarek Raïssi
2018 J jnl
Commun. Nonlinear Sci. Numer. Simul.
Sergey Abrashov, Rachid Malti, Xavier Moreau, Mathieu Moze, François Aioun, Franck Guillemard
2017 J jnl
IEEE Trans. Autom. Control.
Sergey Abrashov, Rachid Malti, Mathieu Moze, Xavier Moreau, François Aioun, Franck Guillemard
2016 conf
ECC
Sergey Abrashov, Mathieu Moze, Xavier Moreau, Rachid Malti, François Aioun, Franck Guillemard
2015 J jnl
Commun. Nonlinear Sci. Numer. Simul.
Jovan K. Popovic, Dragan T. Spasic, Jela Tosic, Jovanka L. Kolarovic, Rachid Malti, Igor M. Mitic, Stevan Pilipovic, Teodor M. Atanackovic
2015 J jnl
Commun. Nonlinear Sci. Numer. Simul.
Rachid Malti, Mathieu Chevrié, Christophe Farges, Jocelyn Sabatier
2015 conf
ECC
Sergey Abrashov, Mathieu Moze, Xavier Moreau, Rachid Malti, Franck Guillemard
2015 C conf
ACC
Mathieu Chevrie, Jocelyn Sabatier, Christophe Farges, Rachid Malti
2014 conf
MESA
Elena Ivanova, Rachid Malti, Xavier Moreau
2013 J jnl
Autom.
Rachid Malti
2013 conf
SSD
Manel Chetoui, Rachid Malti, Magalie Thomassin, Slaheddine Najar, Mohamed Aoun, Mohamed Naceur Abdelkrim, Alain Oustaloup
2013 conf
ECC
Stéphane Victor, Rachid Malti
2013 J jnl
Comput. Math. Appl.
Manel Chetoui, Magalie Thomassin, Rachid Malti, Mohamed Aoun, Slaheddine Najar, Mohamed Naceur Abdelkrim, Alain Oustaloup
2013 J jnl
Autom.
Stéphane Victor, Rachid Malti, Hugues Garnier, Alain Oustaloup
2012 J jnl
Signal Image Video Process.
Rachid Malti, Pierre Melchior, Patrick Lanusse, Alain Oustaloup
2012 J jnl
Signal Process.
Firas Khemane, Rachid Malti, Tarek Raïssi, Xavier Moreau
2011 J jnl
Autom.
Rachid Malti, Mohamed Aoun, François Levron, Alain Oustaloup
2011 J jnl
Autom.
Rachid Malti, Xavier Moreau, Firas Khemane, Alain Oustaloup
2010 C conf
ACC
Firas Khemane, Rachid Malti, Xavier Moreau, Tarek Raïssi, Magalie Thomassin
2007 conf
ICINCO-SPSMC
Lamine Thiaw, Kurosh Madani, Rachid Malti, Gustave Sow
2007 J jnl
Autom.
Mohamed Aoun, Rachid Malti, François Levron, Alain Oustaloup
2005 Misc conf
IWANN
Kurosh Madani, Lamine Thiaw, Rachid Malti, Gustave Sow
2004 J jnl
Int. J. Comput.
Lamine Thiaw, Mariusz Rybnik, Rachid Malti, Abdennasser Chebira, Kurosh Madani
1999 conf
ECC
Rachid Malti, Didier Maquin, José Ragot
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}"