2011 · 146 citations · 14 references
Software MaintenanceEngineeringVerificationSoftware EngineeringSource Code AnalysisInformation ForensicsReverse EngineeringSoftware AnalysisFormal VerificationHardware SecurityFirmware DetectionBinary CodeBinary AnalysisSoftware MiningBinary FormComputer EngineeringComputer ScienceStatic Program AnalysisSoftware DesignBinary Analysis ToolContent Similarity DetectionProgram AnalysisSoftware TestingSoftware License ViolationsSystem Software
Software released in binary form often incorporates third‑party packages without complying with their licenses, as seen in consumer devices that ship firmware containing the Linux kernel without adhering to the GNU GPL, and such violations are frequently accidental when vendors receive binaries with no provenance information. The authors developed the Binary Analysis Tool (BAT) to detect license violations by identifying code clones in binaries. BAT scans a binary, such as a firmware image, for cloned code from source and binary repositories, evaluating three techniques—string literal matching, data‑compression similarity, and binary‑delta similarity—to assess clone detection effectiveness.
Software released in binary form frequently uses third-party packages without respecting their licensing terms. For instance, many consumer devices have firmware containing the Linux kernel, without the suppliers following the requirements of the GNU General Public License. Such license violations are often accidental, e.g., when vendors receive binary code from their suppliers with no indication of its provenance. To help find such violations, we have developed the Binary Analysis Tool (BAT), a system for code clone detection in binaries. Given a binary, such as a firmware image, it attempts to detect cloning of code from repositories of packages in source and binary form. We evaluate and compare the effectiveness of three of BAT's clone detection techniques: scanning for string literals, detecting similarity through data compression, and detecting similarity by computing binary deltas.
14
Rudi Cilibrasi, Paul Vitányi · IEEE Transactions on Information Theory · 2005 · 1.2K citations
Generating robust parsers using island grammars
Leon Moonen · 2002 · 252 citations
A study of the uniqueness of source code
Mark Gabel, Zhendong Su · 2010 · 216 citations