C-logic
您将能够在 5 秒内下载。
关于 C-logic
这是一个基于符号逻辑的 C 源代码扫描程序。它分析C源代码(特别是Linux内核的源代码,其目标为它)的编程错误和漏洞。测试由用户定义。
相关软件
-
LoyalDog Mobile 免费
小狗最终 - 这是固件2.2及以上的移动应用程序。这个程序有使用第三方服务器的基础。将和第三方签订合同的流程服务器及其员工将签订合同。它曾经被称为小狗最终 (这并不重要, 但一些较老的用户需要该文本来找到它的更新) 。这需要安装 Google 导航器。
-
SayIt - Voice Launcher 免费试用
Sayit 通过语音启动应用程序!使用 SayIt 及其小部件,快速轻松地启动所有应用。SayIt 不是通用语音命令系统或个人助理。它的设计是做一件事,并做得很好。只需将 SayIt 图标放在主屏幕或锁屏界面上,点击它,然后说出要启动的应用的名称。除了通过语音命令启动应用程序外,SayIt 还提供允许您通过触摸或语音启动应用程序的小部件。每个小部件都是自我组织:他们了解您最经常使用的应用程序,并相应地订购它们。第一个小部件类似于 Google 搜
-
MobileFractal 免费
一个简单的应用程序确实绘制分形曼德尔布罗特窗口移动,使用.net紧凑型框架3.5
-
Lock screen helper 免费试用
是否要在屏幕上只需一触式锁定屏幕?是否要在锁屏界面期间看到出色的动画。仍然担心电源按钮有一天不起作用?如果是这样,请选择专为您设计的应用程序。只需轻轻一点点击,即可轻松愉快地锁定屏幕。该程序将继续更新,并不断添加更多的主题和更多的功能。[email protected]://solateam.blogspot.com/推特: @DFStudio_App新浪:@DF_Studio
-
xplorDB 免费
Postgres/PostGIS 的探索数据库模板。该项目包含 perl 导入脚本;钻孔、表面和 QA/QC 数据等。pgAdmin 和量子 GIS 是建议的数据库和 GIS 前端程序。
-
Open-Sharedroot Cluster 免费
开放共享根项目是一个群集解决方案,为 Linux 提供高可用的 SSI 环境。该项目的目标为提供构建共享根群集的框架和工具。支持的文件系统是 GFS、OCFS2 和 NFS。
-
Mirror C++ reflection library 免费
Mirror 库提供编译时和运行时元数据,描述常见 C++ 构造,如命名空间、类型、类、基类和成员变量、构造函数等,并为其自省提供通用接口
-
Structured Text Toolkit 免费
XML 的速记替代方法。一组用 Java 编写的软件工具,用于处理由缩进而不是标记构建的文本。这些工具包括解析器、对象表示器、XPath 评估器、架构验证器等。
-
Theba image segmentation framework 免费
Theba 是一个基于插件的图像分析框架,用于对 3D 和 2D 图像进行分割和测量。Theba有一个不错的GUI,允许检查和操作的图像和广泛的插件,包括分割。
-
Hidden Spy Cam Video Recorder 免费试用
有了这个程序,你可以把你的手机变成一个真正的专业全高清间谍相机!SpyClock视频录像机免费是一个不知情的时钟小工具,与简单的压力可以无声地记录视频与你的Android设备。这些视频将保存在具有 AES 128 加密保护的隐藏库中。最好的免费应用程序的背景视频记录在市场上!试试吧!免费版本没有限制录制持续时间!重要提示: 记得安装后在主屏幕上添加名为 "时钟小部件" 的小部件!特征:- 完全在后台录