Oliver Kullmann

72 papers A* 1A 16B 2C 1Journal 39Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Oliver Kullmann, Edward Clewer
2024 J jnl
Concurr. Comput. Pract. Exp.
Filippos Pantekis, Phillip James, Oliver Kullmann, Liam O'Reilly
2023 conf
TACAS (2)
Oliver Kullmann, Ankit Shukla
2022 conf
CANDAR
Filippos Pantekis, Phillip James, Oliver Kullmann
2021 ch.
Handbook of Satisfiability
Oliver Kullmann
2021 ch.
Handbook of Satisfiability
Hans Kleine Büning, Oliver Kullmann
2021 A conf
SAT
Oliver Kullmann, Oleg Zaikin
2020 J jnl
CoRR
Hoda Abbasizanjani, Oliver Kullmann
2019 B conf
FMCAD
Oliver Kullmann, Ankit Shukla
2019 J jnl
CoRR
Oliver Kullmann, Ankit Shukla
2019 A conf
SAT
Carlos Mencía, Oliver Kullmann, Alexey Ignatiev, João Marques-Silva
2018 ch.
Handbook of Parallel Constraint Reasoning
Marijn J. H. Heule, Oliver Kullmann, Armin Biere
2018 A conf
SAT
Hoda Abbasizanjani, Oliver Kullmann
2017 A* conf
IJCAI
Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek
2017 J jnl
Commun. ACM
Marijn J. H. Heule, Oliver Kullmann
2016 J jnl
CoRR
Oliver Kullmann
2016 A conf
SAT
Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek
2016 J jnl
CoRR
Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek
2016 J jnl
CoRR
Oliver Kullmann, Xishun Zhao
2015 A conf
SAT
Oliver Kullmann, João Marques-Silva
2015 J jnl
CoRR
Oliver Kullmann, João Marques-Silva
2015 J jnl
CoRR
Oliver Kullmann, Xishun Zhao
2014 J jnl
CoRR
Matthew Gwynne, Oliver Kullmann
2014 J jnl
CoRR
Oliver Kullmann, Xishun Zhao
2014 J jnl
J. Autom. Reason.
Matthew Gwynne, Oliver Kullmann
2014 C conf
LATA
Matthew Gwynne, Oliver Kullmann
2014 J jnl
Discret. Appl. Math.
Tanbir Ahmed, Oliver Kullmann, Hunter S. Snevily
2014 A conf
SAT
Olaf Beyersdorff, Oliver Kullmann
2013 B conf
SOFSEM
Matthew Gwynne, Oliver Kullmann
2013 J jnl
CoRR
Oliver Kullmann
2013 J jnl
Theor. Comput. Sci.
Oliver Kullmann, Xishun Zhao
2013 J jnl
CoRR
Matthew Gwynne, Oliver Kullmann
2013 J jnl
CoRR
Matthew Gwynne, Oliver Kullmann
2013 J jnl
CoRR
Matthew Gwynne, Oliver Kullmann
2012 J jnl
CoRR
Matthew Gwynne, Oliver Kullmann
2012 A conf
SAT
Oliver Kullmann, Xishun Zhao
2012 J jnl
CoRR
Oliver Kullmann, Xishun Zhao
2012 J jnl
Dagstuhl Reports
Nadia Creignou, Nicola Galesi, Oliver Kullmann, Heribert Vollmer
2011 J jnl
Fundam. Informaticae
Oliver Kullmann
2011 J jnl
Fundam. Informaticae
Oliver Kullmann
2011 J jnl
CoRR
Oliver Kullmann
2011 conf
Haifa Verification Conference
Marijn Heule, Oliver Kullmann, Siert Wieringa, Armin Biere
2011 A conf
SAT
Oliver Kullmann, Xishun Zhao
2011 J jnl
CoRR
Tanbir Ahmed, Oliver Kullmann, Hunter S. Snevily
2010 J jnl
CoRR
Oliver Kullmann
2010 A conf
SAT
Oliver Kullmann
2010 J jnl
CoRR
Oliver Kullmann, Xishun Zhao
2010 A conf
SAT
Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce
2009 ch.
Handbook of Satisfiability
Oliver Kullmann
2009 ch.
Handbook of Satisfiability
Hans Kleine Büning, Oliver Kullmann
2009 A ed.
SAT
Oliver Kullmann
2008 conf
Complexity of Constraints
Oliver Kullmann
2007 J jnl
Electron. Colloquium Comput. Complex.
Oliver Kullmann
2007 A conf
SAT
Oliver Kullmann
2006 A conf
SAT
Oliver Kullmann, Inês Lynce, João Marques-Silva
2006 conf
Complexity of Constraints
Oliver Kullmann
2006 J jnl
J. Satisf. Boolean Model. Comput.
Oliver Kullmann
2004 A conf
SAT
Nicola Galesi, Oliver Kullmann
2004 conf
SAT (Selected Papers
Nicola Galesi, Oliver Kullmann
2004 J jnl
Ann. Math. Artif. Intell.
Oliver Kullmann
2003 J jnl
Discret. Appl. Math.
Oliver Kullmann
2003 A conf
SAT
Oliver Kullmann
2002 J jnl
Theor. Comput. Sci.
Herbert Fleischner, Oliver Kullmann, Stefan Szeider
2001 J jnl
Electron. Notes Discret. Math.
Oliver Kullmann
2000 A conf
CCC
Oliver Kullmann
2000 J jnl
Electron. Colloquium Comput. Complex.
Oliver Kullmann
2000 conf
AI&M
Oliver Kullmann
2000 J jnl
Discret. Appl. Math.
Oliver Kullmann
1999 J jnl
Electron. Colloquium Comput. Complex.
Oliver Kullmann
1999 J jnl
Theor. Comput. Sci.
Oliver Kullmann
1999 J jnl
Discret. Appl. Math.
Oliver Kullmann
1997
Oliver Kullmann
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}"