Radu Siminiceanu

18 papers A* 1A 4B 3Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2012 B conf
IFM
Camilo Rocha, Héctor Cadavid, César A. Muñoz, Radu Siminiceanu
2011 J jnl
J. Log. Comput.
Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu
2010 conf
NASA Formal Methods
Pierre Roux, Radu Siminiceanu
2009 B conf
VMCAI
Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu
2008 conf
MoChArt
Radu Siminiceanu, Ricky W. Butler, César A. Muñoz
2007 J jnl
Int. J. Softw. Tools Technol. Transf.
Radu Siminiceanu, Gianfranco Ciardo
2006 conf
FMICS/PDMC
Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu
2006 J jnl
Perform. Evaluation
Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu
2006 A conf
TACAS
Radu Siminiceanu, Gianfranco Ciardo
2006 J jnl
Int. J. Softw. Tools Technol. Transf.
Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu
2004 conf
AVoCS
Radu Siminiceanu, Gianfranco Ciardo
2003 conf
Computer Performance Evaluation / TOOLS
Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu
2003 A conf
TACAS
Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu
2003 A* conf
CAV
Gianfranco Ciardo, Radu Siminiceanu
2002 A conf
DSN
Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu
2002 B conf
FMCAD
Gianfranco Ciardo, Radu Siminiceanu
2001 A conf
TACAS
Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu
2000 conf
ICATPN
Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu
redb/extractors/decompiler/apk/library_filter.py
← Index redb/extractors/decompiler/apk/library_filter.py python
"""Package-based library filtering for APK DEX code analysis.

Determines whether a method belongs to a known library/framework package
and should be filtered out of content tables. This is the Android equivalent
of is_lib_or_thunk() in the Binary Ninja pipeline.
"""

import os
from typing import Dict, List


DEFAULT_LIBRARY_PREFIXES = [
    "android.",
    "androidx.",
    "com.google.android.",
    "com.google.firebase.",
    "com.google.gson.",
    "com.google.protobuf.",
    "kotlin.",
    "kotlinx.",
    "org.apache.",
    "com.squareup.",
    "io.reactivex.",
    "org.reactivestreams.",
    "com.facebook.",
    "com.crashlytics.",
    "io.fabric.",
    "org.junit.",
    "org.mockito.",
]


class LibraryFilter:
    """Filters library/framework classes from APK analysis."""

    def __init__(self, prefixes: List[str] = None):
        env_prefixes = os.getenv("APK_LIBRARY_PREFIXES")
        if env_prefixes:
            self._prefixes = [p.strip() for p in env_prefixes.split(",") if p.strip()]
        elif prefixes is not None:
            self._prefixes = prefixes
        else:
            self._prefixes = DEFAULT_LIBRARY_PREFIXES

        # Convert Dalvik-style prefixes to both formats for matching
        self._dot_prefixes = tuple(self._prefixes)

        self._stats = {"library": 0, "user": 0}

    def is_library(self, class_name: str) -> bool:
        """Check if a class belongs to a known library/framework package.

        Accepts both Java dot notation (com.example.Foo) and Dalvik
        descriptor notation (Lcom/example/Foo;).
        """
        # Normalize Dalvik descriptor to dot notation
        normalized = self._normalize_class_name(class_name)

        is_lib = normalized.startswith(self._dot_prefixes)
        if is_lib:
            self._stats["library"] += 1
        else:
            self._stats["user"] += 1
        return is_lib

    def get_filter_stats(self) -> Dict[str, int]:
        """Return counts of filtered vs. retained classes."""
        return dict(self._stats)

    @staticmethod
    def _normalize_class_name(class_name: str) -> str:
        """Convert Dalvik descriptor to dot notation.

        Lcom/example/Foo; -> com.example.Foo
        com.example.Foo -> com.example.Foo
        """
        if class_name.startswith("L") and class_name.endswith(";"):
            return class_name[1:-1].replace("/", ".")
        return class_name.replace("/", ".")