Revisiting the combination of static analysis error traces and dynamic symbolic execution: A potential approach for true positive confirmation (registered report)

Static analysis is a well-established method for detecting program defects and ensuring software security. However, developers often refrain from utilizing static analysis tools in production environments due to the significant time wasted on eliminating false positives. Effective techniques are mis...

Full description

Saved in:
Bibliographic Details
Main Authors: Yihua Xu, Chengyu Zhang, Geguang Pu
Format: Default Conference proceeding
Published: 2025
Subjects:
symbolic execution
static analysis
KLEE clang static analyzer
Online Access:https://hdl.handle.net/2134/31017592.v1
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items