Smart contracts are commonly audited through static analysis to explore vulnerabilities. However, static approaches typically produce heterogeneous findings rather than reproducible, executable proof-of-concept (PoC) test cases, leading to costly and ad hoc manual validation. Large language models (LLMs) offer a promis...
Long-Fei Chen, Rui-Bin Yan, Tai-Yu Wong et al.· Proceedings of the 41st IEEE...· 0 citations
Reasoning traces generated by large language models (LLMs) provide interpretability by exposing the factors that purportedly support their predictions. Such interpretability is important because model decisions may rely on spurious factors, and it can help practitioners identify such reliance and respond appropriately....
Jia-Lai Wang, Jun-Chen Lu, Song-Tao Yang et al.· Proceedings of the 41st IEEE...· 0 citations
Software composition analysis (SCA) aims to identify third-party dependencies in programs, which plays a critical role in ensuring software supply chain security. Existing approaches largely follow a rule-based paradigm: they first compute function-level similarities, then aggregate these results using handcrafted heur...
Pei-Hong Li, Cheng Li, Yu-Chen Gu et al.· Proceedings of the ACM on So...· 0 citations
C++ class recovery is fundamental to reverse engineering, serving as a basis for critical downstream tasks such as vulnerability analysis, malware comprehension, and decompiler output optimization. Existing approaches face several challenges, including dependency on virtual function tables and a lack of support for non...
Jia-Min Wang, Gong-Ming Wang, Song-Tao Yang et al.· Proceedings of the ACM on So...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
