Manuel Carro

124 papers A* 1A 10B 11C 22Misc 2Journal 37Unranked 31
YearRankTypeTitle / Venue / Authors
2026 B ed.
ICLP
Martin Gebser, Daniela Inclezan, Francesco Ricca, Manuel Carro, Miroslaw Truszczynski
2023 ch.
Prolog: The Next 50 Years
Gopal Gupta, Elmer Salazar, Farhad Shakerin, Joaquín Arias, Sarat Chandra Varanasi, Kinjal Basu, Huaduo Wang, Fang Li, Serdar Erbatur, Parth Padalkar, Abhiramon Rajasekharan, Yankai Zeng, Manuel Carro
2023 ch.
Prolog: The Next 50 Years
Manuel V. Hermenegildo, José F. Morales, Pedro López-García, Manuel Carro
2022 conf
ICLP Workshops
Guillermo García-Pradales, José F. Morales, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro
2022 J jnl
CoRR
Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta
2022 J jnl
Theory Pract. Log. Program.
Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta
2022 J jnl
Theory Pract. Log. Program.
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2022 C conf
PADL
Joaquín Arias, Manuel Carro, Gopal Gupta
2021 conf
ICLP Workshops
Joaquín Arias, Gopal Gupta, Manuel Carro
2021 J jnl
CoRR
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2021 J jnl
CoRR
Joaquín Arias, Manuel Carro, Gopal Gupta
2020 J jnl
CoRR
Joaquín Arias, Manuel Carro
2020 conf
ICLP Technical Communications
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2019 conf
Datalog
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2019 J jnl
Theory Pract. Log. Program.
Joaquín Arias, Manuel Carro
2019 J jnl
CoRR
Joaquín Arias, Manuel Carro
2019 J jnl
Theory Pract. Log. Program.
Joaquín Arias, Manuel Carro
2019 C conf
PADL
Joaquín Arias, Manuel Carro
2019 C conf
LOPSTR
Joaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta
2018 J jnl
CoRR
Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
2018 J jnl
Theory Pract. Log. Program.
Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
2018 J jnl
CoRR
Joaquín Arias, Manuel Carro
2017 C conf
Software Engineering
Andreas Metzger, Philipp Leitner, Dragan Ivanovic, Eric Schmieders, Rod Franklin, Manuel Carro, Schahram Dustdar, Klaus Pohl
2016 J jnl
Theory Pract. Log. Program.
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2016 C conf
PPDP
Joaquín Arias, Manuel Carro
2016 J jnl
Theory Pract. Log. Program.
Manuel Carro, Andy King
2016 J jnl
CoRR
Manuel Carro, Andy King
2016 J jnl
CoRR
Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro
2016 A conf
DATE
Jan Kuper, Lutz Schubert, Kilian Kempf, Colin W. Glass, Daniel Rubio Bonilla, Manuel Carro
2016 ed.
ICLP (Technical Communications)
Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos
2016 J jnl
CoRR
Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño
2016 conf
PROLE
Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño
2016 conf
PROLE
Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro
2016 J jnl
CoRR
Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro
2015 C conf
PADL
Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño
2015 J jnl
IEEE Trans. Syst. Man Cybern. Syst.
Andreas Metzger, Philipp Leitner, Dragan Ivanovic, Eric Schmieders, Rod Franklin, Manuel Carro, Schahram Dustdar, Klaus Pohl
2015 conf
ICLP (Technical Communications)
Joaquín Arias, Manuel Carro
2014 J jnl
CoRR
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2014 A conf
ICSOC
Dragan Ivanovic, Manuel Carro, Peerachai Kaowichakorn
2014 A conf
ICSOC
Dragan Ivanovic, Manuel Carro
2013 J jnl
ACM Trans. Comput. Educ.
Manuel Carro, Ángel Herranz-Nieva, Julio Mariño
2013 J jnl
Computing
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2013 J jnl
ACM Comput. Surv.
Kyriakos Kritikos, Barbara Pernici, Pierluigi Plebani, Cinzia Cappiello, Marco Comuzzi, Salima Benbernou, Ivona Brandic, Attila Kertész, Michael Parkin, Manuel Carro
2013 C conf
PADL
Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro
2013 C conf
PADL
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2013 conf
PESOS@ICSE
Dragan Ivanovic, Peerachai Kaowichakorn, Manuel Carro
2012 A conf
ICSOC
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2012 Misc conf
FLOPS
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey
2012 C conf
PADL
Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2012 J jnl
Theory Pract. Log. Program.
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla
2012 conf
S-Cube@ICSE
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2012 B conf
COMPSAC
George Baryannis, Manuel Carro, Dimitris Plexousakis
2012 conf
PESOS@ICSE
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2012 J jnl
CoRR
José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo
2012 J jnl
Theory Pract. Log. Program.
José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo
2012 conf
S-Cube@ICSE
Dimka Karastoyanova, Dragan Ivanovic, Zsolt Németh, Manuel Carro, Claudia Di Napoli, Maurizio Giordano, Cesare Pautasso
2011 conf
RuleML Europe
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla
2011 J jnl
CoRR
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla
2011 conf
IEEE SCC
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2011 A conf
ICSOC
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2011 ch.
Encyclopedia of Parallel Computing
Manuel Carro, Manuel V. Hermenegildo
2011 J jnl
CoRR
Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2011 J jnl
Theory Pract. Log. Program.
Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2011 ed.
PESOS@ICSE
Manuel Carro, Dimka Karastoyanova, Grace A. Lewis, Anna Liu
2011 ed.
DAMP
Manuel Carro, John H. Reppy
2011 A* conf
ICSE
Manuel Carro, Dimka Karastoyanova, Grace A. Lewis, Anna Liu
2010 A conf
ICSOC
Mohamed Anis Zemni, Salima Benbernou, Manuel Carro
2010 ch.
S-CUBE Book
Andreas Metzger, Salima Benbernou, Manuel Carro, Maha Driss, Gabor Kecskemeti, Raman Kazhamiakin, Kyriakos Kritikos, Andrea Mocci, Elisabetta Di Nitto, Branimir Wetzstein, Fabrizio Silvestri
2010 A conf
ICSOC
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2010 A conf
ER
Dragan Ivanovic, Martin Treiber, Manuel Carro, Schahram Dustdar
2010 ch.
Encyclopedia of Software Engineering
Manuel Carro
2010 ch.
S-CUBE Book
Salima Benbernou, Ivona Brandic, Cinzia Cappiello, Manuel Carro, Marco Comuzzi, Attila Kertész, Kyriakos Kritikos, Michael Parkin, Barbara Pernici, Pierluigi Plebani
2010 C ed.
PADL
Manuel Carro, Ricardo Peña
2010 J jnl
CoRR
Pablo Chico de Guzmán, Manuel Carro, David Scott Warren
2010 J jnl
Theory Pract. Log. Program.
Pablo Chico de Guzmán, Manuel Carro, David Scott Warren
2010 A conf
ICWS
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2009 J jnl
CoRR
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2009 B conf
ICLP
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2009 conf
ICSOC/ServiceWave Workshops
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2009 C conf
FMICS
Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro
2009 C conf
PADL
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2008 conf
PROLE
Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo
2008 B conf
ICLP
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2008 B conf
ICLP
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2008 C conf
PADL
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha
2008 conf
Concurrency, Graphs and Models
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla
2008 C conf
PADL
Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund
2008 C conf
PPDP
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2008 A conf
ICSOC
Michele Mancioppi, Manuel Carro, Willem-Jan van den Heuvel, Mike P. Papazoglou
2008 C conf
PADL
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2008 C conf
PPDP
Edison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo
2007 C conf
LOPSTR
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2007 J jnl
CoRR
Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz-Nieva, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro
2007 C conf
PADL
Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
2007 J jnl
CoRR
Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
2007 conf
PASCO
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2006 Misc conf
CASES
Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo
2006 C conf
LOPSTR
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2006 B conf
ICLP
Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
2005 B conf
ICLP
José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo
2004 C conf
PADL
Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo
2004 J jnl
CoRR
Manuel Carro
2004 C conf
PADL
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2004 conf
TFM
Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
2003 B conf
ICLP
Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo
2000 conf
Analysis and Visualization Tools for Constraint Programming
Manuel Carro, Manuel V. Hermenegildo
2000 conf
Analysis and Visualization Tools for Constraint Programming
Manuel Carro, Manuel V. Hermenegildo
1999 B conf
ICLP
Manuel Carro, Manuel V. Hermenegildo
1999 ed.
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP
Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk
1999 conf
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP
Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk
1998 conf
APPIA-GULP-PRODE
Manuel Carro, Manuel V. Hermenegildo
1996 conf
Euro-Par, Vol. II
M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo
1996 J jnl
Comput. Lang.
Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo
1996 J jnl
Comput. Lang.
Manuel V. Hermenegildo, Manuel Carro
1996 conf
APPIA-GULP-PRODE
Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla
1995 conf
Euro-Par
Manuel V. Hermenegildo, Manuel Carro
1995 B conf
ICLP
Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro
1994 conf
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs
Manuel V. Hermenegildo, Manuel Carro
1994 conf
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs
M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo
1994 conf
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs
Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro
1994 conf
ILPS
Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro
1994 conf
Workshop on Design and Impl. of Parallel Logic Programming Systems
Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro
1993 B conf
ICLP
Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo
1992 conf
IJCSLP Workshop on Concurrent and Parallel Implementations
Luis Manuel Gómez Henríquez, Manuel Carro, Manuel V. Hermenegildo
redb/extractors/js_extractors/js_suspicious_apis.py
← Index redb/extractors/js_extractors/js_suspicious_apis.py python
import inspect
from datetime import datetime, timezone
from typing import Any

