Jan Anthonis

13 papers C 3Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2019 C conf
IPIN
Andreas De Preter, Glenn Goysens, Jan Anthonis, Jan Swevers, Goele Pipeleers
2018 conf
AMC
Laurens Jacobs, Maarten Verbandt, Andreas De Preter, Jan Anthonis, Jan Swevers, Goele Pipeleers
2016 C conf
CCA
Catalin-Stefan Teodorescu, Steve Vandenplas, Bruno Depraetere, Jan Anthonis, Armin Steinhauser, Jan Swevers
2014 J jnl
IEEE Trans. Ind. Electron.
Fabio L. M. dos Santos, Jan Anthonis, Francesco Naclerio, Johan J. C. Gyselinck, Herman Van der Auweraer, Luiz Carlos Sandoval Góes
2013 J jnl
Eng. Comput.
Herman Van der Auweraer, Jan Anthonis, Stijn De Bruyne, Jan Leuridan
2012 conf
ICPRAM (2)
J. Reumers, Floris De Smedt, Jan Anthonis, Herman Ramon, Toon Goedemé
2012 conf
CDC
Stijn De Bruyne, Herman Van der Auweraer, Jan Anthonis, Wim Desmet, Jan Swevers
2011 conf
EUROMICRO-SEAA
Tim Hermans, Pieter Ramaekers, Joachim Denil, Paul De Meulenaere, Jan Anthonis
2007 J jnl
IEEE Trans. Control. Syst. Technol.
Jan Anthonis, Alexandre Seuret, Jean-Pierre Richard, Herman Ramon
2006 J jnl
Eur. J. Control
Jan Anthonis
2006 C conf
ACC
Tom Coen, Johan Paduart, Jan Anthonis, Johan Schoukens, Josse De Baerdemaeker
2004 J jnl
Math. Comput. Simul.
R. Delen, Luc Clijmans, Jan Anthonis, Herman Ramon
2003 J jnl
Autom.
Jan Anthonis, Herman Ramon
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}"