Jacques Renaud

49 papers Misc 1Journal 47Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Oper. Res. Forum
Rabie Jaballah, Leandro C. Coelho, Jacques Renaud
2024 J jnl
Comput. Oper. Res.
Guilherme Oliveira Chagas, Luiz Antonio Nogueira Lorena, Rafael Duarte Coelho dos Santos, Jacques Renaud, Leandro C. Coelho
2024 J jnl
INFOR Inf. Syst. Oper. Res.
Allyson Silva, Leandro C. Coelho, Maryam Darvish, Jacques Renaud
2023 J jnl
Int. J. Prod. Res.
Hamza Heni, S. Arona Diop, Jacques Renaud, Leandro C. Coelho
2023 J jnl
Eur. J. Oper. Res.
Guilherme Oliveira Chagas, Leandro C. Coelho, Maryam Darvish, Jacques Renaud
2023 J jnl
INFOR Inf. Syst. Oper. Res.
Rabie Jaballah, Rodrigo Ramalho, Jacques Renaud, Leandro C. Coelho
2023 J jnl
Comput. Oper. Res.
Eliseu Junio Araújo, Maryam Darvish, Jacques Renaud
2022 J jnl
Eur. J. Oper. Res.
Allyson Silva, Leandro C. Coelho, Maryam Darvish, Jacques Renaud
2022 conf
SUMO
Khaled Belhassine, Jacques Renaud, Leandro C. Coelho, Vincent Turgeon
2021 J jnl
J. Oper. Res. Soc.
Ana María Anaya-Arenas, Caroline Prodhon, Jacques Renaud, Angel B. Ruiz
2021 J jnl
INFOR Inf. Syst. Oper. Res.
Rabie Jaballah, Marjolein Veenstra, Leandro C. Coelho, Jacques Renaud
2019 J jnl
Rev. Int. Géomatique
Khaled Belhassine, Jacques Renaud, Leandro C. Coelho, Jean Philippe Gagliardi
2019 J jnl
Comput. Oper. Res.
Hamza Heni, Leandro C. Coelho, Jacques Renaud
2018 J jnl
OR Spectr.
Rahma Lahyani, Leandro C. Coelho, Jacques Renaud
2018 J jnl
J. Oper. Res. Soc.
Thomas Chabot, Leandro C. Coelho, Jacques Renaud, Jean-François Côté
2018 J jnl
J. Oper. Res. Soc.
Kátia Y. Nakamura, Leandro C. Coelho, Jacques Renaud, Mariá C. V. Nascimento
2018 J jnl
Eur. J. Oper. Res.
Reza Atefi, Majid Salari, Leandro C. Coelho, Jacques Renaud
2017 J jnl
Int. J. Prod. Res.
Thomas Chabot, Rahma Lahyani, Leandro C. Coelho, Jacques Renaud
2016 J jnl
Eur. J. Oper. Res.
Zahra Naji-Azimi, Majid Salari, Jacques Renaud, Angel B. Ruiz
2016 J jnl
INFOR Inf. Syst. Oper. Res.
Leandro C. Coelho, Jacques Renaud, Gilbert Laporte
2016 J jnl
J. Oper. Res. Soc.
Leandro C. Coelho, Jean Philippe Gagliardi, Jacques Renaud, Angel B. Ruiz
2014 J jnl
J. Intell. Manuf.
Jean Philippe Gagliardi, Jacques Renaud, Angel B. Ruiz
2014 J jnl
Comput. Oper. Res.
Rachida Abounacer, Monia Rekik, Jacques Renaud
2014 J jnl
INFOR Inf. Syst. Oper. Res.
Olivier Pignac-Robitaille, Sébastien Simard, Angel B. Ruiz, Jacques Renaud
2014 J jnl
Ann. Oper. Res.
Ana María Anaya-Arenas, Jacques Renaud, Angel B. Ruiz
2012 J jnl
Eur. J. Oper. Res.
Zahra Naji-Azimi, Jacques Renaud, Angel B. Ruiz, Majid Salari
2012 J jnl
Eur. J. Oper. Res.
Fabien Cornillier, Fayez F. Boctor, Jacques Renaud
2011 J jnl
J. Oper. Res. Soc.
N. Anken, Jean Philippe Gagliardi, Jacques Renaud, Angel B. Ruiz
2010 J jnl
Eur. J. Oper. Res.
Marie-Claude Bolduc, Gilbert Laporte, Jacques Renaud, Fayez F. Boctor
2009 J jnl
Comput. Oper. Res.
Fayez F. Boctor, Jacques Renaud, Angel B. Ruiz, Simon Tremblay
2009 J jnl
Comput. Oper. Res.
Fabien Cornillier, Gilbert Laporte, Fayez F. Boctor, Jacques Renaud
2008 J jnl
Eur. J. Oper. Res.
Fabien Cornillier, Fayez F. Boctor, Gilbert Laporte, Jacques Renaud
2008 J jnl
J. Oper. Res. Soc.
Marie-Claude Bolduc, Jacques Renaud, Fayez F. Boctor, Gilbert Laporte
2008 J jnl
J. Oper. Res. Soc.
Fabien Cornillier, Fayez F. Boctor, Gilbert Laporte, Jacques Renaud
2008 J jnl
J. Oper. Res. Soc.
Jacques Renaud, Angel B. Ruiz
2007 J jnl
Eur. J. Oper. Res.
Marie-Claude Bolduc, Jacques Renaud, Fayez F. Boctor
2007 Misc conf
WSC
Jean Philippe Gagliardi, Jacques Renaud, Angel B. Ruiz
2007 J jnl
Comput. Oper. Res.
Marc-André Carle, Jacques Renaud, Angel B. Ruiz
2006 J jnl
J. Oper. Res. Soc.
J. Privé, Jacques Renaud, Fayez F. Boctor, Gilbert Laporte
2006 J jnl
Central Eur. J. Oper. Res.
Marie-Claude Bolduc, Jacques Renaud, Benoît Montreuil
2004 J jnl
J. Oper. Res. Soc.
Jacques Renaud, Fayez F. Boctor, Gilbert Laporte
2003 J jnl
Comput. Oper. Res.
Fayez F. Boctor, Gilbert Laporte, Jacques Renaud
2002 J jnl
Eur. J. Oper. Res.
Jacques Renaud, Fayez F. Boctor
2002 J jnl
Comput. Oper. Res.
Jacques Renaud, Fayez F. Boctor, Gilbert Laporte
2000 J jnl
Comput. Oper. Res.
Jacques Renaud, Fayez F. Boctor, Jamal Ouenniche
2000 J jnl
Comput. Oper. Res.
Fayez F. Boctor, Jacques Renaud
1998 J jnl
Eur. J. Oper. Res.
Jacques Renaud, Fayez F. Boctor
1996 J jnl
INFORMS J. Comput.
Jacques Renaud, Fayez F. Boctor, Gilbert Laporte
1996 J jnl
Comput. Oper. Res.
Jacques Renaud, Gilbert Laporte, Fayez F. Boctor
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)