A new queryable binary dataset combining cross-build diversity, temporal history, and CVE labels with linked metadata for vulnerability research.
Identifying Open- Source License Violation and 1-day Security Risk at Large Scale
8 Pith papers cite this work. Polarity classification is still indexing.
8
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 8roles
background 1polarities
background 1representative citing papers
Refinement types are integrated as first-class citizens in Scala 3 with full participation in the type system, backed by a mechanized soundness proof in Rocq and a prototype compiler extension using an e-graph solver.
Proposes weighted partial similarity framework for project-level software birthmark comparison to detect partial code reuse.
The paper fixes two bugs in Go's extendedGCD for RSA key generation, proves the corrected version correct and terminating via Gobra with Lean lemmata, and reports a 24% speedup.
Agent-directed tree search improves LLM performance on Lean formal verification tasks, with context-based orchestration solving more intermediate specs at lower token cost than baseline agents.
SBridge uses cross-domain control block matching to find source-to-binary function similarity, reporting 75.13% recall@1 and 80.98% recall@5 on 3,904 real-world binaries despite ~40% inlining.
An empirical study of security DSLs and code analyzers finds few common concepts, overly general weakness descriptions, and that even experts are overwhelmed by the complexity of potential mappings.
citing papers explorer
-
Project-wise Comparison of Software Birthmarks Using Weighted Partial Similarity
Proposes weighted partial similarity framework for project-level software birthmark comparison to detect partial code reuse.
-
SBridge: Identifying Source-to-Binary Function Similarity via Cross-Domain Control Block Matching
SBridge uses cross-domain control block matching to find source-to-binary function similarity, reporting 75.13% recall@1 and 80.98% recall@5 on 3,904 real-world binaries despite ~40% inlining.
- Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis