NJU Static Program Analysis 09: Pointer Analysis II Abstract Understand pointer analysis rules Understand pointer flow graph Understand pointer analys ...
转载
2021-07-25 16:36:00
161阅读
2评论
NJU Static Program Analysis 08: Pointer Analysis I Abstract What is pointer analysis? Understand the key factors of pointer analysis Understand what w ...
转载
2021-07-23 15:48:00
230阅读
2评论
Thread Sanitizer 过程编译过程中链接了一个新的库。 也可以通过命令行来操作： $ clang -fsanitize=thread source.c -o executable$ swiftc -sanitize=thread source.swift -o executable$ xcodebuild -enableThreadSanitizer YES 不支持设备，只支持...
原创
2021-05-30 21:22:56
418阅读
NJU Static Program Analysis 06: Data Flow Analysis IV ...
转载
2021-07-18 00:15:00
171阅读
2评论
NJU Static Program Analysis 04: Data Flow Analysis II ...
转载
2021-07-11 19:58:00
225阅读
2评论
The static code analysis and linting tool ESLint is the de-facto standard for linting JavaScript projects. In this lesson we’ll see how to install, ru
转载
2018-11-04 03:36:00
140阅读
2评论
This lecture gave a brief introduction to static program analysis with a few examples revealing some important concepts. ...
转载
2021-06-13 23:25:00
66阅读
2评论
https://.softwaretestinghelp.com/tools/top-40-static-code-analysis-tools/ In this article, I have summarised some of the top static code analysis t
转载
2018-09-07 19:28:00
389阅读
1.Introduction Official Website： PMD scans Java source code and looks for potential problems like:
Possible bugs - empty try/catch/finally/switch statements
Dead code - unused local variables, para
转载
2013-02-25 18:41:00
137阅读
2评论
1.Introduction FindBugs Official Website：http://findbugs.sourceforge.net/ FindBugs is a defect detection tool for Java that uses static analysis to look for more than 200 bug patterns. FindBugs 是一个jav
转载
2013-02-22 00:08:00
116阅读
2评论
1.Introduction CheckStyle Official Website：http://checkstyle.sourceforge.net/ Eclipse Plugin for CheckStyle：http://eclipse-cs.sourceforge.net/ 2.Download and Install CheckStyle CheckStyle检验的主要内容 Ch
转载
2013-02-21 19:24:00
115阅读
2评论
Cppcheck是 C/C++ 代码的静态分析工具。它提供独特的代码分析来检测错误，并专注于检测未定义的行为和危险的编码结构，目标是减少误报。 Cppcheck可以集成到众多流行的开发工具当中，比如： Jenkins - Cppcheck 插件 QtCreator - Qt 项目工具 (qpt) T ...
转载
2021-07-26 10:55:00
606阅读
2评论
Static analysis is the analysis of programs that is performed without actually executing the programs (Wichmann et al. 1995). Instead, static analysis is usually performed on the source code and sometimes on the object code as well. By analysis on the lexi
原创
2021-06-17 14:38:08
1119阅读
0x01 混淆后门#conn.php首先还是拖到D盾扫描 打开conn.php发现底部有那么一串代码：对这个代码进行分析首先可以对几个比较简单的变量输出看一下$s输出内容为create_function29行可知匿名函数调用了$q中的代码,所以我们打印$q的内容看一下$q的内容为：$k="5ac91f7d";$kh="b9615a29bc1d";$kf="24d0b67c2c91";$p
Static analysis is the analysis of programs that is performed without actually executing the programs (Wichmann et al. 1995). Instead, static analysis is usually performed on the source code and somet
原创
2022-03-28 10:47:09
268阅读
文章目录1. 介绍2. Kubesec3. OPA Conftest4. Practice - OPA Conftest for K8s YAML5. Practice - OPA Conf
原创
2022-05-30 20:06:35
175阅读
The GNU compiler suite comes with the very useful option `-fstack-usage` which produces text files for each compilation unit (source file) listing the stack usage.
转载
2022-11-20 23:05:59
614阅读
一篇不错的关于jvm应用静态分析的介绍，https://blog.acolyer.org/2020/09/25/jackee/ 参考资料 https://github.com/soot-oss/soot https://github.com/wala/WALA https://bitbucket.o
原创
2021-07-16 18:27:25
117阅读
南京大学 静态软件分析（static program analyzes）-- Static Analysis for Security 学习笔记
原创
2022-09-02 04:36:00
208阅读
Chapter3 User Analysis and Task Analysis用户研究1、 什么是用户研究：用户研究是对用户目标，需求和能力的系统研究，用于指导设计，产品架构或者工具的优化，提升用户工作和生活体验2、 用户研究的目的：l 控制用户需求l 用户市场细分l 反馈产品意见l 提供设计指南3、 用户研究的方法：访谈法：深度访谈、网络访谈、焦点小组、入户访谈、街头拦截、电话访谈访谈过程：明
转载
2024-04-20 10:08:38
23阅读
