Effective Blame for Information-Flow Violations

情報流解析でエラーが出た時にその原因箇所を容易に特定できるようにしました、という論文。制約条件間の依存関係を求めて、満たされなかった条件からさかのぼれば原因が見つけられる。対象は Jif。最近似たようなことを別の手法でやってるから比較対象かな。

author="Dave King and Trent Jaeger and Somesh Jha and Sanjit A. Seshia",
title="{Effective Blame for Information-Flow Violations}",
booktitle="Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering",
publisher="ACM",
pages="250--260",
year="2008"

http://doi.acm.org/10.1145/1453101.1453135

コメント追加

投稿者 kw : 2009/04/15 20:45:00 JST #