読者です 読者をやめる 読者になる 読者になる

Z3

http://z3.codeplex.com/
http://rise4fun.com/z3py/tutorial/guide

これを使って静的解析させたい。。