搜索资源列表
rtems5
- Linux下动态内存分配安全性分析
lunwen
- 针对基于原型的单继承面向对象模型,通过扩展库的形式实现了Lua对契约式开发的支持,包括原型不变式、 函数前后置断言。利用了语言提供的动态元机制在运行期改变某些语法构造的原始语义。最后分析了该实现方法的弱点 和改进思路。-Single inheritance for prototype-based object-oriented model, achieved by extending the database in the form of a Lua development of con
Electric-power-communication-protocol-packet-gener
- 这个小工具可以生成16进制的电力通信协议数据包,目前支持两种 协议:“中华人民共和国多功能电能表通信规约(DL/T 645—1997)” 和”山东电力集团公司用电现场服务与管理系统通讯规约”。能自 动复制生成的数据,默认为生成的数据添加0x前缀,这样就可以把 数据包方便地粘贴到代码或各种16进制调试工具里面,如“串口调 试助手”。也可以用来在调试分析时和调试状态的数据包进行对比, 以检验数据包的合法性。 本程序用 qt4.2.3 opensource + m
Philosopher
- 关于操作系统哲学家进餐的动态演示程序,清晰的分析了死锁发生的情形和修正死锁。-Dining philosophers about the operating system dynamic presentation procedures, a clear analysis of the deadlock situation occurred and amendments to deadlock.
dongtaiguihua
- 算法分析部分,动态规划代码的实现,并有完整的测试数据-Algorithm analysis, dynamic programming code to achieve, as well as complete test data
DLL_Diffrent_from_Windows_Linux
- 本文档主要分析WINDOW和LINUX两种操作系统下创建动态库的区别。-This document discr ipt the diffrence from windows and linux.
siesta-3.0-b
- SIESTA用于分子和固体的电子结构计算和分子动力学模拟。SIESTA使用标准的Kohn-Sham自恰密度泛函方法,结合局域密度近似(LDA-LSD)或广义梯度近似(GGA)。计算使用完全非局域形式(Kleinman-Bylander)的模守恒赝势。基组是数值原子轨道的线性组合(LCAO)。它允许任意个角动量,多个zeta,极化和截断轨道。计算中把电子波函和密度投影到实空间网格中,以计算Hartree和XC势,及其矩阵元素。除了标准的Rayleigh-Ritz本征态方法以外,程序还允许使用占据轨
temu-1.0.tar
- 基于QEMU虚拟机的恶意代码动态分析环境。利用虚拟机环境进行指令执行跟踪,进行动态污点分析。-Dynamic taint analysis tools based on qemu.