Title: 對缺陷靜態檢測的一些思考和探索

Speaker: 梁彬 (人民大學)

Time: 9th October 2014, 15:30

Venue: Seminar Room (334), Level 3, Building 5, Institute of Software, CAS

Abstract:

在對缺陷檢測技術的分析基礎上，梳理出當前靜態缺陷檢測技術中存在的一些需要關注的問題。結合這些問題的討論，介紹最近研究的三個非傳統研究問題的探索，分別是：（1）自動化的編碼規則抽取及缺陷挖掘，（2）微妙的無腳本瀏覽器歷史嗅探攻擊，（3）Android平臺上隱式信息流形式的界定及分析嘗試。