plstudio1的博客

talbay是拥有独立知识产权的国产软件，主要功能是贝叶斯网络建模、决策网络建模、概率计算、决策支持、敏感性分析、网络模型验证、机器学习等。talbay以用户为中心，简单易用, 计算准确高效，分析全面多样，在应用成熟理论及算法的基础上，持续融合贝叶斯网络分析领域的最新研究成果以及自研成果。talbay是一款既能够满足工程应用，又能够辅助科研探索的贝叶斯网络分析工具。

talcheck-looper是建立在talcheck（编码规则检查工具）之上，用于研究在静态分析过程中循环代码结构处理方法的实验平台。通过应用自研的代码解析、控制流图生成、路径遍历等技术以及其它相关技术实现对循环代码的解析、分类、求解/仿真、处理、违规检查等全过程分析。能够方便、快速地将研制的循环处理方法嵌入到静态分析当中，清晰、全面地展示循环代码结构的相关数据，准确、完备地检查同循环代码机构相关的编码规则的违规。talcheck-looper是进行循环代码结构分析的实用且重要的辅助工具。...

talfta是拥有独立知识产权的国产软件，主要功能是故障树建模、定性分析、定量分析以及故障树仿真。软件简单易用，完全符合GJB768A标准以及动态故障树的相关定义。除此之外，还根据实际工程需求进行了必要的扩充。故障树分析准确高效，内容全面，在应用成熟的理论及算法的基础上，持续融合故障树分析领域的最新研究成果以及自研成果。talfta是一款既能够满足工程应用，又能够辅助科研探索的故障树分析工具。....................................

概述Weakscan是拥有独立知识产权的国产软件,能够扫描c/c++文件中的漏洞。在充分的词法分析及语法分析的基础上，应用数据流分析、符号执行、约束求解、循环桩、函数桩等技术，对代码文件进行深度扫描，发现代码中存在的漏洞。特点简单易用用户仅需在weakscan中打开代码文件，就可以在自动生成的导航树中，通过点击要扫描的对象，实现该对象的漏洞扫描。扫描结果会以列表的形式呈现给用户...

talsta （V1.0） 产品说明简介 talsta是拥有独立知识产权的国产软件，能够对.c文件进行静态分析。主要分析内容包括控制流分析、数据流分析、基本度量指标的...