Madeline Polmear

11 papers C 8Journal 2Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Sci. Eng. Ethics
Roland Tormey, Alberto Bellocchi, Pia Bøgelund, Johanna Lönngren, Homero Murzi, Madeline Polmear
2021 C conf
FIE
Madeline Polmear, Angela R. Bielefeldt, Daniel W. Knight
2021 conf
AHFE (8)
Madeline Polmear, Denise R. Simmons, Elizabeth Volpe, Danielle Weisenfeld
2020 J jnl
Sci. Eng. Ethics
Madeline Polmear, Angela R. Bielefeldt, Daniel W. Knight, Christopher Swan, Nathan E. Canney
2020 C conf
FIE
Denise R. Simmons, Madeline Polmear, Susan M. Lord
2020 C conf
FIE
Madeline Polmear, Denise R. Simmons, Nicholas A. Clegorne
2019 C conf
ISTAS
Angela R. Bielefeldt, Madeline Polmear, Daniel W. Knight, Christopher Swan, Nathan E. Canney
2018 C conf
FIE
Angela R. Bielefeldt, Madeline Polmear, Daniel W. Knight, Christopher Swan, Nathan E. Canney
2018 C conf
FIE
Daniel W. Knight, Angela R. Bielefeldt, Christopher Swan, Nathan E. Canney, Madeline Polmear
2017 C conf
FIE
Angela R. Bielefeldt, Madeline Polmear, Christopher Swan, Daniel W. Knight, Nathan E. Canney
2015 C conf
FIE
Ashley Collier, Daniel W. Knight, Katya Hafich, Michael Hannigan, Madeline Polmear, Ben Graves
redb/extractors/decompiler/bninja/analysis/strings.py
← Index redb/extractors/decompiler/bninja/analysis/strings.py python
from collections import Counter
import math

class StringAnalysis:
    def __init__(self, bv, functions):
        self.bv = bv
        self.functions = functions

    def entropy(self, s: str) -> float:
        """Compute Shannon entropy of a string."""
        if not s:
            return 0.0
        freq = Counter(s)
        length = len(s)
        return -sum((count / length) * math.log2(count / length) for count in freq.values())

    def analyze(self):
        """
        Extract unique strings from the binary.

        Deduplicates by (string, encoding) within the same binary, keeping the
        first occurrence (lowest offset). Cross-binary deduplication and
        aggregation is handled by ClickHouse materialized views.
        """
        strings = {}

        # Sort strings by their starting address
        sorted_entries = sorted(self.bv.strings, key=lambda e: e.start)

        for entry in sorted_entries:
            # Key is the string and its encoding
            key = (entry.value, entry.type.name)

            # Skip if this string (value + encoding) was already added.
            # Because entries are sorted by address, the first one is always kept.
            if key in strings:
                continue

            # Store only the first occurrence with schema-matching field names
            # entry.length is the raw byte length, len(entry.value) is decoded string length
            string_entry = {
                "string": entry.value,
                "string_raw": entry.raw,
                "string_encoding": entry.type.name,
                "string_offset": entry.start,
                "string_length": len(entry.value),
                "string_raw_length": entry.length,
                "string_entropy": self.entropy(entry.value),
            }

            strings[key] = string_entry

        # Return as list for export compatibility
        return list(strings.values())