from redb.extractors.enum import Tag
from redb.extractors.js_extractor import JSExtractor
from redb.extractors.js_extractors.js_patterns import CATEGORIES, PATTERNS


# Backwards-compatible export: `{category: [(raw_pattern_string, api_name), ...]}`
# in canonical PATTERNS insertion order (code_execution, network, filesystem,
# process, registry, crypto_encoding, dom_manipulation). Kept so external
# callers (notably JSDeobfuscationExtractor pre-cleanup) keep working until
# they are migrated to PATTERNS directly.
SUSPICIOUS_APIS: "dict[str, list[tuple[str, str]]]" = {}
for _name, _compiled in PATTERNS.items():
    SUSPICIOUS_APIS.setdefault(CATEGORIES[_name], []).append((_compiled.pattern, _name))


class JSSuspiciousAPIsExtractor(JSExtractor):

    def __init__(
        self, filepath, log, exporters=None, index_prefix=None,
        known_benign=False, known_malicious=False, source=None, context=None,
    ):
        super().__init__(
            filepath, log, exporters, index_prefix,
            known_benign, known_malicious, source, context=context,
        )
        self.api_findings = None
        self.log.debug(inspect.currentframe().f_code.co_name)

    def tag(self):
        return Tag.JS_SUSPICIOUS_APIS.value

    def _get_context_snippet(self, line, max_len=200):
        """Get a truncated context snippet around a match."""
        line = line.strip()
        if len(line) > max_len:
            return line[:max_len] + "..."
        return line

    def extract(self):
        src = self.js_source
        if not src:
            return None

        # Pass 1: shared per-sample scan over the raw source. The dict contains
        # entries for both PATTERNS and FEATURE_PATTERNS; the loop below only
        # consults PATTERNS keys, so feature-only entries are ignored.
        raw_scan = self._context.scan or {}
        raw_lines = self.lines

        # Pass 2: same patterns over the deobfuscated text, when the
        # deobfuscator produced something meaningfully different. APIs hidden
        # behind one obfuscation layer (Vjw0rm-style array.join + eval,
        # Dean-Edwards packers, jjencode, ...) only surface here. The scan is
        # cached on JSContext so JSDeobfuscationExtractor (which computes the
        # new_apis_found diff) reuses the same result.
        deobf_scan = self._context.scan_deobfuscated
        if deobf_scan:
            deobf_text, _ = self._context.deobfuscated
            deobf_lines = deobf_text.splitlines()
        else:
            deobf_lines = []

        findings = []
        # Iterate PATTERNS in canonical order so output is deterministic and
        # matches the historical category/pattern ordering. For each api_name,
        # raw findings take precedence; if an API is found only in the
        # deobfuscated text, we surface it as a row tagged revealed_by_deobf=1
        # with line numbers / snippets pulled from the deobfuscated source.
        for api_name in PATTERNS:
            raw_info = raw_scan.get(api_name)
            if raw_info:
                line_numbers = raw_info["lines"]
                lines_for_snippets = raw_lines
                revealed_by_deobf = 0
            else:
                deobf_info = deobf_scan.get(api_name)
                if not deobf_info:
                    continue
                line_numbers = deobf_info["lines"]
                lines_for_snippets = deobf_lines
                revealed_by_deobf = 1

            snippets = [
                self._get_context_snippet(lines_for_snippets[ln - 1])
                for ln in line_numbers[:3]
                if 0 < ln <= len(lines_for_snippets)
            ]
            findings.append({
                "api_name": api_name,
                "api_category": CATEGORIES[api_name],
                # Historical semantics: count = number of unique lines with a
                # match, not total in-source match count.
                "call_count": len(line_numbers),
                "line_numbers": line_numbers,
                "context_snippet": " | ".join(snippets),
                "revealed_by_deobf": revealed_by_deobf,
            })

        if not findings:
            return None

        self.api_findings = findings
        return findings

    def prepare_export_data(self, exporter_type: str) -> Any:
        if exporter_type == "ClickHouseExporter":
            if not self.api_findings:
                return None

            current_time = datetime.now(timezone.utc)
            data = []
            for f in self.api_findings:
                data.append([
                    self.sha256,
                    f['api_name'],
                    f['api_category'],
                    f['call_count'],
                    f['line_numbers'],
                    f['context_snippet'],
                    f['revealed_by_deobf'],
                    current_time,
                ])

            column_names = [
                "sha256", "api_name", "api_category",
                "call_count", "line_numbers", "context_snippet",
                "revealed_by_deobf",
                "analysis_date",
            ]

            column_type_names = [
                "FixedString(64)", "String", "LowCardinality(String)",
                "UInt32", "Array(UInt32)", "String",
                "UInt8",
                "DateTime64(3, 'UTC')",
            ]

            return (data, column_names, column_type_names)

    def get_clickhouse_table(self) -> str:
        return "redb_js_suspicious_apis"