很好的一本书,教人审计代码进行漏洞挖掘,老外写素质还是可以的
2023/8/27 23:22:46 82.28MB 代码审计
1
ansys电磁场仿真分析内容包括:第一章电磁场仿真简介;第二章二维静态分析;第三章二维谐波和瞬态分析;第四章三维电磁场分析;第五章耦合场分析概况
2023/8/24 23:16:40 7.2MB ansys
1
课程1.入门课程2.从IGES文件输入几何体课程3.连柄的几何模型课程4.U形夹的三维几何模型课程5.U形夹的三维视图课程6.显示练习课程7.U形夹的三维有限元模型课程8.另一种U形夹的三维有限元网格课程9.验证及属性设置课程10.随空间和时间变化的载荷课程11.在三维U形夹上加载荷和边界条件课程12.定义材料特性课程12a.用材料选择器获得材料特性课程13.与空间相关的物理特性课程14.静态分析的建立课程15.组群和列表的使用课程16.位移结果的后处理课程17.应力结果的后处理课程18.瞬态响应结果的后处理课程19.后处理透视图课程20.瞬态和模态的动画课程21.与时间相关的结果课程22.将PATRAN2.5的模型输入到PATRAN3中果
2023/8/12 17:05:04 5.36MB patran
1
sonarqube-6.7.7.7z带汉化插件和c#静态分析插件,不需要msbuild
2023/8/10 22:32:05 166.16MB sonarqube-6.7.7
1
软件工程黑书全书知识点详细汇总考纲目录第一章基本概念 21、软件的概念和特点 22、软件危机的概念和产生的原因 33、软件工程的定义、三要素和发展过程(重点,考过多次问答题) 4第二章过程模型 41、软件生命周期概念、软件过程概念、能力成熟度模型CMM概念 42、常见的软件过程模型:瀑布、增量、原型、螺旋、喷泉等,比较各自优缺点 51、瀑布模型(经典生命周期模型) 62、增量过程模型(增量模型+RAD模型) 63、演化过程模型(原型模型+螺旋模型) 74、喷泉模型(WaterFountainModel) 95、基于构件的模型(Component-baseedDevelopmentModel) 106、敏捷开发过程(AgileDevelopment) 10第三章需求分析 111、需求分析的概念 122、需求分析的过程:需求确认与需求变更 123、需求确认的步骤:需求获取→需求提炼→需求描述→需求验证 134、需求分析三类建模:功能模型、数据模型、行为模型。
面向过程 和面向对象的需分析过程中,三类模型各包含哪些内容?--------------- 155、掌握数据流图和用例图作法。
31第四章系统设计 321、系统设计分为概要设计和详细设计 322、设计相关的8个概念(抽象、体系结构、设计模式、模块化、信息隐藏、功能独立、细化、重构),着重调查体系结构、模块化、信息隐藏、功能独立。
333、系统设计从数据、体系结构、接口和组件四方面进行设计。
面向过程和面向对象的系统设计,各自包含哪些设计内容? 374、掌握流程图和顺序图作法 43第五章质量保证 481、质量保证的概念 482、测试策略V模型概念,测试与开发的各阶段对应关系。
483、单元测试的内容、集成测试的分类、系统测试的分类、验收测试的分类。
484、回归测试的概念 485、测试技术常见术语的概念:软件缺陷、验证和确认、测试与质量保证、质量与可靠性、调试与测试、测试用例 486、白盒测试、黑盒测试、静态分析各有哪些方法? 487、掌握逻辑覆盖与等价类划分测试方法。
48第六章软件维护 491、软件维护的基本概念 492、理解软件维护的四个基本类型:纠错性、适应性、完善性、预防性维护。
哪种占比重最大?哪种最小? 493、可维护性的决定因素 494、软件维护过程模型、软件再工程、逆向工程的概念 49第七章项目管理 491、项目管理四要素:人员、产品、项目、过程(概念) 492、软件度量有哪些方法:生产率估计(基于规模(KLOC)、基于功能点(FP))、工作量度量(算法成本模型、COCOMO模型)。
掌握直接测量(基于规模)方法。
493、项目计划与风险管理的概念 49
2023/2/22 15:31:14 3.34MB 软件工程
1
IKOSIKOS(开放静态分析器的推理内核)是基于抽象解释理论的C/C++静态分析器。
引见IKOS最初是一个C++库,旨在促进基于的声音静态分析器的开发。
对于一个应用程序或一系列应用程序,静态分析仪的专业化对于实现精度和可扩展性都至关重要。
开发这样的分析器是艰巨的,并且需要在抽象解释方面的大量专业知识。
IKOS提供了最先进的抽象解释数据结构和算法的通用且有效的实现,例如控制流图,定点迭代器,数字抽象域等。
IKOS独立于特定的编程语言。
IKOS还提供了基于的C和C++静态分析器。
它实现了可伸缩的分析,以检测和证明C和C++程序中没有运行时错误。
执照IKOS已根据NASA开源协议1.3版发布,请参阅接触发行说明见故障排除请参阅安装依存关系要构建和运行分析器,您将需要以下依赖项:支持C++14的C++编译器(gcc>=4.9.2
2023/1/27 2:49:52 2.34MB
1
谷歌C++代码静态分析对象,支持python2python3
2018/4/16 21:12:35 62KB cpplint python3 谷歌编码规范
1
PCLint是GIMPELSOFTWARE公司研发的C/C++软件代码静态分析工具,可以说,PCLint是一种更加严格的编译器。
其主要分为PCLint和FlexeLint,PCLint主要应用于Windows平台,以二进制可执行文件提供,而FlexeLint应用于其他平台,例如Linux,以源代码方式发布。
PCLint在全球拥有广泛的客户群,许多大型的软件研发组织都把PCLint检查作为代码走查的第一道工序。
PCLint不但能够对程式进行全局分析,识别没有被适当检验的数组下标,报告未被初始化的变量,警告使用空指针连同冗余的代码,还能够有效地提出许多程序在
2019/4/6 8:54:10 2.67MB PCLint C c++
1
Xilinx_constraints.pdfXilinx公司对高速PCB信号的优化设计.pdf大型设计中FPGA的多时钟设计策略.pdf关于maoci的讨论和可靠性有关的几个概念.doc华为静态时序分析与逻辑设计.pdf经典时序.pdf静态时序分析(StaticTimingAnalysis)基础与应用.pdf时序分析之1静态分析基础.pdf时序分析之2Timequest教程.pdf时序分析之3优化策略.pdf同步电路设计中CLOCKSKEW的分析.doc系统时序基础理论.pdf
2020/2/2 15:38:16 10.13MB 时序设计
1
PHP代码检查工具(审计工具).RIPS是一个用php编写的源代码分析工具,它使用了静态分析技术,能够自动化地挖掘PHP源代码潜在的安全漏洞。
渗透测试人员可以直接容易的审阅分析结果,而不用审阅整个程序代码。
由于静态源代码分析的限制,漏洞能否真正存在,仍然需要代码审阅者确认。
RIPS能够检测XSS、SQL注入、文件泄露、HeaderInjection漏洞等。
2015/1/8 15:53:18 123KB 审计工具 RIPS PHP代码检查
1
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