A case study of software redesign reveals reuse challenges and shows that semantic alignment heuristics with hierarchical clone detection reduce irrelevant clones by 33-99% and raise precision to 86%.
Icicle: A re-designed emulator for grey-box firmware fuzzing,
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
verdicts
UNVERDICTED 3representative citing papers
Zorya introduces a concolic execution approach using Ghidra P-Code to detect vulnerabilities in Go programs and extend to other languages like C.
MoCQ combines LLMs with symbolic validation to generate vulnerability patterns for static analysis, matching expert performance on 12 types across four languages and finding 25 new real-world vulnerabilities.
citing papers explorer
-
Investigating Code Reuse in Software Redesign: A Case Study
A case study of software redesign reveals reuse challenges and shows that semantic alignment heuristics with hierarchical clone detection reduce irrelevant clones by 33-99% and raise precision to 86%.
-
Exposing Go's Hidden Bugs: A Novel Concolic Framework
Zorya introduces a concolic execution approach using Ghidra P-Code to detect vulnerabilities in Go programs and extend to other languages like C.
-
Neuro-symbolic Static Analysis with LLM-generated Vulnerability Patterns
MoCQ combines LLMs with symbolic validation to generate vulnerability patterns for static analysis, matching expert performance on 12 types across four languages and finding 25 new real-world vulnerabilities.