预览加载中，请您耐心等待几秒...

静态代码分析-PPT.ppt

预览
1/10
2/10
3/10
4/10
5/10
6/10
7/10
8/10
9/10
10/10

亲，该文档总共54页，到这已经超出免费预览范围，如果喜欢就直接下载吧～

下载提示 文本预览

如果您无法下载资料，请参考说明：

1、部分资料下载需要金币，请确保您的账户上有足够的金币

2、已购买过的文档，再次下载不重复扣费

3、资料包下载后请先用软件解压，在使用对应软件打开

静态代码分析提纲动机提纲静态代码分析静态代码分析BasicBlocks大家有疑问的，可以询问和交流ByeByeControl-FlowGraphsControl-FlowEdgesCFGExample静态代码分析DataflowAnalysisProgramPointsLiveVariableAnalysisWhatUseisLivenessInformation?ConceptualIdeaofAnalysisLivenessExampleFormalizingAnalysisAlgorithm静态代码分析–概念ReachingDefinitionsReachingDefinitionsReachingDefinitionsandConstantPropagationIsaConstantins=s+a*b?ConstantPropagationTransformComputingReachingDefinitions1:s=0; 2:a=4; 3:i=0; k==0FormalizingReachingDefinitionsExampleForwardsvs.backwardsMayvs.Must静态代码分析–概念BasicIdeaPartialOrdersUpperBoundsLowerBoundsCoveringExampleLatticesLatticesLatticeExamplesSemi-LatticeMonotonicFunction&FixedpointExistenceofFixedPointsKnaster-TarskiFixedPointTheoremCalculatingFixedPointApplicationtoDataflowAnalysisTransferFunctionsTransferFunctions课程考核方式Questions?Thankyou!