功能安全26262文档
2022-12-19 20:00:40 279.93MB 功能安全 26262
1
免疫调试器用于分析恶意软件,编写漏洞和反向工程二进制文件。该工具建立在一个坚实的用户界面,其中包括功能图表,它是业界首创的分析工具,仅用于构建堆,还有一个庞大且支持Python API的易于扩展性的分析工具。
2022-12-19 11:00:41 21.77MB 网络安全 软件安全
1
授权文件生成程序,配合开发授权,保证项目安全。 授权文件包括正文、授权起止时间、及授权声明和授权范围。
2022-12-15 22:00:40 326KB Licenes
1
全程安全测试书本学习总结
2022-12-15 17:00:42 225KB 渗透测试 安全
1
一 简介 talflow是拥有完全自主知识产权的国产软件,是talmodeler(基于模型的软件全过程开发环境)的核心组成部分,主要功能是创建软件各功能的流程图模型并基于流程图模型自动生成c代码。在自研相关技术的支撑下,应用talflow能够真正实现在不编写任何代码的前提下,完成软件的设计并生成高质量的代码。 二 主要特点 1流程图建模过程简单,模型编辑功能强,流程图模型美观,支持全部代码结构。 2无需编写任何代码即可完成软件开发 3与编码规则检查相融合,有效保证了软件质量。 4同需求建模、基于模型仿真、基于模型测试等环节无缝连接 talflow是talmodeler的核心。talmodeler是由功能需求建模、流程图建模、基于模型仿真、基于模型测试等相关工具共同组成的基于模型的软件全过程开发环境,各个工具都建立在共同的数据存储模型之上,在相同的底层组件之上采用相同的技术框架,在统一的规划之下根据各自的聚焦点研发而成,上下游工具之间能够实现简单且准确的相互关联。 三主要功能 1 流程图建模 2表达式建模 3模型检查 4生成c代码
1
HPM180-M181-20200612固件硒鼓,降级
2022-12-14 11:00:33 16.8MB HPM180181
1
WinHex v20.5 x86 x64.zip
2022-12-13 17:00:36 3.35MB hex
1
YDArk是一款适应于Win64位系统免费使用的系统内核安全辅助工具,用它可以查看各类系统信息,通过监控分析系统各种行为,非常方便,ARK反内核工具具有系统动作监控、文件管理、进程管理、启动项管理、注册表管理、服务管理、驱动模块、网络管理、系统内核查看、应用层钩子、内核钩子扫描、系统杂项修复等功能。欢迎需要此款工具的朋友前来下载使用 YDArk免责声明 这只是一个免费的辅助软件, 如果您使用本软件, 给您直接或者间接造成损失、损害, 本人概不负责. 从您使用本软件的一刻起, 将视为您已经接受了本免责声明. // 本软件加了VMProtect壳, 可能有些杀毒软件会报毒…请大家放心使用, 这属于杀毒软件误报. // 本软件免费, 但未获得作者书面授权, 禁止用于商业用途; 另外禁止本软件用于恶意用途(比如作为病毒木马的一部分、破解网吧收费系统等等). // 本软件仅限于学习交流,如侵权请在24小时进行删除. // 本驱动加了VMProtect壳, 不支持启用内核隔离. // 驱动未进行驱动签名, 请自行对驱动文件签名或开启调试模式, (已签名但还加载驱动失败)请禁用Secur
2022-12-13 12:00:38 12.03MB 最新版 限学习使用
1
IOT安全的POC和EXP大全
2022-12-12 18:00:42 57KB iot 硬件 固件 CTF
1
#define _CRT_SECURE_NO_WARNINGS 1
2022-12-11 19:00:38 5.76MB notepad++
1
驱动无模块注入代码
2022-12-10 22:00:41 1.13MB 驱动
1
1、首先这个病毒会感染电脑里的exe文件 2、导致cpu一直占用很高 3、以及其它后门的操作,详细信息可以自行搜索一下 4、目前发现中此病毒的都是Windows 10的系统。 5、使用这个工具,就可以自动遍历清除电脑中的这个病毒
2022-12-10 14:00:40 1.16MB Synaptics蠕虫病毒
1
Secure Delete Professional是一款非常专业且优秀的文件永久删除软件,使用该软件可帮助用户快速将文件永久性删除,有的时候可能会遇到一些顽固文件无法进行删除或者删除之后软件会自己复原,若您想要永久删除这些文件且无任何残留,这时候就可以用到这款软件,提供了先进的文件整理技术,能够让您快速整理文件如快速删除顽固文件,不仅如此还可以抹除文件数据痕迹,这样一来就无法恢复删除的文件,从而能够有效保护您的数据隐私安全,这么好用的软件赶快下载试试吧!
2022-12-09 12:00:35 2.41MB 文件永久删除软件
talexp 是 talmodeler( 基于模型的全周期软件开发环境 中 的 表达式 建模工具 ,能够对软件开发中所用到的表达式建模,为软件 的流程图建模提供表达式模型 。 talexp 除了支持 数十种 常用的操作符之外,还支持赋值、数组、函数调用在内的软件开发相关特有的操作符,能够满足软件设计的需求。 既支持可变数据,也支持常量数据;既支持常规数据类型,也支持自定义数据类型。 talexp 使用简单、 所建 模型 准确 美观 ,能够精准的生成表达式对应的代码,是基于模型的 全 周期 软件开发环境的重要组成部分。 基于预防错误发生的理念设计相关功能,极大降低了错误的发生。 能够实时查阅所建模型所对应的表达式,及时发现模型中的问题,提高了建模效率。
1
x64dbg源码_20221010版,窗口字符随机显示
2022-12-08 12:00:41 202.25MB x64dbg 调试工具 反汇编
1