Vincenzo Cartelli

16 papers C 5Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2023 J jnl
CoRR
Alessia Spitalleri, Isaak Kavasidis, Vincenzo Cartelli, Raffaele Mineo, Francesco Rundo, Simone Palazzo, Concetto Spampinato, Daniela Giordano
2023 C conf
ICT4AWE
Vincenzo Cartelli, Leonardo Longo, Orazio Tomarchio, Natalia Trapani
2019 C conf
CLOSER
Domenico Calcaterra, Vincenzo Cartelli, Giuseppe Di Modica, Orazio Tomarchio
2019 J jnl
J. Univers. Comput. Sci.
Koldo Zabaleta, Unai Lopez-Novoa, Ivan Pretel, Diego López-de-Ipiña, Vincenzo Cartelli, Giuseppe Di Modica, Orazio Tomarchio
2018 conf
DG.O
Vincenzo Cartelli, Giuseppe Di Modica, Orazio Tomarchio, Diego López-de-Ipiña, Koldo Zabaleta, Enrique Sanz
2018 C conf
CLOSER
Domenico Calcaterra, Vincenzo Cartelli, Giuseppe Di Modica, Orazio Tomarchio
2018 conf
UCAmI
Koldo Zabaleta, Diego López-de-Ipiña, Enrique Sanz, Ane Irizar-Arrieta, Vincenzo Cartelli, Giuseppe Di Modica, Orazio Tomarchio
2018 conf
FiCloud
Giuseppe Di Modica, Orazio Tomarchio, Domenico Calcaterra, Vincenzo Cartelli
2017 conf
CLOSER (Selected Papers)
Domenico Calcaterra, Vincenzo Cartelli, Giuseppe Di Modica, Orazio Tomarchio
2017 conf
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Ivan Pretel, Unai Lopez-Novoa, Enrique Sanz-Yague, Diego López-de-Ipiña, Vincenzo Cartelli, Giuseppe Di Modica, Orazio Tomarchio
2017 C conf
CLOSER
Domenico Calcaterra, Vincenzo Cartelli, Giuseppe Di Modica, Orazio Tomarchio
2016 conf
EOMAS@CAiSE
Vincenzo Cartelli, Giuseppe Di Modica, Orazio Tomarchio
2015 conf
KMIS
Vincenzo Cartelli, Giuseppe Di Modica, Orazio Tomarchio
2015 C conf
IC3K
Vincenzo Cartelli, Giuseppe Di Modica, Orazio Tomarchio
2014 conf
EMS
Vincenzo Cartelli, Giuseppe Di Modica, Daniele Manni, Orazio Tomarchio
2014 conf
ICE-B
Vincenzo Cartelli, Giuseppe Di Modica, Orazio Tomarchio
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("/", ".")