Carlos Mario Zapata Jaramillo

49 papers B 1C 6Journal 29Unranked 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
Rev. Iberoam. de Tecnol. del Aprendiz.
Grissa Vianney Maturana González, Claudia Elena Durango Vanegas, Carlos Mario Zapata Jaramillo, Carla Maria Zapata-Rueda
2025 J jnl
J. Syst. Softw.
Paola Andrea Noreña Cardona, Elizabeth Suescún, Carlos Mario Zapata Jaramillo, Bogdan Scaunasu, Geoffrey Elliott, Hans-Arno Jacobsen, David Mosquera
2024 J jnl
Rev. Iberoam. de Tecnol. del Aprendiz.
Grissa Vianney Maturana González, Claudia Elena Durango Vanegas, Carlos Mario Zapata Jaramillo, Carla Maria Zapata-Rueda
2024 C conf
CLEI
María Clara Gómez-Álvarez, Carlos Mario Zapata Jaramillo, Hernán Astudillo-Rojas
2023 J jnl
Big Data Cogn. Comput.
Jesus Insuasti, Felipe Roa, Carlos Mario Zapata Jaramillo
2023 C conf
CLEI
Pablo Cruz, Hernán Astudillo, Carlos Mario Zapata Jaramillo
2023 J jnl
Autom. Softw. Eng.
Johnathan Mauricio Calle-Gallego, Carlos Mario Zapata Jaramillo
2022 J jnl
Bus. Process. Manag. J.
Antonio Vera, Carlos Mario Zapata Jaramillo
2021 J jnl
Computación y Sistemas
Juan Carlos Blandón Andrade, Carlos Mario Zapata Jaramillo
2020 conf
CSEE&T
Carlos Mario Zapata Jaramillo, Grissa Vianney Maturana González, Johnathan Mauricio Calle-Gallego
2018 C conf
EATIS
Bell Manrique-Losada, Martín Solari, Carlos Mario Zapata Jaramillo
2018 J jnl
Res. Comput. Sci.
Claudia Elena Durango Vanegas, Paola Andrea Noreña Cardona, Carlos Mario Zapata Jaramillo
2018 B conf
SEAA
Diana Maria Torres Ricaurte, Monica K. Villavicencio Cabezas, Carlos Mario Zapata Jaramillo
2018 J jnl
Res. Comput. Sci.
Paola Andrea Noreña Cardona, Carlos Mario Zapata Jaramillo
2016 J jnl
Polibits
Carlos Mario Zapata Jaramillo, Luis Fernando Castro Rojas
2016 C conf
NLDB
Bell Manrique-Losada, Carlos Mario Zapata Jaramillo, Diego A. Burgos
2015 conf
EVENTS@HLP-NAACL
Bell Manrique-Losada, Carlos Mario Zapata Jaramillo
2014 J jnl
Polibits
Carlos Mario Zapata Jaramillo, Rafael Esteban Arango Sanchez, Leidy Diana Jiménez Pinzón
2013
Carlos Mario Zapata Jaramillo
2013 conf
MWE@NAACL-HLT
Bell Manrique-Losada, Carlos Mario Zapata Jaramillo, Diego A. Burgos
2013 C conf
SEKE
Bell Manrique-Losada, Carlos Mario Zapata Jaramillo
2012 C conf
CLEI
Carlos Mario Zapata Jaramillo, Bell Manrique-Losada, Guillermo González Calderón
2012 J jnl
Rev. Avances en Sistemas Informática
Carlos Mario Zapata Jaramillo, Francisco Mauricio Toro, María Isabel Marín
2011 J jnl
Rev. Avances en Sistemas Informática
Carlos Mario Zapata Jaramillo, Christian de Jesús Cardona Velásquez
2011 conf
CIbSE
Carlos Mario Zapata Jaramillo, Oscar Pastor López, Giancarlo Guizzardi, Renata S. S. Guizzardi
2011 J jnl
Rev. Avances en Sistemas Informática
Carlos Mario Zapata Jaramillo, Gloria Lucía Giraldo G., Santiago Londoño V.
2010 conf
NAACL (Young Investigators Workshop)
Carlos Mario Zapata Jaramillo
2009 J jnl
Rev. Avances en Sistemas Informática
Carlos Mario Zapata Jaramillo, Gloria Lucía Giraldo G.
2008 J jnl
Rev. Avances en Sistemas Informática
Carlos Mario Zapata Jaramillo, Fernán Alonso Villa
2008 J jnl
Rev. Avances en Sistemas Informática
Carlos Mario Zapata Jaramillo, Roberto Rosero
2008 conf
JIISIC
Carlos Mario Zapata Jaramillo, Alexander F. Gelbukh, Fernando Arango Isaza
2008 J jnl
Rev. Avances en Sistemas Informática
Gloria Lucía Giraldo G., Carlos Mario Zapata Jaramillo, Francisco Javier Arias, Lorena Cadavid, Andrés Felipe Hoyos Palacio
2008 conf
JIISIC
Carlos Mario Zapata Jaramillo
2007 conf
MICAI
Carlos Mario Zapata Jaramillo, Guillermo González Calderón, Alexander F. Gelbukh
2007 J jnl
Rev. Avances en Sistemas Informática
Carlos Mario Zapata Jaramillo, Juan C. Hernández
2007 conf
JIISIC
Carlos Mario Zapata Jaramillo, Fernando Arango Isaza
2007 J jnl
CLEI Electron. J.
Carlos Mario Zapata Jaramillo, Gabriel Awad-Aubad
2007 J jnl
Rev. Avances en Sistemas Informática
Carlos Mario Zapata Jaramillo, Alexander F. Gelbukh, Fernando Arango Isaza
2007 J jnl
Rev. Avances en Sistemas Informática
Aldrin Fredy Jaramillo, Carlos Mario Zapata Jaramillo, Fernando Arango Isaza
2007 conf
JIISIC
Carlos Mario Zapata Jaramillo
2006 conf
CIbSE
Carlos Mario Zapata Jaramillo, Aldrin Fredy Jaramillo, Fernando Arango Isaza
2006 conf
MICAI
Carlos Mario Zapata Jaramillo, Alexander F. Gelbukh, Fernando Arango Isaza
2006 J jnl
Res. Comput. Sci.
Alexander F. Gelbukh, Carlos Mario Zapata Jaramillo, Fernando Arango Isaza
2005 J jnl
Rev. Avances en Sistemas Informática
Juan David Velásquez Henao, Carlos Mario Zapata Jaramillo
2005 J jnl
Rev. Avances en Sistemas Informática
Javier Navarro, Ricardo Orozco, Aldrin Fredy Jaramillo, Carlos Mario Zapata Jaramillo
2005 J jnl
Rev. Avances en Sistemas Informática
Carlos Mario Zapata Jaramillo, Aldrin Fredy Jaramillo, Fernando Arango Isaza
2005 J jnl
Rev. Avances en Sistemas Informática
Marta S. Tabares, Carlos Mario Zapata Jaramillo, Fernando Arango Isaza
2004 J jnl
Rev. Avances en Sistemas Informática
Carlos Mario Zapata Jaramillo, Fernando Arango Isaza
2004 J jnl
Rev. Avances en Sistemas Informática
Carlos Mario Zapata Jaramillo, Cristian Valencia, Frank Muñoz, Jorge Contreras
redb/extractors/decompiler/bninja/similarity/minhasher.py
← Index redb/extractors/decompiler/bninja/similarity/minhasher.py python
import logging
import random
from enum import Enum

