4,850 followers
APLAS 2019基調講演3、文字列処理プログラムの静的解析。セキュリティに関わる例、本 https://t.co/7YqeHzeZnw があるらしい
APLAS 2019基調講演3、文字列処理プログラムの静的解析。セキュリティに関わる例、本 https://t.co/7YqeHzeZnw があるらしい
String Analysis for Software Verification and Security https://t.co/j66cCQMROh #smt #injections #cvc4 #smtsolvers