J. Steve Davis

12 papers Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2000 J jnl
Comput. Oper. Res.
David Pokrass Jacobs, John C. Peck, J. Steve Davis
1997 J jnl
J. Syst. Softw.
J. Steve Davis, John J. Kanet
1996 J jnl
Int. J. Hum. Comput. Stud.
J. Steve Davis
1995 J jnl
Int. J. Hum. Comput. Stud.
J. Steve Davis
1995 J jnl
IEEE Softw.
Corey A. Leonhard, J. Steve Davis
1994 J jnl
J. Syst. Softw.
J. Steve Davis, John J. Kanet
1992 conf
ACM Southeast Regional Conference
Sarat Vemuri, Shankar Sengupta, J. Steve Davis
1992 J jnl
Inf. Manag.
Godwin J. Udo, J. Steve Davis
1990 J jnl
Int. J. Man Mach. Stud.
J. Steve Davis
1990 J jnl
Int. J. Man Mach. Stud.
J. Steve Davis
1989 J jnl
Int. J. Man Mach. Stud.
J. Steve Davis
1987 conf
SIGBDP-SIGCPR
J. Steve Davis, Charles W. McNichols
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())