activity
20232025
most citedStatic Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?

37 citations · 61 across the 5 of their papers we have counts for

collaborators

5 papers

cs.SE2025

Minimizing Breaking Changes and Redundancy in Mitigating Technical Lag for Java Projects

Rui Lu, Lyuye Zhang, Kaixuan Li +2

Re-using open-source software (OSS) can avoid reinventing the wheel, but failing to keep it up-to-date can lead to missing new features and persistent bugs or vulnerabilities that…

cs.SE2024★ 11 cited

PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software

Kaixuan Li, Jian Zhang, Sen Chen +3

Open-source software (OSS) vulnerabilities are increasingly prevalent, emphasizing the importance of security patches. However, in widely used security platforms like NVD, a substa…

cs.SE2024★ 37 cited

Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?

Kaixuan Li, Yue Xue, Sen Chen +6

In recent years, the importance of smart contract security has been heightened by the increasing number of attacks against them. To address this issue, a multitude of static applic…

cs.SE2024

DeepFWI: Identifying Bug-Sensitive Warnings with Multi-Modal Code-Warning Semantics

Han Liu, Jian Zhang, Cen Zhang +7

Static analysis tools have evolved over time to assist in detecting bugs. However, the excessive false warnings can impede developers' productivity and confidence in the tools. Pre…

cs.SE2023★ 13 cited

A Comprehensive Study on Quality Assurance Tools for Java

Han Liu, Sen Chen, Ruitao Feng +6

Quality assurance (QA) tools are receiving more and more attention and are widely used by developers. Given the wide range of solutions for QA technology, it is still a question of…