from ..analysis.medium_level_normalization import MediumLevelNormalization

try:
    from .minhashcustom import MinHashCustom
    from ..analysis.low_level_normalization import LowLevelNormalization
except ImportError:
    # Fallback to absolute imports (for multiprocessing spawned processes)
    from redb.extractors.decompiler.bninja.similarity.minhashcustom import MinHashCustom
    from redb.extractors.decompiler.bninja.analysis.low_level_normalization import LowLevelNormalization

## Values for this configuration were extracted from https://github.com/danielplohmann/mcrit/blob/main/mcrit/config/MinHashConfig.py#L10
# Length in number of Shingles of which a minhash consists
# this value represents the length of sha256sum hash truncated
MINHASH_SIGNATURE_LENGTH: int = 64
# Number of bits per signature element (1-32 bits)
MINHASH_SIGNATURE_BITS: int = 8


class TokenKind(Enum):
    LLIL = "llil"
    TYPED_LLIL = "typed_llil"
    MLIL = "mlil"
    TYPED_MLIL = "typed_mlil"


class MinHasher:
    # stick to the default method
    MINHASH_STRATEGY_HASH_ALL = 1

    def __init__(self, seed, il_function, kind: TokenKind = TokenKind.LLIL):
        self._minhash_seeds = []
        self.il_func = il_function
        self.kind = kind
        self._minhash_permutation = []
        self._signature_segments = []
        self._initMinhashing(seed)

    def _initMinhashing(self, MINHASH_SEED=None):
        random.seed(MINHASH_SEED)
        # init sequence of seeds
        self._minhash_seeds = [
            random.randint(0, MinHashCustom.getHashMax()) for _ in range(MINHASH_SIGNATURE_LENGTH)
        ]

    def make_ngrams(self, tokens, n=3):
        """Take the ngrams of the IL we try to pass into the functions"""
        return [tuple(tokens[i:i+n]) for i in range(len(tokens) - n + 1)]

    def _extract_tokens(self):
        """Extract the IL tokens from the IL function, picking the right
        normalizer (LLIL/MLIL) and the right normalization mode
        (skeleton/typed) based on self.kind."""
        if self.kind in (TokenKind.LLIL, TokenKind.TYPED_LLIL):
            normalizer = LowLevelNormalization()
        elif self.kind in (TokenKind.MLIL, TokenKind.TYPED_MLIL):
            normalizer = MediumLevelNormalization()
        else:
            raise ValueError(f"Unsupported token kind: {self.kind}")

        # typed variants include operand type info, skeleton variants don't
        if self.kind in (TokenKind.TYPED_LLIL, TokenKind.TYPED_MLIL):
            normalize = normalizer.normalize_instr_with_operands
        else:
            normalize = normalizer.normalize_instruction_all_levels

        instructions = []
        for basic_block in self.il_func.basic_blocks:
            for il in basic_block:
                instructions.append(normalize(il))

        return instructions

    def calculateMinHash(self):
        """Calculate hash function every time, then take minimum shingle per shingler"""
        minhash_result = MinHashCustom(minhash_bits=MINHASH_SIGNATURE_BITS)
        minhash_signature = []

        tokens = self._extract_tokens()
        shingles = self.make_ngrams(tokens, n=3)

        # Functions with fewer than 3 IL instructions can't produce n-grams
        # Return empty minhash for such small functions (thunks, stubs, etc.)
        # Triggered by 39d8ad95b0323c37bd3134ab93ac4af44c66a1a8443a41c1ac02cec19bb2816a
        if not shingles:
            return []

        # Generate the MinHash
        for seed in self._minhash_seeds:
            hashed_shingles = [
                self.shingle_hash(shingle, seed) for shingle in shingles
            ]
            min_value = min(hashed_shingles)

            if MINHASH_SIGNATURE_BITS < 32:
                min_value %= (2 ** MINHASH_SIGNATURE_BITS)

            minhash_signature.append(min_value)

        minhash_result.setMinHash(minhash_signature)
        return minhash_result.getMinHashInt()

    def shingle_hash(self, shingle, hash_seed=0):
        """Produce a single 32bit UINT hash for a given shingle"""
        return MinHashCustom.hashData(shingle, hash_seed)