Experimental evaluation of the presented static analysis tools show that these tools are not efficient for analyzing the inter-procedural errors and the authors give brief discussions on how to solve this problem.
介绍了静态分析的相关背景知识,对Java程序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的Java静态分析工具功能,指出了其在跨过程分析中的不足,并对如何改进进行了讨论。
Low Power and Testability Design and Static Timing Analysis for Small-Medium LCD Controller;
中小尺寸LCD控制芯片低功耗可测性设计与静态时序分析
To overcome the problems of traditional delay models, this paper uses a circuit simulator to calculate gate delay in static timing analysis.
为了克服现有延时模型所遇到的困难,本文对静态时序分析中通过晶体管级电路模拟来计算门延时的方法进行了研究,该技术的关键是延时测试波形的自动生成。
This paper proposes a novel path-based static timing analysis technique for multiple coupling effects.
文中提出了一种基于通路的考虑多串扰引起的时延效应的静态时序分析方法,该方法通过同时考虑临界通路及为其所有相关侵略线传播信号的子通路来分析多串扰耦合效应。
According to the application of STA, this paper presented a method to setup the timing model of full-custom cell.
针对静态时序分析(STA)的应用,本文提出了为全定制单元建立时序模型的方法。
Path-Based Approaches of Static Timing Analysis
Path-Based静态时序分析方法
Study of the VLSI s Static Timing Analysis Technology;
VLSI的静态时序分析技术的研究
Static Timing Analysis Used in Deep Submicron ASIC Design
深亚微米ASIC设计中的静态时序分析
Static Timing Analysis Methodology and Research for Sign-off under UDSM Technology;
深亚微米工艺下签核（sign-off）静态时序分析方法与研究
Low Power and Testability Design and Static Timing Analysis for Small-Medium LCD Controller;
中小尺寸LCD控制芯片低功耗可测性设计与静态时序分析
A Fault-Oriented Inter-procedural Static Analysis Framework for C++
面向故障的C++程序全局静态分析框架
dynamic versus static block structuring
动态与静态分程序结构
Static and Dynamic Analysis of Flight Bar Conveyor and Development of Applied Program;
刮板输送机静、动态分析及应用程序开发
Research and Implementation of a Static Analysis and Extraction Technology in Program Understanding;
程序理解中静态分析与抽取技术的研究及实现
Research of Program Static Analyzer Based on Incremental Techniques;
基于增量式技术的程序静态分析器的研究
Automatic Generation of Security Relevant Behavior Model for Java Programs Using Static Analysis;
基于静态分析自动生成Java程序安全行为模型
Static Analysis and Attitude Calculation of Marine Submersible Buoy System and Its Applied the Procedure Development
潜标系统静态力学分析计算及其应用程序开发
Survey of Static Analysis Methods for Binary Code Vulnerability
二进制程序安全缺陷静态分析方法的研究综述
Static detection of array bounds errors and null pointer dereference in Java
Java程序中数组越界和空指针错误的静态分析
Correlation integral of turbulent instantaneous velocity time series in a Kenics static mixer
SK型静态混合器湍流瞬时速度时间序列关联积分
The Analyse and Design about Meta-Stability in Asynchronous Timing Circuits;
异步时序电路中的亚稳态设计与分析
Dynamic Forecast of Precipitation Based on Time Series Analysis
基于时间序列分析的降雨量动态预测
The dynamic description of the economic development of GANSU province,by the time series analysis all around PCA;
甘肃省经济发展态势分析——基于时序主成分分析