kw's blog - Flow-insensitive Static Analysis for Detecting Integer Anomalies in Programs http://mizunashi.net:80/blog/2008/12/21/1229863118000.html 整数オーバーフロー、アンダーフローを静的... ja kw Sun, 21 Dec 2008 12:38:38 GMT kw 2008-12-21T12:38:38Z ja kw kw's blog http://mizunashi.net:80/blog/