Mandayam K. Srivas

49 papers A* 6A 1B 5C 2Misc 1Journal 13Unranked 21
YearRankTypeTitle / Venue / Authors
2023 B conf
ATVA
Akshatha Shenoy, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas
2022 conf
NFM
Diganta Mukhopadhyay, Kumar Madhukar, Mandayam K. Srivas
2021 J jnl
Acta Informatica
Arnab Bhattacharyya, Ashutosh Gupta, Lakshmanan Kuppusamy, Somya Mani, Ankit Shukla, Mandayam K. Srivas, Mukund Thattai
2021 J jnl
CoRR
Diganta Mukhopadhyay, Kumar Madhukar, Mandayam K. Srivas
2018 conf
TACAS (2)
Viktor Malík, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Tomás Vojnar, Johanan Wahlang
2017 B conf
ATVA
Kumar Madhukar, Peter Schrammel, Mandayam K. Srivas
2017 B conf
ATVA
Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar
2015 B conf
FMCAD
Kumar Madhukar, Björn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas
2015 conf
ISVLSI
Rajdeep Mukherjee, Daniel Kroening, Tom Melham, Mandayam K. Srivas
2015 A conf
DATE
Kumar Madhukar, Mandayam K. Srivas, Björn Wachter, Daniel Kroening, Ravindra Metta
2014 J jnl
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Pallab Dasgupta, Mandayam K. Srivas, Rajdeep Mukherjee
2003 J jnl
IEEE Des. Test Comput.
Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
2003 J jnl
Formal Methods Syst. Des.
Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
2000 A* conf
CAV
Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
1999 conf
CHARME
Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
1999 J jnl
Formal Methods Syst. Des.
Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
1998 A* conf
CAV
Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalakrishnan
1997 conf
Formal Hardware Verification
Mandayam K. Srivas, Harald Rueß, David Cyrluk
1997 Misc conf
VLSI Design
Sreeranga P. Rajan, Natarajan Shankar, Mandayam K. Srivas
1997 C conf
ICFEM
David Cyrluk, John M. Rushby, Mandayam K. Srivas
1996 J jnl
Formal Methods Syst. Des.
Mandayam K. Srivas, Steven P. Miller
1996 B ed.
FMCAD
Mandayam K. Srivas, Albert John Camilleri
1996 A* conf
CAV
Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
1996 A* conf
CAV
Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas
1995 A* conf
CAV
S. Rajan, Natarajan Shankar, Mandayam K. Srivas
1995 conf
WIFT
David Hamilton, Richard Covington, John Kelly, Carron Kirkwood, Muffy Thomas, Alan R. Flora-Holmquist, Mark G. Staskauskas, Steven P. Miller, Mandayam K. Srivas, George Cleland, Donald MacKenzie
1995 conf
WIFT
Steven P. Miller, Mandayam K. Srivas
1995 C conf
ICCD
David Cyrluk, Mandayam K. Srivas
1994 conf
TPCD
Sam Owre, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas
1994 conf
TPCD
David Cyrluk, S. Rajan, Natarajan Shankar, Mandayam K. Srivas
1993 conf
HUG
John M. Rushby, Mandayam K. Srivas
1992 conf
TPCD
Mark Bickford, Mandayam K. Srivas
1991 conf
Compcon
Mandayam K. Srivas
1990 conf
CAV (DIMACS/AMS volume)
Mark Bickford, Mandayam K. Srivas
1990 J jnl
IEEE Softw.
Mandayam K. Srivas, Mark Bickford
1990 J jnl
J. Log. Program.
Chilukuri K. Mohan, Mandayam K. Srivas, Deepak Kapur
1989 conf
RTA
Chilukuri K. Mohan, Mandayam K. Srivas
1989 conf
Hardware Specification, Verification and Synthesis
Mark Bickford, Mandayam K. Srivas
1988 J jnl
Sci. Comput. Program.
Deepak Kapur, Mandayam K. Srivas
1988 J jnl
Inf. Process. Lett.
Ganesh Gopalakrishnan, Mandayam K. Srivas
1987 J jnl
Theor. Comput. Sci.
Jieh Hsiang, Mandayam K. Srivas
1987 conf
CTRS
Chilukuri K. Mohan, Mandayam K. Srivas
1987 conf
FSTTCS
Chilukuri K. Mohan, Mandayam K. Srivas, Deepak Kapur
1986 conf
FJCC
Nai-Chi Lee, David R. Smith, Mandayam K. Srivas
1986 J jnl
Inf. Control.
Chilukuri K. Mohan, Mandayam K. Srivas
1985 conf
TAPSOFT, Vol.2
Jieh Hsiang, Mandayam K. Srivas
1985 conf
TAPSOFT, Vol.1
Deepak Kapur, Mandayam K. Srivas
1985 conf
FSTTCS
Jieh Hsiang, Mandayam K. Srivas
1980 A* conf
POPL
Deepak Kapur, Mandayam K. Srivas
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)