SAFECode: Static Analysis for Safe Execution of Code(sva.cs.illinois.edu)3 ポイント·投稿者 zzzcpan·10 年前·0 コメントsva.cs.illinois.eduSAFECode: Static Analysis for Safe Execution of Codehttp://sva.cs.illinois.edu/index.html0 コメントコメントを投稿—