静态分析 资源专区

其他 1 积分

内存测试方法及其在软件测试中的应用

软件测试里面的一种测试内存的方法和一种无聊的东西-software testing inside a memory test methods and a silly things

软件测试 内存检测 动态分析

0 0 查看详情

其他 1 积分

代码分析器功能与应用说明

一个简单的代码分析器实验的结果，计算代码。一个简单的代码分析器实验的结果，计算代码。一个简单的代码分析器实验的结果，计算代码。一个简单的代码分析器实验的结果，计算代码。一个简单的代

源代码 静态分析 软件开发

0 0 查看详情

其他 1 积分

循环不变式自动推导与分析工具资源说明

如何得到循环不变式 OCaml: http://caml.inria.fr/ Frama-C: http://frama-c.com/ Interproc: http://pop

循环不变式 静态分析 形式方法

0 0 查看详情

其他 1 积分

C程序漏洞检查工具

C程序漏洞检查！-C vulnerabilities inspection!

C语言 漏洞检查 静态分析

0 0 查看详情

其他 1 积分

C语言性能优化静态分析器

This project aims to identify the patterns in a c program that are useful to increase the

C语言 性能优化 静态分析

0 0 查看详情

其他 1 积分

MSP430嵌入式程序静态栈深度分析工具

Check the stack usage of a program/executable. See the function call tree and statically c

嵌入式开发 静态分析 栈深度计算

0 0 查看详情

其他 1 积分

基于LEX与YACC的C语言函数原型验证系统

此程序验证 C 函数如入无。函数调用和函数定义中的匹配参数。 函数的返回类型。调用函数存在或不。类型的参数匹配或不吗？ 程序使用 LEX 和 YACC 用于识别一个特定的模式和执行

C语言 编译原理 LEX

0 0 查看详情

其他 1 积分

CritTer：C语言代码风格自动化审查与教学评估系统

Stylistic errors are a symptom of poorly written code. Sadly, relatively few tools have im

C语言 代码审查 静态分析

0 0 查看详情

其他 1 积分

MonoDevelop Gendarme集成插件

Addin for MonoDevelop integrating Gendarme To install it easily in MonoDevelop, just add t

MonoDevelop Gendarme 插件

0 0 查看详情

其他 1 积分

ROSE技术应用介绍

ROSE使用的技巧介绍-ROSE use of the techniques introduced

ROSE 程序分析 编译器

0 0 查看详情

其他 1 积分

C语言安全性检测工具

用C语言实现安全性检测-C language safety testing

C语言 安全性检测 静态分析

0 0 查看详情

其他 1 积分

程序分析工具功能说明

程序分析，主要功能有，但界面还没加上，基本实现了功能要求。-program analysis, the main function, but with no interface a

程序分析 静态分析 源代码

0 0 查看详情