Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach.
Haonan LiYu HaoYizhuo ZhaiZhiyun QianPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- static analysis
- source code
- dynamic analysis
- symbolic execution
- detection algorithm
- open source
- detection method
- abstract interpretation
- java card
- real world
- false positives
- anomaly detection
- object detection
- software projects
- regular expressions
- software systems
- malicious code
- model checking
- reverse engineering
- test suite
- database