搜索结果: 1-2 共查到“计算机科学技术基础学科 Saturn”相关记录2条 . 查询时间(0.046 秒)
We present an overview of the Saturn program analysis system,including a rationale for three major design decisions: the use of function-at-a-time, or summary-based, analysis, the use of constraints,a...
Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
2016/5/24
This article presents Saturn, a general framework for building precise and scalable static error detection systems. Saturn exploits recent advances in boolean satisfiability (SAT) solvers and is path ...