首页
学习
活动
专区
圈层
工具
发布
    • 综合排序
    • 最热优先
    • 最新优先
    时间不限
  • 来自专栏Khan安全团队

    WordPress Video-Synchro-PDF 1.7.4 本地文件包含

    Dork: inurl:/wp-content/plugins/video-synchro-pdf/ # 日期:29-03-2022 # 漏洞利用作者:Hassan Khan Yusufzai - Splint3r7

    56020编辑于 2022-04-21
  • 来自专栏人人都是架构师

    Go每日一库之89:goreporter

    C/C++,Java等等语言都有自己的代码质量检测工具,例如Cppcheck,PC-Lint,Splint等等,Golang语言出现时间不实很长,这方面的生态还不是非常完善,当然,对golang比较关注的同学应该听说过

    56540编辑于 2023-09-30
  • 来自专栏h0cksr的小屋

    ELF文件-逆向工具

    gdb : 对一个程序进行调试;使用gcc编译该程序时需加上选项-g,让编译器增加一些调试信息; strip : 删除程序中的调试信息;这些调试信息是编译该程序时,gcc编译器的-g选项添加的; splint

    1.9K20编辑于 2023-05-17
  • 来自专栏Java学习网

    成为专业程序员的 6 个技巧

    更高级的工具,如C的Splint,以及Python的pylint,是可配置的,这意味着你可以通过命令行开关或在IDE中,使用配置文件来让工具选择放过其中的哪些错误和警告。 Splint甚至还能让你在注释中注解你的代码,以便于更好地提示你的程序是如何工作的。 6.关心代码 优秀程序员能写出好代码,这是毋庸置疑的。

    82760发布于 2018-02-27
  • 来自专栏渗透云笔记

    代码审计工具汇总

    Splint C http://www.splint.org/ Windows 应用在分析代码是否符合编程规范 MOPS C http://www.cs.berkeley.edu/

    4.6K20发布于 2021-05-14
  • 来自专栏Eureka的技术时光轴

    Linux调试工具

    程序静态分析工具splint splint功能: 常识性测试并产生一些警告信息。它可以检测未经赋值的变量使用,函数的参数未使用等异常情况。 4. :pc-lint 功能:C/C++的静态代码检测工具 参考文献: 【1】 http://dev.yesky.com/134/2593634.shtml 【11】 名称:splint 说明:splint是一个动态检查C语言程序安全弱点和编写错误的程序 功能: 1、空引用错误 2、未定义的变量错误 3、类型错误 4、内存检查 参考文献: id=splint&DokuWiki=e3b300af2d101a8bec5a4c805e678823 【2】 http://www.splint.org/ 【12】 名称:boundercheck

    11.5K43发布于 2019-07-24
  • 来自专栏编程珠玑

    代码中%80的非逻辑性代码都可以被它发现

    如何使用PC-lint PC-lint能够在Windows、MS-DOS和OS/2平台上使用,Linux平台可使用FlexeLint、Splint等替代工具。本文介绍仅PC-lint的使用。

    1.9K40发布于 2019-09-03
  • 来自专栏奔跑的人生

    2014,成为更好程序员的7个方法

    对于更复杂的工具,比如针对C的 SPlint,针对 Python 的 Pylint,都是可配置的,也就是说,你可以通过一个配置文件选择这个工具在命令行或者是 IDe 里要发出什么错误和警告。 SPlint 甚至会让你在注释里注释你的代码,以给别人更多关于程序运行的提示。   

    63420发布于 2019-09-11
  • 来自专栏FreeBuf

    Hacking Tools搜罗大集合

    NodeFuzz,cross_fuzz,Jsfuzzer,nuf-fuzzer 源代码审计工具 ITS4、RATS(Rough Auditing Tool for Security)、Flawfinder、Splint

    2.2K91发布于 2018-02-24
  • 来自专栏全栈程序员必看

    漫谈C语言及如何学习C语言

    现在大规模软件项目中完全选用C语言可能性不大,但是核心部分完全可以用C搭建,相对C++开发工具的高昂价格,C语言相关的免费辅助开发软件非常丰富,比如splint,valgrind,不少核心库经过长期使用也都非常稳定 GLib dietlibc在前面博客文章介绍过,C标准库的另一种实现:http://www.fefe.de/dietlibc/ 一些C语言编程时可以使用的工具软件,帮你提高代码质量: http://www.splint.org

    13.7K31编辑于 2022-09-20
  • 来自专栏嵌入式开发圈

    C语言三剑客之《C专家编程》一书精华提炼

    linux上可以使用splint。 让充满Bug的代码快速通过编译实在是不划算。----我习惯于写过代码后用眼睛看一遍,确认无误后再编译调试,看来以后可以在中间加上一步用lint检查。

    2.8K51发布于 2020-08-28
  • 来自专栏FreeBuf

    如何阻止下一次心脏出血漏洞

    使用C的工具或是注解包括Microsoft’s SAL、splint、Deputy、Oink/CQual++、cqual、和Frama-C ANSI/ISO C。

    1.6K100发布于 2018-02-02
领券