首页>
外国专利>
Systems and methods for analyzing violations of coding rules
Systems and methods for analyzing violations of coding rules
展开▼
机译:分析违反编码规则的系统和方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
Systems and methods automatically detect violations of coding rules of a coding standard in computer programming code. The systems and methods may mark the locations in the code where the violations are found. The coding rules may be mapped to code verification checks that check for undesired runtime behavior in the code. The systems and methods may identify the code verification check mapped to a given violation detected in the code. The systems and methods may apply that check to the code. If the check proves that the undesired runtime behavior will not occur, the violation may be marked as justified. If the check proves that the undesired runtime behavior will occur, the violation may be marked as not justified.
展开▼