Victor Agostinelli

13 papers A* 2Misc 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
CoRR
Matthew Raffel, Victor Agostinelli, Lizhong Chen
2025 J jnl
CoRR
Raymond Baartmans, Andrew Ensinger, Victor Agostinelli, Lizhong Chen
2025 Misc conf
FCCM
Victor Agostinelli, Nicolas Bohm Agostini, Antonino Tumeo
2024 A* conf
ICML
Victor Agostinelli, Sanghyun Hong, Lizhong Chen
2024 J jnl
CoRR
Victor Agostinelli, Sanghyun Hong, Lizhong Chen
2024 conf
ACL (1)
Victor Agostinelli, Max Wild, Matthew Raffel, Kazi Ahmed Asif Fuad, Lizhong Chen
2024 A* conf
EMNLP
Matthew Raffel, Victor Agostinelli, Lizhong Chen
2024 J jnl
CoRR
Matthew Raffel, Victor Agostinelli, Lizhong Chen
2024 J jnl
CoRR
Andrew Ensinger, Gabriel Kulp, Victor Agostinelli, Dennis Lyakhov, Lizhong Chen
2023 conf
ECML/PKDD (4)
Victor Agostinelli, Lizhong Chen
2023 J jnl
CoRR
Victor Agostinelli, Lizhong Chen
2023 J jnl
CoRR
Tianhong Huang, Victor Agostinelli, Lizhong Chen
2023 J jnl
CoRR
Victor Agostinelli, Max Wild, Matthew Raffel, Kazi Ahmed Asif Fuad, Lizhong Chen
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())