Karen Meagher

34 papers C 1Misc 1Journal 32
YearRankTypeTitle / Venue / Authors
2024 J jnl
Discret. Appl. Math.
Karen Gunderson, Karen Meagher, Joy Morris, Venkata Raghu Tej Pantangi
2024 J jnl
Eur. J. Comb.
Karen Meagher, Andriaherimanana Sarobidy Razafimahatratra
2024 J jnl
Discret. Appl. Math.
Shaun M. Fallat, Neha Joshi, Roghayeh Maleki, Karen Meagher, Seyed Ahmad Mojallal, Shahla Nasserasr, Mahsa N. Shirazi, Andriaherimanana Sarobidy Razafimahatratra, Brett Stevens
2023 J jnl
Ars Math. Contemp.
Karen Meagher, Mahsa N. Shirazi, Brett Stevens
2022 J jnl
Discret. Math.
Joseph S. Alameda, Franklin Kenter, Karen Meagher, Michael Young
2022 J jnl
Graphs Comb.
Allen Herman, Neha Joshi, Karen Meagher
2022 J jnl
Art Discret. Appl. Math.
Karen Meagher, Andriaherimanana Sarobidy Razafimahatratra
2021 J jnl
J. Comb. Theory A
Karen Meagher, Peter Sin
2021 J jnl
J. Comb. Theory A
Karen Meagher, Andriaherimanana Sarobidy Razafimahatratra, Pablo Spiga
2021 J jnl
Electron. J. Comb.
Karen Meagher, Andriaherimanana Sarobidy Razafimahatratra
2019 J jnl
Des. Codes Cryptogr.
Karen Meagher
2019 J jnl
Des. Codes Cryptogr.
Ferdinand Ihringer, Karen Meagher
2019 J jnl
Discret. Appl. Math.
Susanna Fishel, Glenn Hurlbert, Vikram Kamat, Karen Meagher
2018 J jnl
Graphs Comb.
Aras Erzurumluoglu, Karen Meagher, David A. Pike
2018 J jnl
Theor. Comput. Sci.
Shaun M. Fallat, Karen Meagher, Abolghasem Soltani, Boting Yang
2018 J jnl
Discret. Appl. Math.
Ryan Bergen, Shaun M. Fallat, Adam Gorr, Ferdinand Ihringer, Karen Meagher, Alison Purdy, Boting Yang, Guanglong Yu
2018 J jnl
Des. Codes Cryptogr.
Ferdinand Ihringer, Karen Meagher
2017 J jnl
Ars Math. Contemp.
Chris D. Godsil, Karen Meagher
2016 J jnl
Eur. J. Comb.
Karen Meagher, Pablo Spiga, Pham Huu Tiep
2016 J jnl
Eur. J. Comb.
Karen Meagher, Alison Purdy
2016 Misc conf
FAW
Shaun M. Fallat, Karen Meagher, Abolghasem Soltani, Boting Yang
2015 J jnl
Australas. J Comb.
Peter Borg, Karen Meagher
2015 J jnl
Australas. J Comb.
Bahman Ahmadi, Karen Meagher
2014 J jnl
Discret. Math.
Bahman Ahmadi, Karen Meagher
2014 J jnl
SIAM J. Discret. Math.
Karen Meagher, Pablo Spiga
2014 C conf
COCOA
Shaun M. Fallat, Karen Meagher, Boting Yang
2013 J jnl
Eur. J. Comb.
Robert F. Bailey, José Cáceres, Delia Garijo, Antonio González Herrera, Alberto Márquez, Karen Meagher, María Luz Puertas
2011 J jnl
J. Comb. Theory A
Karen Meagher, Pablo Spiga
2011 J jnl
Electron. J. Comb.
Karen Meagher, Alison Purdy
2011 J jnl
Discret. Math. Theor. Comput. Sci.
Robert F. Bailey, Karen Meagher
2009 J jnl
Eur. J. Comb.
Chris D. Godsil, Karen Meagher
2005 J jnl
Electron. J. Comb.
Karen Meagher, Lucia Moura, Brett Stevens
2005 J jnl
J. Comb. Theory B
Karen Meagher, Brett Stevens
2005 J jnl
Electron. J. Comb.
Karen Meagher, Lucia Moura
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}"