Carlota Salinas

15 papers B 1C 1Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2025 conf
ITSC
Angie Nataly Melo, Carlota Salinas, Miguel Ángel Sotelo
2024 C conf
IV
Angie Nataly Melo, Luis Felipe Herrera-Quintero, Carlota Salinas, Miguel Ángel Sotelo
2023 J jnl
CoRR
Angie Nataly Melo, Carlota Salinas, Miguel Ángel Sotelo
2021 J jnl
CoRR
Noelia Hernández, Ignacio Parra, Héctor Corrales Sánchez, Rubén Izquierdo, Augusto Luis Ballardini, Carlota Salinas, Iván García
2021 J jnl
Expert Syst. Appl.
Noelia Hernández, Ignacio Parra, Héctor Corrales Sánchez, Rubén Izquierdo, Augusto Luis Ballardini, Carlota Salinas, Iván García
2018 B conf
Intelligent Vehicles Symposium
Rubén Izquierdo, Ignacio Parra, Carlota Salinas, David Fernández Llorca, Miguel Ángel Sotelo
2016 conf
ITSC
David Fernández Llorca, Carlota Salinas, Mario Jimenez, Ignacio Parra, A. G. Morcillo, Rubén Izquierdo, Javier Lorenzo, Miguel Ángel Sotelo
2015 J jnl
Sensors
Carlota Salinas, Roemi Fernández, Héctor Montes, Manuel A. Armada
2015 J jnl
Sensors
Roemi Fernández, Héctor Montes, Carlota Salinas
2014 J jnl
Sensors
Roemi Fernández, Carlota Salinas, Héctor Montes, Javier Sarria
2013 conf
ROBOT (2)
Héctor Montes, Carlota Salinas, Javier Sarria, Jesús Reviejo, Manuel A. Armada
2013 J jnl
Sensors
Roemi Fernández, Héctor Montes, Carlota Salinas, Javier Sarria, Manuel A. Armada
2013 conf
ROBOT (1)
Roemi Fernández, Carlota Salinas, Héctor Montes, Javier Sarria, Manuel A. Armada
2012 J jnl
Robotica
Carlota Salinas, Héctor Montes, Gerardo Fernandez, Pablo González de Santos, Manuel A. Armada
2012 J jnl
Ind. Robot
Roemi Fernández, Héctor Montes, Carlota Salinas, Pablo González de Santos, Manuel A. Armada
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("/", ".")