28 citations · 40 across the 13 of their papers we have counts for
3 papers · 1 filter
ShadowProbe: Language-Extensible Detection of Hidden Algorithmic Complexity Vulnerabilities
Yuanmin Xie, Xiangfan Wu, Wenhao Wu +6
Algorithmic Complexity Vulnerabilities (ACVs) arise when adversarial inputs trigger worst-case execution behavior, causing severe performance degradation or Denial-of-Service condi…
AddressWatcher: Sanitizer-Based Localization of Memory Leak Fixes
Aniruddhan Murali, Mahmoud Alfadel, Meiyappan Nagappan +2
Memory leak bugs are a major problem in C/C++ programs. They occur when memory objects are not deallocated.Developers need to manually deallocate these objects to prevent memory le…
Harnessing the Power of LLM to Support Binary Taint Analysis
Puzhuo Liu, Chengnian Sun, Yaowen Zheng +8
This paper proposes LATTE, the first static binary taint analysis that is powered by a large language model (LLM). LATTE is superior to the state of the art (e.g., Emtaint, Arbiter…