Type Inference on Executables-文成-2150230509

《Type Inference on Executables-文成-2150230509》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、TypeInferenceOnBinaryCode--软件工程--文成--2150230509深圳大学研究生课程论文题目TypeInferenceOnBinaryCode成绩专业软件工程课程名称、代码专业英语（162023050002）年级2015级姓名文成学号2150230509时间2016年6月任课教师BaskerGeorge8/8TypeInferenceOnBinaryCode--软件工程--文成--2150230509学院计算机与软件学院专业软件工程姓名文成学号2150230509座号　

2、　　(密封线内不答题；学院或任课教师可根据需要选择是否密封。)……………………………………………………密………………………………………………封………………………………………线……………………………………线………………………………………_____________________…深圳大学研究生期末考试试卷开/闭卷开卷A/B卷A课程编号152023050002课程名称专业英文学分1命题人(签字)BaskerGeorge审题人(签字)2016年06月题号一二三四五六七八九十基本题总分附加题得分评卷人Re

3、portWritingforFinalAssessmentStudentsofProfessionalEnglishCourseareherebyinformedtochooseaResearchReportWritingProject.TopicsmustbechosenrelatedtoInformationTechnology/Hardware/SoftwareTheProcess1.Classpresentation.Ihaveconsidereddevotingthelasttwocla

4、sslecturesforpresentationanddiscussionoftheREPORT.i,e16th,17thweek.2.FinalREPORTalongwithyourPPTshouldbesubmittedonthedayofyourClassPresentation.Noindividualexceptionsorextensionswillbegranted.3.Actofplagiarism(剽窃,剽窃物)willresultinbeingawarded“F”Grade.

5、4.Fontsizeoftextinyourreportandproposalmustnotbegreaterthan12.5.Theminimumrequirementforthereportshouldbeabout1000words(ExcludingTables,Picture,Graph),andwillbeevaluatedbasedonqualityofitscontentratherthanitslength.GradingPolicy:1)TitlePage/(Synopsis)

6、/AbstractoftheReport(15%)3)TableofContentsandOtherSectionsthatPrefacetheReport(15%)4)Discussion/Methods/Materials/AnalysisoftheReport(40%)5)Conclusion/RecommendationsoftheReport(10%)6)OralPresentation(20%)8/8TypeInferenceOnBinaryCode--软件工程--文成--215023

7、0509TypeInferenceOnBinaryCodeContentsAbstract41.Introduction4Typesystem4Typesafety4Typeinference4BinaryCodeTypeInference42.Examples4Anexampleoftypeinference4Anexampleoftypeinferenceonbinarycode53.WhatYouSeeIsNotWhatYoueXecute54.Application65.Approache

8、s6StaticanalysisandDynamicanalysis6Value-BasedandFlow-BasedTypeInference7MemoryAccessAnalysis7MemoryGraphAnalysis76.Discussion7Acommonrepresentation7Evaluationmetrics7Typerefinement7Handlingobfuscatedexecutables77.Conclusion7References88/8Type