您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. Nessus扫描工具

  2. #1 Nessus:最好的UNIX漏洞扫描工具 Nessus 是最好的免费网络漏洞扫描器,它可以运行于几乎所有的UNIX平台之上。它不止永久升级,还免费提供多达11000种插件(但需要注册并接受EULA-acceptance--终端用户授权协议)。它的主要功能是远程或本地(已授权的)安全检查,客户端/服务器架构,GTK(Linux下的一种图形界面)图形界面,内置脚本语言编译器,可以用其编写自定义插件,或用来阅读别人写的插件。Nessus 3 已经开发完成(now closed source),
  3. 所属分类:网络基础

    • 发布日期:2009-05-27
    • 文件大小:212992
    • 提供者:xiongjie3333
  1. c/c++ 学习总结 初学者必备

  2. 用变量a给出下面的定义 a) 一个整型数(An integer) b) 一个指向整型数的指针(A pointer to an integer) c) 一个指向指针的的指针,它指向的指针是指向一个整型数(A pointer to a pointer to an integer) d) 一个有10个整型数的数组(An array of 10 integers) e) 一个有10个指针的数组,该指针是指向一个整型数的(An array of 10 pointers to integers) f) 一
  3. 所属分类:C

    • 发布日期:2009-09-16
    • 文件大小:51200
    • 提供者:rzvs8275161
  1. 电子类软硬件面试集锦

  2. 1 C++函数中值的传递方式有哪几种? 答:C++函数的三种传递方式为:值传递、指针传递和引用传递。 2 头文件的作用是什么? 答:一、通过头文件来调用库功能。在很多场合,源代码不便(或不准)向用户公布,只要向用户提供头文件和二进制的库即可。用户只需要按照头文件中的接口声明来调用库功能,而不必关心接口怎么实现的。编译器会从库中提取相应的代码。 二、头文件能加强类型安全检查。如果某个接口被实现或被使用时,其方式与头文件中的声明不一致,编译器就会指出错误,这一简单的规则能大大减轻程序 员调试、改错
  3. 所属分类:C++

    • 发布日期:2009-09-29
    • 文件大小:2097152
    • 提供者:lbaihao
  1. Java课件pptJava的学习资料

  2. Java的学习资料,课件ppt1.1. JAVA特点 1) 简单(Java语法是C++语法的一个“纯净”版本); 2) 可移植性 (一次编译到处运行) 3) 面向对象 4) 分布式(Java把打开套接字连接等繁琐的网络任务变得非常容易) 5) 健壮性(Java编译器会检查出很多其他语言在运行时刻才显示出来的错误;Java采用的指针模型可以消除重写内存和数据崩溃的可能) 6) 多线程(多线程编程的简单性是Java成为流行的服务器端开发语言的主要原因之一) 7)安全(用Java可以构建防病毒和防篡
  3. 所属分类:Java

    • 发布日期:2009-10-19
    • 文件大小:1048576
    • 提供者:fasdf
  1. JPA_2.0_中的动态类型安全查询

  2. 如果编译器能够对查询执行语法正确性检查,那么对于Java 对象而言该查询就是类型安全的。 Java™Persistence API (JPA) 的2.0 版本引入了Criteria API,这个API 首次将类型安全查询引入到Java 应用程序 中,并为在运行时动态地构造查询提供一种机制。本文介绍如何使用Criteria API 和与之密切相关的Metamodel API 编写动态的类型安全查询。
  3. 所属分类:Java

    • 发布日期:2011-08-24
    • 文件大小:1048576
    • 提供者:liuzhiwen23
  1. 编译器安全检查机制

  2. 一篇关于编译器安全检查机制的文章,窃以为还不错,传上来共享一下!
  3. 所属分类:C/C++

    • 发布日期:2011-09-23
    • 文件大小:212992
    • 提供者:hanyan_19880125
  1. Kotlin 空安全, 反射, 注解

  2. 1. Kotlin 如何保证 null 安全的处理? 2. 如何在运行时通过反射来检查代码? 3. kotlin 的注解对编译器 有什么影响? 本文有深入介绍,参考了 中英文各种资料,使用各种例子,完全解释。
  3. 所属分类:Android

    • 发布日期:2017-08-10
    • 文件大小:4194304
    • 提供者:gdky005
  1. markup.rs:面向Rust的出色,快速,类型安全的模板引擎-源码

  2. 标记 一个非常快速的,类型安全的Rust模板引擎。 markup.rs是由程序宏提供支持的Rust模板引擎,该引擎在编译时解析模板,并生成最佳的Rust代码以在运行时呈现模板。模板可以嵌入Rust代码,该代码由Rust编译器进行类型检查,从而实现完全类型安全。 快速开始 将markup板条箱添加到您的依赖项中: [ dependencies ] markup = " 0.11.0 " 快速范例 markup :: define! { Home (title: & ' a str )
  3. 所属分类:其它

    • 发布日期:2021-03-19
    • 文件大小:21504
    • 提供者:weixin_42143161
  1. glasgo:静态分析工具,可使用AST检查安全问题-源码

  2. Glasgo静态分析工具 该项目的官方存储库已移至 项目 这是用Go for Go代码编写的静态分析工具。它将发现安全性和一些可能对安全性有影响的正确性问题。 编译中 要编译该工具,请确保首先拥有Go编译器。 使用Go build本地二进制文件 使用Go install编译并在Go Path中安装 使用工具 目前,所有测试都已运行。 Glasgo directory1, directory2 或者 Glasgo file1.go, file2.go Note:该工具不能同时在目录和单个文件上运
  3. 所属分类:其它

    • 发布日期:2021-03-19
    • 文件大小:15360
    • 提供者:weixin_42112685
  1. pre:一个Rust板条箱,为使用不安全的代码提供编译时帮助-源码

  2. 预先 pre是一个库,可以帮助程序员正确维护函数调用的前提条件。 它主要用于unsafe函数,因为它们的前提条件在编译时无法检查。 动机 有时,函数或方法具有先决条件,这些先决条件不能在类型系统中得到保证,并且在运行时无法防范。 此类功能最突出的示例是unsafe功能。 如果使用正确, unsafe函数将用于 。 这些合同是函数调用的前提条件。 不坚持它们通常会导致内存安全性和未定义行为的违反。 当前,用于处理unsafe功能的这些前提条件的最常用方案是在功能文档的“ Safety部分中提及
  3. 所属分类:其它

    • 发布日期:2021-03-12
    • 文件大小:124928
    • 提供者:weixin_42164685
  1. JPA2.0中的动态类型安全查询

  2. 本文内容包括:JPQL查询有什么缺陷?持久化域的元模型编写类型安全的查询高级特性结束语参考资料如果编译器能够对查询执行语法正确性检查,那么对于Java对象而言该查询就是类型安全的。Java:trade_mark:PersistenceAPI(JPA)的2.0版本引入了CriteriaAPI,这个API首次将类型安全查询引入到Java应用程序中,并为在运行时动态地构造查询提供一种机制。本文介绍如何使用CriteriaAPI和与之密切相关的MetamodelAPI编写动态的类型安全查询。自从JPA于
  3. 所属分类:其它

    • 发布日期:2021-02-27
    • 文件大小:249856
    • 提供者:weixin_38693657
  1. ctf-tools:一些用于安全研究工具的设置脚本-源码

  2. ctf工具 这是安装脚本的集合,用于创建各种安全研究工具的安装。 当然,这不是一个难题,但是将它们放在一个易于部署到新机器等的地方真是太好了。 这些工具的安装脚本会定期检查,结果可上找到。 包括以下工具的安装程序: 类别 来源 工具 描述 二元 目录 最先进的模糊器。 二元 目录 Shellphish的下一代二进制分析引擎。 二元 目录 二进制分析和逆向工程框架。 二元 目录 用于二进制文件的静态分析工具。 二元 图书馆 多体系结构反汇编框架。 二元 目录 检查二进制强化设置。
  3. 所属分类:其它

    • 发布日期:2021-02-26
    • 文件大小:123904
    • 提供者:weixin_42162978
  1. 静态代码检查工具cppcheck的使用

  2. CppCheck是一个C/C++代码缺陷静态检查工具。不同于C/C++编译器及其它分析工具,CppCheck只检查编译器检查不出来的bug,不检查语法错误。所谓静态代码检查就是使用一个工具检查我们写的代码是否安全和健壮,是否有隐藏的问题。比如无意间写了这样的代码:这完全是符合语法规范的,但是静态代码检查工具会提示此处会溢出。也就是说,它是一个更加严格的编译器。目前使用比较广泛的C/C++静态代码检查工具有cppcheck和pc-lint等。pc-lint是资格最老,最强力的代码检查工具,但是是收
  3. 所属分类:其它

    • 发布日期:2021-02-25
    • 文件大小:404480
    • 提供者:weixin_38535221
  1. fireward:一种针对Firestore安全规则的简洁易读的语言,类似于Firebase Bolt-源码

  2. 烈火 用于编写Firestore安全规则的语言和编译器。 编译器还会生成Typescr ipt接口。 主要思想是能够向路由添加惯用类型验证,就像它们经过严格的类型检查一样。 该语言还具有一些不错的功能,可以优雅地表达某些情况下的规则,否则将很难编码。 讨论区 问题,建议等: 功能亮点 编译速度非常快 转换为验证规则代码的类型化路由。 允许设置但不允许编辑各个字段的readonly类型 元组验证 文字类型 类型联合 类型定义中的自定义验证表达式 评论 强大的单元测试套件 模拟器的端到端测试 在野
  3. 所属分类:其它

    • 发布日期:2021-02-04
    • 文件大小:144384
    • 提供者:weixin_42101720
  1. NoProto:使用RPC进行灵活,快速和紧凑的序列化-源码

  2. NoProto:使用RPC进行灵活,快速和紧凑的序列化 | | 产品特点 轻巧的 零依赖 no_std支持,WASM可用 最紧凑的非编译存储格式 稳定 安全地接受不受信任的缓冲区 通过Miri编译器安全检查 无需恐慌和解包 简单 广泛的文档和测试 与JSON完全互操作,导入和导出JSON值 和简单的数据存储格式 快速 零拷贝反序列化 大多数更新仅附加 反序列化至关重要 强大 本机按字节排序 支持递归数据类型 支持最常见的本机数据类型 支持集合(列表,映射,结构和元组) 支持集合类型的任意
  3. 所属分类:其它

    • 发布日期:2021-02-03
    • 文件大小:468992
    • 提供者:weixin_42132354
  1. JPA2.0中的动态类型安全查询

  2. 本文内容包括:JPQL查询有什么缺陷?持久化域的元模型编写类型安全的查询高级特性结束语参考资料如果编译器能够对查询执行语法正确性检查,那么对于Java对象而言该查询就是类型安全的。Java:trade_mark:PersistenceAPI(JPA)的2.0版本引入了CriteriaAPI,这个API首次将类型安全查询引入到Java应用程序中,并为在运行时动态地构造查询提供一种机制。本文介绍如何使用CriteriaAPI和与之密切相关的MetamodelAPI编写动态的类型安全查询。自从JPA于
  3. 所属分类:其它

    • 发布日期:2021-02-03
    • 文件大小:249856
    • 提供者:weixin_38696922
  1. 孢子:Scala孢子,安全的移动式封闭-源码

  2. 孢子 。 Scala孢子,安全的手机盖: 。 Spores是Scala编译器的扩展,可以在并发和分布式环境中更安全地使用闭包。 它使开发人员可以保证基于类型的功能属性,从而可以更好地控制功能环境。 Spores带有传递检查器,以确保JVM可以对捕获的类型进行序列化(Java序列化)。 有关更多信息,请查看指南。 添加到您的项目 libraryDependencies + = " ch.epfl.scala " %% " spores " % " 0.4.3 " addCompilerP
  3. 所属分类:其它

    • 发布日期:2021-02-01
    • 文件大小:104448
    • 提供者:weixin_42120405
  1. Paguro:JVM的通用,空安全,不可变的集合和功能转换-源码

  2. 为什么要使用Paguro? Paguro旨在: 使Java中的函数式编程变得越来越简单。 减少编码时需要考虑的事情数量。 消除干扰可以让您更有创造力和解决问题的能力。 Paguro让您忘记: 可能对共享集合进行修改(不可变集合可以安全共享) 将项目添加到不可修改的集合中的成本(不可变的集合支持极轻量级的修改后的副本) 哪些集合是可修改的(您的编译器知道) 数组与集合(使用xformArray(myArray)封装数组) 原始对象与装箱的对象(不要使用原始对象-泛型仍然无法处理它
  3. 所属分类:其它

    • 发布日期:2021-02-01
    • 文件大小:456704
    • 提供者:weixin_42122986
  1. jsweet:Java到JavaScript的编译器-源码

  2. JSweet:Java到Javascr ipt的编译器 JSweet利用Typescr ipt通过使用Javascr ipt库和框架来用Java编写功能丰富且响应Swift的Web应用程序。 使用JSweet,Java程序将被编译(源到源编译)为Typescr ipt和Javascr ipt,以便在浏览器,移动Web视图或Node.js中运行。 JSweet是安全可靠的。 它为Web应用程序提供类型检查,并生成完全经过类型检查Javascr ipt程序。 它位于Oracle的Java编译器(
  3. 所属分类:其它

    • 发布日期:2021-01-31
    • 文件大小:2097152
    • 提供者:weixin_42178688
  1. 静态代码检查工具cppcheck的使用

  2. CppCheck是一个C/C++代码缺陷静态检查工具。不同于C/C++编译器及其它分析工具,CppCheck只检查编译器检查不出来的bug,不检查语法错误。所谓静态代码检查就是使用一个工具检查我们写的代码是否安全和健壮,是否有隐藏的问题。比如无意间写了这样的代码: 这完全是符合语法规范的,但是静态代码检查工具会提示此处会溢出。也就是说,它是一个更加严格的编译器。目前使用比较广泛的C/C++静态代码检查工具有cppcheck 和pc-lint等。pc-lint是资格最老,最
  3. 所属分类:其它

    • 发布日期:2021-01-27
    • 文件大小:404480
    • 提供者:weixin_38685832
« 12 3 4 5 6 7 8 9 10 »