IEEE Transactions on Software Engineering最新文献

How Toxic Can You Get? Search-based Toxicity Testing for Large Language Models 你的毒性有多大？基于搜索的大型语言模型毒性测试

IF 7.4 1区计算机科学

IEEE Transactions on Software Engineering Pub Date : 2025-10-17 DOI: 10.1109/tse.2025.3607625

Simone Corbo, Luca Bancale, Valeria De Gennaro, Livia Lestingi, Vincenzo Scotti, Matteo Camilli

引用次数: 0

Who Is Pulling the Strings: Unveiling Smart Contract State Manipulation Attacks Through State-Aware Dataflow Analysis 谁在幕后操纵：通过状态感知数据流分析揭示智能合约状态操纵攻击

IF 5.6 1区计算机科学

IEEE Transactions on Software Engineering Pub Date : 2025-10-17 DOI: 10.1109/TSE.2025.3605145

Shuo Yang;Jiachi Chen;Lei Xiao;Jinyuan Hu;Dan Lin;Jiajing Wu;Tao Zhang;Zibin Zheng

{"title":"Who Is Pulling the Strings: Unveiling Smart Contract State Manipulation Attacks Through State-Aware Dataflow Analysis","authors":"Shuo Yang;Jiachi Chen;Lei Xiao;Jinyuan Hu;Dan Lin;Jiajing Wu;Tao Zhang;Zibin Zheng","doi":"10.1109/TSE.2025.3605145","DOIUrl":"10.1109/TSE.2025.3605145","url":null,"abstract":"Recently, the increasing complexity of smart contracts and their interactions has led to more sophisticated strategies for executing attacks. Hackers often need to deploy attacker contracts as delegators to automate these attacks on their behalf. Existing identification methods for attacker contracts either rely on simple patterns (e.g., recursive callback control flow) that suffer from high false-positive rates and limited extraction of interaction and call information, or lack fully automated detection capabilities. Consequently, these limitations reduce the effectiveness of current solutions in identifying modern, intricate attacks. To overcome these challenges, we introduce the concept of <italic>state manipulation attacks</i>, which abstracts the exploitation of problematic state dependencies arising from contract interactions. During these attacks, hackers first alter the storage state of one contract (the manipulated contract), which determines the profit they can gain. They then call another contract (the victim contract) to exploit its dependency on the altered state and maximize their profits. We present SMAsher, a tool designed to automatically identify state manipulation attacker contracts. SMAsher leverages fine-grained state-aware dataflow analysis to detect exploitation traces and exploited state dependencies among contracts, focusing on recovering the call path and interaction semantics. Our extensive experiments on 1.38 million real-world contracts demonstrate that SMAsher successfully identifies 311 state manipulation attacker contracts with 100% precision, resulting in $ 6.95 million in losses. Our findings also reveal some notable malicious characteristics of hackers’ accounts through their deployed attacker contracts. Additionally, we have provided 10 PoCs (Proof-of-Concepts) for previously unidentified attacks, all of which have been confirmed and released to the community.","PeriodicalId":13324,"journal":{"name":"IEEE Transactions on Software Engineering","volume":"51 10","pages":"2942-2956"},"PeriodicalIF":5.6,"publicationDate":"2025-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145310724","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

DT4LM: Differential Testing for Reliable Language Model Updates in Classification Tasks DT4LM：分类任务中可靠语言模型更新的差分测试

IF 7.4 1区计算机科学

IEEE Transactions on Software Engineering Pub Date : 2025-10-16 DOI: 10.1109/tse.2025.3622251

Xinyue Zuo, Yan Xiao, Xiaochun Cao, Wenya Wang, Jin Song Dong

引用次数: 0

Hydra-Reviewer: A holistic multi-agent system for automatic code review comment generation Hydra-Reviewer：一个整体的多代理系统，用于自动生成代码审查注释

IF 7.4 1区计算机科学

IEEE Transactions on Software Engineering Pub Date : 2025-10-14 DOI: 10.1109/tse.2025.3621462

Xiaoxue Ren, Chaoqun Dai, Qiao Huang, Ye Wang, Chao Liu, Bo Jiang

引用次数: 0

Software Architecture Recovery Augmented with Semantics 增强语义的软件架构恢复

IF 7.4 1区计算机科学

IEEE Transactions on Software Engineering Pub Date : 2025-10-14 DOI: 10.1109/tse.2025.3620670

Wenting Zhao, Wuxia Jin, Yiran Zhang, Ming Fan, Haijun Wang, Li Li, Yang Liu, Ting Liu

引用次数: 0

MirrorFuzz: Leveraging LLM and Shared Bugs for Deep Learning Framework APIs Fuzzing MirrorFuzz：利用LLM和共享bug进行深度学习框架api模糊测试

IF 7.4 1区计算机科学

IEEE Transactions on Software Engineering Pub Date : 2025-10-10 DOI: 10.1109/tse.2025.3619966

Shiwen Ou, Yuwei Li, Lu Yu, Chengkun Wei, Tingke Wen, Qiangpu Chen, Yu Chen, Haizhi Tang, Zulie Pan

引用次数: 0

Condor: A Code Discriminator Integrating General Semantics with Code Details 秃鹰：一个集成了一般语义和代码细节的代码鉴别器

IF 7.4 1区计算机科学

IEEE Transactions on Software Engineering Pub Date : 2025-10-10 DOI: 10.1109/tse.2025.3620145

Qingyuan Liang, Zhao Zhang, Chen Liu, Zeyu Sun, Wenjie Zhang, Yizhou Chen, Zixiao Zhao, Qi Luo, Wentao Wang, Yanjie Jiang, Yingfei Xiong, Lu Zhang

引用次数: 0

Efficient Function Orchestration for Large Language Models 大型语言模型的高效功能编排

IF 7.4 1区计算机科学

IEEE Transactions on Software Engineering Pub Date : 2025-10-09 DOI: 10.1109/tse.2025.3619112

Xiaoxia Liu, Peng Di, Cong Li, Jun Sun, Jingyi Wang

引用次数: 0

Efficiently Testing Distributed Systems via Abstract State Space Prioritization 基于抽象状态空间优先级的分布式系统高效测试

IF 7.4 1区计算机科学

IEEE Transactions on Software Engineering Pub Date : 2025-10-09 DOI: 10.1109/tse.2025.3618976

Yu Gao, Dong Wang, Wensheng Dou, Wenhan Feng, Yu Liang, Jun Wei

引用次数: 0

Towards Secure Code Generation with LLMs: A Study on Common Weakness Enumeration 利用llm实现安全代码生成：常见弱点枚举的研究

IF 7.4 1区计算机科学

IEEE Transactions on Software Engineering Pub Date : 2025-10-09 DOI: 10.1109/tse.2025.3619281

Jianguo Zhao, Yuqiang Sun, Cheng Huang, Chengwei Liu, YaoHui Guan, Yutong Zeng, Yang Liu

引用次数: 0