Rani Hod

24 papers A* 2B 1Journal 18Unranked 2
YearRankTypeTitle / Venue / Authors
2022 J jnl
Comb.
Rani Hod, Michael Krivelevich, Tobias Müller, Alon Naor, Nicholas C. Wormald
2022 J jnl
Discret. Math.
Arye Deutsch, Ohad Noy Feldheim, Rani Hod
2021 J jnl
CoRR
Arye Deutsch, Ohad Noy Feldheim, Rani Hod
2020 J jnl
ACM Trans. Algorithms
Achiya Bar-On, Itai Dinur, Orr Dunkelman, Rani Hod, Nathan Keller, Eyal Ronen, Adi Shamir
2018 A* conf
ICALP
Achiya Bar-On, Itai Dinur, Orr Dunkelman, Rani Hod, Nathan Keller, Eyal Ronen, Adi Shamir
2017 J jnl
CoRR
Rani Hod
2017 J jnl
CoRR
Achiya Bar-On, Itai Dinur, Orr Dunkelman, Rani Hod, Nathan Keller, Eyal Ronen, Adi Shamir
2016 J jnl
Comb. Probab. Comput.
Noga Alon, Rani Hod, Amit Weinstein
2016 A* conf
ICALP
Meena Boppana, Rani Hod, Michael Mitzenmacher, Tom Morgan
2016 J jnl
CoRR
Meena Boppana, Rani Hod, Michael Mitzenmacher, Tom Morgan
2014 J jnl
Comb. Probab. Comput.
Rani Hod, Alon Naor
2013 J jnl
Discret. Appl. Math.
Ohad N. Feldheim, Rani Hod
2013
Rani Hod
2013 J jnl
CoRR
Rani Hod, Alon Naor
2013 J jnl
CoRR
Noga Alon, Rani Hod, Amit Weinstein
2012 J jnl
Electron. J. Comb.
Rani Hod, Marcin Krzywkowski
2012 B conf
ITiCSE
Benny Chor, Rani Hod
2012 J jnl
Comput. Complex.
Ido Ben-Eliezer, Rani Hod, Shachar Lovett
2010 J jnl
CoRR
Ohad N. Feldheim, Rani Hod
2010 J jnl
CoRR
Rani Hod, Marcin Krzywkowski
2009 J jnl
IEEE Trans. Inf. Theory
Noga Alon, Rani Hod
2009 conf
APPROX-RANDOM
Ido Ben-Eliezer, Rani Hod, Shachar Lovett
2008 conf
ICALP (1)
Noga Alon, Rani Hod
2008 J jnl
Electron. Colloquium Comput. Complex.
Ido Ben-Eliezer, Rani Hod, Shachar Lovett
tests/unit/test_decompile_strings.py
← Index tests/unit/test_decompile_strings.py python
"""Unit tests for bninja/analysis/strings.py — StringAnalysis."""
import pytest
import math
from unittest.mock import MagicMock


# StringAnalysis has no binaryninja imports, just collections and math
from redb.extractors.decompiler.bninja.analysis.strings import StringAnalysis


# ============================================================================
# Helper mocks
# ============================================================================

class MockStringEntry:
    """Mock for a Binary Ninja string reference."""
    def __init__(self, value, raw=None, start=0, length=0, type_name="Utf8String"):
        self.value = value
        self.raw = raw if raw is not None else (value.encode("utf-8") if isinstance(value, str) else value)
        self.start = start
        self.length = length if length else len(self.raw)
        self.type = MagicMock()
        self.type.name = type_name


class MockBinaryView:
    """Mock binary view with a strings list."""
    def __init__(self, strings=None):
        self.strings = strings or []


# ============================================================================
# 6a. StringAnalysis
# ============================================================================


class TestStringAnalysisEntropy:
    def setup_method(self):
        self.sa = StringAnalysis(bv=MockBinaryView(), functions=[])

    def test_entropy_empty_string(self):
        assert self.sa.entropy("") == 0.0

    def test_entropy_single_char(self):
        assert self.sa.entropy("aaaa") == 0.0

    def test_entropy_uniform_distribution(self):
        # "abcd" -> 4 unique chars, each p=1/4, entropy = log2(4) = 2.0
        result = self.sa.entropy("abcd")
        assert result == pytest.approx(2.0)

    def test_entropy_binary_string(self):
        # "ab" -> 2 unique chars, each p=1/2, entropy = log2(2) = 1.0
        result = self.sa.entropy("ab")
        assert result == pytest.approx(1.0)


class TestStringAnalysisAnalyze:
    def test_analyze_deduplication(self):
        """Duplicate (string, encoding) pairs -> only first kept."""
        entries = [
            MockStringEntry("hello", start=100, type_name="Utf8String"),
            MockStringEntry("hello", start=200, type_name="Utf8String"),
        ]
        bv = MockBinaryView(strings=entries)
        sa = StringAnalysis(bv=bv, functions=[])
        result = sa.analyze()
        assert len(result) == 1
        assert result[0]["string_offset"] == 100

    def test_analyze_sorted_by_address(self):
        """First occurrence (lowest offset) is the one kept."""
        entries = [
            MockStringEntry("world", start=500, type_name="Utf8String"),
            MockStringEntry("world", start=100, type_name="Utf8String"),
        ]
        bv = MockBinaryView(strings=entries)
        sa = StringAnalysis(bv=bv, functions=[])
        result = sa.analyze()
        assert len(result) == 1
        # The analyze() sorts by start, so 100 comes first
        assert result[0]["string_offset"] == 100

    def test_analyze_empty_bv(self):
        bv = MockBinaryView(strings=[])
        sa = StringAnalysis(bv=bv, functions=[])
        result = sa.analyze()
        assert result == []

    def test_analyze_output_schema(self):
        entries = [MockStringEntry("test_string", start=0, type_name="Utf8String")]
        bv = MockBinaryView(strings=entries)
        sa = StringAnalysis(bv=bv, functions=[])
        result = sa.analyze()
        assert len(result) == 1
        r = result[0]
        required_keys = [
            "string",
            "string_raw",
            "string_encoding",
            "string_offset",
            "string_length",
            "string_raw_length",
            "string_entropy",
        ]
        for key in required_keys:
            assert key in r, f"Missing key: {key}"