Walter R. Bischofberger

15 papers A* 1Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2006 J jnl
Softwaretechnik-Trends
Walter R. Bischofberger
2004 conf
EWSA
Walter R. Bischofberger, Jan Kühl, Silvio Löffler
1997 J jnl
Theory Pract. Object Syst.
Kai-Uwe Mätzel, Walter R. Bischofberger
1996 J jnl
Wirel. Networks
Silvano Maffeis, Walter R. Bischofberger, Kai-Uwe Mätzel
1996 conf
ISAW/Viewpoints@FSE
Walter R. Bischofberger, Michael Guttman, Dirk Riehle
1996 conf
COOTS
Kai-Uwe Mätzel, Walter R. Bischofberger
1996 A* conf
ICSE
Dirk Bäumer, Walter R. Bischofberger, Horst Lichter, Heinz Züllighoven
1995 conf
Symposium on Mobile and Location-Independent Computing
Silvano Maffeis, Walter R. Bischofberger, Kai-Uwe Mätzel
1994 J jnl
Softw. Concepts Tools
Walter R. Bischofberger, Thomas Kofler, Bruno Schäffer
1992 conf
OOPSLA Addendum
Andreas Birrer, Walter R. Bischofberger, Erich Gamma, Bruno Schäffer, André Weinand
1992 book
Walter R. Bischofberger, Gustav Pomberger
1992 conf
C++ Conference
Walter R. Bischofberger
1992 conf
OOPSLA Addendum
Walter R. Bischofberger
1991 J jnl
Struct. Program.
Gustav Pomberger, Walter R. Bischofberger, Dieter Kolb, Wolfgang Pree, Holger Schlemm
1989 J jnl
Struct. Program.
Walter R. Bischofberger, Rudolf K. Keller
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}"